https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52120
Alexandre Oliva <aoliva at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
CC| |aoliva at gcc dot gnu.org
Resolution|--- |FIXED
--- Comment #3 from Alexandre Oliva <aoliva at gcc dot gnu.org> ---
This problem is fixed in GCC 4.8 and newer. heap_sieve.adb compiles
successfully with the given command line in 4.8, 4.9 and trunk, whereas
proc.adb compiles successfully in 4.9 and trunk, but it requires explicit
-gnat12 in 4.8.
