[Bug ada/40986] [4.6 regression] Assert_Failure sinfo.adb:360, error detected at a-unccon.ads:23:27

[ludo...@ludovic-brenta.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40986



Ludovic Brenta <ludo...@ludovic-brenta.org> changed:



           What    |Removed                     |Added

----------------------------------------------------------------------------

             Status|RESOLVED                    |REOPENED

      Known to work|4.7.2                       |

         Resolution|FIXED                       |

      Known to fail|                            |4.7.2



--- Comment #16 from Ludovic Brenta <ludo...@ludovic-brenta.org> 2013-04-17 
18:30:40 UTC ---

gcc-4.7 -c -I./ -gnato -gnatwl -gnatwauJF -gnatef -g -fno-strict-aliasing

-gnatwA -I- ./test.adb

+===========================GNAT BUG DETECTED==============================+

| 4.7.2 (x86_64-linux-gnu) Assert_Failure sinfo.adb:388                    |

| Error detected at a-unccon.ads:23:27                                     |





Thanks Markus for noticing the interference of gnatchop.  I did the mistake

of gnatchopping the reproducer, this hid the problem.