http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50342
Dominique d'Humieres <dominiq at lps dot ens.fr> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #16 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- (In reply to comment #15) > > The original problem doesn't occur with gcc version 4.8.0 20130131 > > (experimental) [trunk revision 195611] (GCC), built with GNAT GPL 2012. > > Probably fixed at http://gcc.gnu.org/viewcvs?view=revision&revision=182378. Working link http://gcc.gnu.org/viewcvs/gcc?view=revision&revision=182378. So closing as FIXED.