http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54759
--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-09-30 21:22:35 UTC --- > Thanks for reporting the bug. I prepared a patch to fix this: > > http://gcc.gnu.org/ml/gcc-patches/2012-09/msg01997.html > > Could you help verify if it is fixed by this? The segfault disappears once the patch is applied, thanks!