[Bug bootstrap/11354] New: GNAT ICE during make gnatlib_and_tools on Tru64 UNIX V5.1

[Bug bootstrap/11354] New: GNAT ICE during make gnatlib_and_tools on Tru64 UNIX V5.1

[gcc-bugzilla at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: GNAT ICE during make gnatlib_and_tools on Tru64 UNIX
                    V5.1
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: bootstrap
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ro at techfak dot uni-bielefeld dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: alpha-dec-osf5.1
  GCC host triplet: alpha-dec-osf5.1
GCC target triplet: alpha-dec-osf5.1

GNAT ICEs during make gnatlib_and_tools:

../../xgcc -B../../ -c -g -O2   -g -O2   -W -Wall -gnatpg -I. -I/vol/gnu/src/gcc/gcc-dist/gcc/ada a-nscefu.ads -v
Reading specs from ../../specs
Configured with: /vol/gnu/src/gcc/gcc-dist/configure --prefix=/vol/gcc --with-local-prefix=/vol/gcc --disable-nls alpha-dec-osf5.1
Thread model: single
gcc version 3.4 20030626 (experimental)
 ../../gnat1 -I. -I/vol/gnu/src/gcc/gcc-dist/gcc/ada -quiet -dumpbase a-nscefu.ads -g -g -gnatpg -O2 -O2 -W -Wall a-nscefu.ads -o /tmp//cceOBHUk.s
+===========================GNAT BUG DETECTED==============================+
| 3.4 20030626 (experimental) (alpha-dec-osf5.1) Constraint_Error SIGSEGV  |
| Error detected at s-fatgen.adb:43:1 [s-fatsfl.ads:47:4]                  |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| 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.


compilation abandoned

Environment:
System: OSF1 bartok V5.1 732 alpha
Machine: alpha
	
host: alpha-dec-osf5.1
build: alpha-dec-osf5.1
target: alpha-dec-osf5.1
configured with: /vol/gnu/src/gcc/gcc-dist/configure --prefix=/vol/gcc --with-local-prefix=/vol/gcc --disable-nls alpha-dec-osf5.1

How-To-Repeat:
Bootstrap and build GNAT runtime as described above.
------- Additional Comments From ro at techfak dot uni-bielefeld dot de  2003-06-27 17:24 -------
Fix:
No fix, but a workaround: compilation with -O works, while -O2 ICEs.

[Bug bootstrap/11354] GNAT ICE during make gnatlib_and_tools on Tru64 UNIX V5.1

[ro at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


ro at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rakdver at atrey dot karlin
                   |dot org                     |dot mff dot cuni dot cz
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2003-06-27 19:16:41
               date|                            |


------- Additional Comments From ro at gcc dot gnu dot org  2003-06-27 19:16 -------
I've just verified that this patch

http://gcc.gnu.org/ml/gcc-patches/2003-06/msg02321.html

caused the ICE above.

Assigned to author.

[Bug bootstrap/11354] GNAT ICE during make gnatlib_and_tools on Tru64 UNIX V5.1

[ro at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


ro at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


------- Additional Comments From ro at gcc dot gnu dot org  2003-07-02 00:34 -------
After backing out the patch that caused PR bootstrap/11396, this file compiles
cleanly on current (20030701) mainline.  So this bug has either been fixed or
masked by some other checkin.

[Bug bootstrap/11354] GNAT ICE during make gnatlib_and_tools on Tru64 UNIX V5.1

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |3.4