------- Additional Comments From ebotcazou at gcc dot gnu dot org 2003-11-25 18:51 ------- I don't think the fix is right, since push_block statically allocates memory on the stack while we really want to dynamically allocate in this case. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12210