------- Comment #24 from rguenth at gcc dot gnu dot org 2009-07-24 12:16 ------- GCC does not assume the stack is aligned to 16 bytes if it cannot prove that it is. That GCC aligns the stack to 16 bytes itself is compliant with the requirement of 4 byte stack alignment.
So I completely miss your point (ignoring all but the initial bug description). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38496
