[Bug ada/15105] New: Solaris 10/x86 Ada bootstrap failure: Constraint_Error SIGSEGV

[Bug ada/15105] New: Solaris 10/x86 Ada bootstrap failure: Constraint_Error SIGSEGV

[gcc-bugzilla at gcc dot gnu dot org]

Bootstrapping current mainline with GCC 3.3.2 fails in stage3 compiling
ada/a-chlat1.ads (and several other files):

$ stage2/xgcc -Bstage2/ -B/vol/gcc/share/i386-pc-solaris2.10/bin/ -c -g -O2      -gnatpg -gnata -I- -I. -Iada -I/vol/gnu/src/gcc/gcc-dist/gcc/ada /vol/gnu/src/gcc/gcc-dist/gcc/ada/a-chlat1.ads -o ada/a-chlat1.o -v
Reading specs from stage2/specs
Configured with: /vol/gnu/src/gcc/gcc-dist/configure --prefix=/vol/gcc --with-local-prefix=/vol/gcc --disable-nls --with-as=/vol/gcc/lib/as-7.0
Thread model: posix
gcc version 3.5.0 20040423 (experimental)
 stage2/gnat1 -I- -I. -Iada -I/vol/gnu/src/gcc/gcc-dist/gcc/ada -quiet -dumpbase a-chlat1.ads -g -gnatpg -gnata -O2 -gnatO ada/a-chlat1.o /vol/gnu/src/gcc/gcc-dist/gcc/ada/a-chlat1.ads -o /var/tmp//cce0lbaA.s
+===========================GNAT BUG DETECTED==============================+
| 3.5.0 20040423 (experimental) (i386-pc-solaris2.10) Constraint_Error SIGSEGV|
| Error detected at ada.ads:16:1                                           |

With gdb 6.1, I get the following stack trace:

#0  0x081f028b in nlists.is_list_member (node=134508488) at nlists.adb:591
#1  0x081f0a6a in nlists.prev (node=134508488) at nlists.adb:1110
#2  0x0825025e in sem_ch3__analyze_declarations__adjust_d.0 () at sem_ch3.adb:1157
#3  0x0825036c in sem_ch3.analyze_declarations (l=-99999823) at sem_ch3.adb:1239
#4  0x08276f96 in sem_ch7.analyze_package_specification (n=3497) at sem_ch7.adb:800
#5  0x08221949 in sem.analyze (n=3497) at sem.adb:391
#6  0x0827690d in sem_ch7.analyze_package_declaration (n=3503) at sem_ch7.adb:646
#7  0x082211c8 in sem.analyze (n=3503) at sem.adb:382
#8  0x082330d1 in sem_ch10.analyze_compilation_unit (n=3490) at sem_ch10.adb:489
#9  0x0822188e in sem.analyze (n=3490) at sem.adb:136
#10 0x0822233f in sem__semantics__do_analyze.0 () at sem.adb:1254
#11 0x0822252a in sem.semantics (comp_unit=3490) at sem.adb:1303
#12 0x082333a7 in sem_ch10.analyze_compilation_unit (n=3471) at sem_ch10.adb:463
#13 0x0822188e in sem.analyze (n=3471) at sem.adb:136
#14 0x0822233f in sem__semantics__do_analyze.0 () at sem.adb:1254
#15 0x0822252a in sem.semantics (comp_unit=3471) at sem.adb:1303
#16 0x082333a7 in sem_ch10.analyze_compilation_unit (n=1369) at sem_ch10.adb:463
#17 0x0822188e in sem.analyze (n=1369) at sem.adb:136
#18 0x0822233f in sem__semantics__do_analyze.0 () at sem.adb:1254
#19 0x0822252a in sem.semantics (comp_unit=1369) at sem.adb:1303
#20 0x081d7866 in _ada_frontend () at frontend.adb:305
During symbol reading, inner block (0x82e6b84-0x82e6bc5) not inside outer block (0x82e7137-0x82e75e7).
#21 0x082e70dd in _ada_gnat1drv () at gnat1drv.adb:255
#22 0x084c3247 in toplev_main (argc=15, argv=0x804773c) at /vol/gnu/src/gcc/gcc-dist/gcc/toplev.c:1596
#23 0x082e7b3f in main (argc=15, argv=0x804773c) at /vol/gnu/src/gcc/gcc-dist/gcc/main.c:35

Environment:
System: SunOS sunfirev60x-01 5.10 s10_48 i86pc i386 i86pc
Architecture: i86pc

	
host: i386-pc-solaris2.10
build: i386-pc-solaris2.10
target: i386-pc-solaris2.10
configured with: /vol/gnu/src/gcc/gcc-dist/configure --prefix=/vol/gcc --with-local-prefix=/vol/gcc --disable-nls --with-as=/vol/gcc/lib/as-7.0

How-To-Repeat:
Bootstrap gcc as reported.

-- 
           Summary: Solaris 10/x86 Ada bootstrap failure: Constraint_Error
                    SIGSEGV
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: ada
        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: i386-pc-solaris2.10
  GCC host triplet: i386-pc-solaris2.10
GCC target triplet: i386-pc-solaris2.10


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

[Bug middle-end/15105] [3.5 Regression] Solaris 10/x86 Ada bootstrap failure: Constraint_Error SIGSEGV

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-04-23 19:01 -------
IIRC this is really a problem in the middle caused by Kenner's mod patch.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|ada                         |middle-end
           Keywords|                            |build, ice-on-valid-code
            Summary|Solaris 10/x86 Ada bootstrap|[3.5 Regression] Solaris
                   |failure: Constraint_Error   |10/x86 Ada bootstrap
                   |SIGSEGV                     |failure: Constraint_Error
                   |                            |SIGSEGV
   Target Milestone|---                         |3.5.0


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

[Bug middle-end/15105] [3.5 Regression] Solaris 10/x86 Ada bootstrap failure: Constraint_Error SIGSEGV

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-04-25 16:37 -------
Does this work now after the latest patch from Kenner?

-- 


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

[Bug middle-end/15105] [3.5 Regression] Solaris 10/x86 Ada bootstrap failure: Constraint_Error SIGSEGV

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-04-25 17:16 -------
No, Ada bootstrap is broken on every non-ACCUMULATE_OUTGOING_ARGS target, which
means i386, i486, i586, k7 at least.

The Ada front-end is undergoing the transition to function-at-a-time, which
means structural breakages like this are expected.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-04-25 17:16:57
               date|                            |


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

[Bug ada/15105] [3.5 Regression] Solaris 10/x86 Ada bootstrap failure: Constraint_Error SIGSEGV

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-04-27 11:37 -------
The problem should be fixed by:

2004-04-27  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

        [...]

        * trans.c (gnat_to_gnu): Call do_pending_stack_adjust and emit_queue
        around block of RTL


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |WAITING


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

[Bug ada/15105] [3.5 Regression] Solaris 10/x86 Ada bootstrap failure: Constraint_Error SIGSEGV

[ro at techfak dot uni-bielefeld dot de]

------- Additional Comments From ro at techfak dot uni-bielefeld dot de  2004-04-27 19:39 -------
Subject: Re:  [3.5 Regression] Solaris 10/x86 Ada bootstrap failure: Constraint_Error SIGSEGV

ebotcazou at gcc dot gnu dot org writes:
> 
> The problem should be fixed by:
> 
> 2004-04-27  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
> 
>         [...]
> 
>         * trans.c (gnat_to_gnu): Call do_pending_stack_adjust and emit_queue
>         around block of RTL

Indeed: a bootstrap on i386-pc-solaris2.10 just completed successfully:

	http://gcc.gnu.org/ml/gcc-testresults/2004-04/msg01332.html

g++ testresults are terrible, though: I have to investigate if those are
the sort-of-random failures I observed before or there are header problems
on Solaris 10 Beta 2.

	Rainer


-- 


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

[Bug ada/15105] [3.5 Regression] Solaris 10/x86 Ada bootstrap failure: Constraint_Error SIGSEGV

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-04-27 19:42 -------
Fixed so closing.

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


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