http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50678
--- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-10-11 11:20:41 UTC --- > It would be nice to know whether this particular FAIL is the failure > of some checking mechanism or a genuine wrong-code bug. I suppose > it's the former, and for -fstack-check we could simply disable alloca > folding. I'd rather not, -fstack-check should affect code generation as little as possible beyond the checking code itself. A conforming Ada compiler is supposed to do stack checking by default. I'll try to get my hands on a Darwin machine.
