http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56178
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2013-02-05 21:41:30 UTC --- ureal.adb:UR_Add is miscompiled with profile feedback and this is yet another instance of the infamous webizer bug: http://gcc.gnu.org/ml/gcc-patches/2012-10/msg01259.html but the origin seems to be in fwprop1 this time...
