Well, you can either prove that you won't have a stack overflow at the original program, or you can not guarantee that your new code will run out of stack space.

If you can calculate the size of the stack at compile time, you don't need to manually manage it.