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

[ludovic@ludovic-brenta.org]

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

Ludovic Brenta <ludovic@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 <ludovic@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.