On Mon, Nov 19, 2012 at 12:15 AM, Dominique Dhumieres wrote: >> I think this should fix it. Can't test it right now, so help >> appreciated (Honza: hint hint! ;-) > > The change at > http://gcc.gnu.org/ml/gcc-patches/2012-10/msg01511/remove_dead_eq_notes.diff > (revision 192526) caused > > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55006
Yes, I'll be looking into this soon. Ciao! Steven