Компиляция всей программы без выделения стека?

Если вы пишете приложение, которое:

• Однопоточное
• Не имеет циклов в граф вызовов
• Не использует alloca или VLA

Могут ли современные компиляторы, оптимизирующие всю программу, оптимизировать выделение всего стека (например, GCC, MSVC, ICC)? все возможное пространство стека статически. Под «всей программой» я подразумеваю, что компилятор имеет доступ к / всему / исходному коду (нет возможности dlopen'ing во время выполнения и т. д.).