http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47619
--- Comment #13 from Ian Lance Taylor <ian at airs dot com> 2011-02-09 01:33:53 UTC --- I'm stumped. Everything looks OK, but it also looks like the stack is getting overrun. The function foo is asking for 0x4000 bytes in addition to what it needs itself; that should be enough to run printf. I don't know why this is failing.