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

[markus.schoepflin at comsoft dot de]

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

--- Comment #19 from Markus Schöpflin markus.schoepflin at comsoft dot de ---
Confirming. I can no longer reproduce the issue with 4.8.2.

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

[markus.schoepflin at comsoft dot de]

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

--- Comment #15 from Markus Schöpflin markus.schoepflin at comsoft dot de 
2013-04-17 09:15:22 UTC ---
I have bisected the problem using the git gcc repository, unfortunately 121
commits are left after bisecting, as in between the last known good and the
first known bad commit the gcc tree does not compile for a lot of commits.

Anyway, this is the last known good commit:

commit 244de65defd519a1245551886fce58113a4b7b2a
Author: charlet charlet@138bc75d-0d04-0410-961f-82ee72b054a4
Date:   Wed Jun 6 10:13:25 2007 +

This is the first known bad commit:

commit 7b29e7de1cf940343eeeb25058b7870877d15524
Author: charlet charlet@138bc75d-0d04-0410-961f-82ee72b054a4
Date:   Wed Jun 6 10:54:04 2007 +

The 120 commits in between do not compile, and all do massive changes in the
Ada part of gcc.

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

[markus.schoepflin at comsoft dot de]

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

--- Comment #13 from Markus Schöpflin markus.schoepflin at comsoft dot de 
2013-04-16 13:38:21 UTC ---
I get a different result for the 4.7 branch (built from gcc.git with configure
--disable-bootstrap --disable-nls --enable-languages=ada):

- PATH=/var/tmp/build/gcc:$PATH ADA_INCLUDE_PATH=/var/tmp/build/gcc/ada/rts
xgcc -v -c -I/var/tmp/test -gnato -gnatwl -gnatwauJF -gnatef -g
-fno-strict-aliasing -gnatwA -I- /var/tmp/test/test.adb
Using built-in specs.
COLLECT_GCC=xgcc
Target: i686-pc-linux-gnu
Configured with: /var/tmp/gcc.git/configure --disable-bootstrap --disable-nls
--enable-languages=ada
Thread model: posix
gcc version 4.7.4 20130415 (prerelease) (GCC) 
COLLECT_GCC_OPTIONS='-v' '-c' '-I' '/var/tmp/test' '-gnato' '-gnatwl'
'-gnatwauJF' '-gnatef' '-g' '-fno-strict-aliasing' '-gnatwA' '-I' '-'
'-mtune=generic' '-march=pentiumpro'
 gnat1 -I /var/tmp/test -I - -quiet -dumpbase test.adb -auxbase test
-fno-strict-aliasing -gnato -gnatwl -gnatwauJF -gnatef -g -gnatwA
-mtune=generic -march=pentiumpro /var/tmp/test/test.adb -o /tmp/cckbceia.s
+===GNAT BUG DETECTED==+
| 4.7.4 20130415 (prerelease) (i686-pc-linux-gnu) Assert_Failure sinfo.adb:388|
| Error detected at a-unccon.ads:23:27 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.|
| Use a subject line meaningful to you and us to track the bug.|
| Include the entire contents of this bug box in the report.   |
| Include the exact gcc or gnatmake command that you entered.  |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files).   |
+==+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
Consider also -gnatd.n switch (see debug.adb).

/var/tmp/build/gcc/ada/rts/system.ads
/var/tmp/test/test.adb
/var/tmp/test/language.ads
/var/tmp/build/gcc/ada/rts/s-auxdec.ads
/var/tmp/build/gcc/ada/rts/ada.ads
/var/tmp/build/gcc/ada/rts/a-unccon.ads

compilation abandoned

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

[markus.schoepflin at comsoft dot de]

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

--- Comment #14 from Markus Schöpflin markus.schoepflin at comsoft dot de 
2013-04-16 13:45:13 UTC ---
Note that the error only shows up when language.ads contains the two pragmas as
given in the first note. They are removed when the test case is processed by
gnatchop, so you have to make sure that you are using a valid test case.

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

[markus.schoepflin at comsoft dot de]

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

--- Comment #8 from Markus Schöpflin markus.schoepflin at comsoft dot de 
2012-03-14 08:28:45 UTC ---
4.6.0 and 4.6.1 still fail, see comments #3  #6. Unfortunately I can't adjust
'known to fail'.

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

[markus.schoepflin at comsoft dot de]

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

Markus Schöpflin markus.schoepflin at comsoft dot de changed:

   What|Removed |Added

 CC||markus.schoepflin at
   ||comsoft dot de

--- Comment #3 from Markus Schöpflin markus.schoepflin at comsoft dot de 
2011-04-08 12:32:44 UTC ---
Problem still present in 4.6.0