[Bug ada/36207] New: [4.4 regression] Ada bootstrap fails in uintp.adb:1595

["aaronavay62 at aaronwl dot com" <gcc-bugzilla at gcc dot gnu dot org>]

The type size seems to be getting set to zero when calling
Build_Signed_Integer_Type in cstand.adb.  It's possible that the stage2 gnat
has been miscompiled.

/mingw/src/gccsvn/obj/./prev-gcc/xgcc -B/mingw/src/gccsvn/obj/./prev-gcc/
-B/mingw/i386-pc-mingw32/bin/ -c -g -O2 -D__USE_MINGW_ACCESS      -gnatpg
-gnata -gnatws -nostdinc -I- -I. -Iada -I../../svn/gcc/ada
../../svn/gcc/ada/ada.ads -o ada/ada.o -v -save-temps
Reading specs from /mingw/src/gccsvn/obj/./prev-gcc/specs
Target: i386-pc-mingw32
Configured with: ../svn/configure
--enable-languages=c,ada,c++,fortran,java,objc,obj-c++
--disable-sjlj-exceptions --enable-libgcj --enable-libgomp --with-dwarf2
--disable-win32-registry --enable-libstdcxx-debug --enable-concept-checks
--enable-version-specific-runtime-libs --prefix=/mingw
--with-gmp=/mingw/src/gcc/gmp-mpfr-root
--with-mpfr=/mingw/src/gcc/gmp-mpfr-root
--with-libiconv-prefix=/mingw/src/gcc/libiconv-root
Thread model: win32
gcc version 4.4.0 20080510 (experimental) (GCC) 
COLLECT_GCC_OPTIONS='-B/mingw/src/gccsvn/obj/./prev-gcc/'
'-B/mingw/i386-pc-mingw32/bin/' '-c' '-g' '-O2' '-D__USE_MINGW_ACCESS'
'-gnatpg' '-gnata' '-gnatws' '-nostdinc' '-I-' '-I.' '-Iada'
'-I../../svn/gcc/ada' '-o' 'ada/ada.o' '-v' '-save-temps' '-mtune=i386'
 /mingw/src/gccsvn/obj/./prev-gcc/gnat1.exe -I- -I. -Iada -I../../svn/gcc/ada
-quiet -nostdinc -dumpbase ada.ads -O2 -g -gnatpg -gnata -gnatws -mtune=i386
-gnatO ada/ada.o ../../svn/gcc/ada/ada.ads -o ada.s
+===========================GNAT BUG DETECTED==============================+
| 4.4.0 20080510 (experimental) (i386-pc-mingw32) Assert_Failure
uintp.adb:1595|
| No source file position information available                            |
| 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).                   |
+==========================================================================+

(gdb) run
Starting program: /mingw/src/gccsvn/obj/./prev-gcc/gnat1.exe -I- -I. -Iada
-I../../svn/gcc/ada -quiet -nostdinc -dumpbase ada.ads -O2 -g -gnatpg -gnata
-gnatws -mtune=i386 -gnatO ada/ada.o ../../svn/gcc/ada/ada.ads -o ada.s
[New thread 1908.0x11bc]

Breakpoint 5, uintp.ui_expon (left=600032770, right=600032767)
    at ../../svn/gcc/ada/uintp.adb:1595
1595          pragma Assert (Right >= Uint_0);
(gdb) print Right
$7 = 600032767
(gdb) print Uint_0
$8 = 600032768
(gdb) bt
#0  uintp.ui_expon (left=600032770, right=600032767)
    at ../../svn/gcc/ada/uintp.adb:1595
#1  0x00497451 in cstand.build_signed_integer_type (e=17, siz=0)
    at ../../svn/gcc/ada/cstand.adb:160
#2  0x00498917 in cstand.create_standard ()
    at ../../svn/gcc/ada/cstand.adb:473
#3  0x005556d5 in frontend () at ../../svn/gcc/ada/frontend.adb:88
#4  0x006a0b37 in gnat1drv () at ../../svn/gcc/ada/gnat1drv.adb:432
#5  0x00422657 in gnat_parse_file (set_yydebug=0)
    at ../../svn/gcc/ada/misc.c:240
#6  0x006fe03e in toplev_main (argc=20, argv=0x3d42f8)
    at ../../svn/gcc/toplev.c:962
#7  0x006a14d9 in main (argc=) at ../../svn/gcc/main.c:35
(gdb) frame 2
#2  0x00498917 in cstand.create_standard ()
    at ../../svn/gcc/ada/cstand.adb:473

(gdb) print Standard_Short_Short_Integer
$9 = 694
(gdb) print Standard_Short_Short_Integer_Size
$10 = 8


-- 
           Summary: [4.4 regression] Ada bootstrap fails in uintp.adb:1595
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Keywords: build
          Severity: major
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: aaronavay62 at aaronwl dot com
  GCC host triplet: i386-pc-mingw32
GCC target triplet: i386-pc-mingw32


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