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

[ludovic at ludovic-brenta dot org]

------- Comment #1 from ludovic at ludovic-brenta dot org  2009-08-06 14:41 -------
These work OK:

> /opt/gcc-3.4.5/bin/gcc -c -I./ -gnato -gnatwl -gnatwauJF -gnatef -g -fno-strict-aliasing -gnatwA -I- ./test.adb
> /opt/gcc-4.1.1/bin/gcc -c -I./ -gnato -gnatwl -gnatwauJF -gnatef -g -fno-strict-aliasing -gnatwA -I- ./test.adb

I don't have any 4.2.x at hand.

This version fails:

> /opt/gcc-4.3.0/bin/gcc -c -I./ -gnato -gnatwl -gnatwauJF -gnatef -g
-fno-strict-aliasing -gnatwA -I- ./test.adb
+===========================GNAT BUG DETECTED==============================+
| 4.3.0 (i686-pc-linux-gnu) Assert_Failure sinfo.adb:362                   |
| Error detected at a-unccon.ads:23:27                                     |


-- 

ludovic at ludovic-brenta dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.3.0 4.1.1
      Known to work|                            |3.4.5 4.1.1
            Summary|Assert_Failure              |[4.3/4.4 regression]
                   |sinfo.adb:360, error        |Assert_Failure
                   |detected at a-              |sinfo.adb:360, error
                   |unccon.ads:23:27            |detected at a-
                   |                            |unccon.ads:23:27


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