Bug#380260: gnat-4.1: Bug box in referenced_var_lookup, at tree-dfa.c:581 at -O1, -O2
Package: gnat-4.1
Severity: normal
Version: 4.1.1-9ada1
gcc-4.1 -c -O2 -gnatafno -gnatVa -g -I- -gnatA /home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/src/templates_parser.adb
+===========================GNAT BUG DETECTED==============================+
| 4.1.2 20060715 (prerelease) (Debian 4.1.1-9ada1) (i486-pc-linux-gnu) GCC error:|
| in referenced_var_lookup, at tree-dfa.c:581 |
| Error detected at templates_parser.adb:5564:1 |
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/src/templates_parser.adb
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/src/templates_parser.ads
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/include/strings_maps.ads
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/include/ai302.ads
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/include/ai302-containers.ads
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/include/ai302-containers-indefinite_hashed_maps.ads
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/include/ai302-containers-hash_tables.ads
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/include/ai302-strings.ads
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/include/ai302-strings-hash.ads
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/src/templates_parser-input.ads
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/src/templates_parser-configuration__standalone.ads
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/src/templates_parser-tasking.ads
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/src/templates_parser-cached_files.adb
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/src/templates_parser-data.adb
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/src/templates_parser-definitions.adb
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/src/templates_parser-expr.adb
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/src/templates_parser-filter.adb
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/src/templates_parser-print_tree.adb
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/include/ai302-containers-indefinite_hashed_maps.adb
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/include/ai302-containers-hash_tables.adb
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/include/ai302-containers-prime_numbers.ads
/home/lbrenta/src/debian/libtemplates-parser-10.0+20060522/src/templates_parser-input__standalone.adb
raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:380
The sources are available from AdaCore's CVS server.
I have experienced the same ICE with several other packages. In all
cases, passing -O0 works around the problem.
This seems to be a problem with tree-ssa, but since GCC's bugzilla
does not seem to have a bug related to tree-dfa.c, maybe the Ada
front-end is the only one triggering this bug.
--
Ludovic Brenta.
Reply to: