[Bug ada/51624] New: [4.6/4.7 regression] Assert_Failure atree.adb:808 on IRIX 6.5

[Bug ada/51624] New: [4.6/4.7 regression] Assert_Failure atree.adb:808 on IRIX 6.5

[ro at gcc dot gnu.org]

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

             Bug #: 51624
           Summary: [4.6/4.7 regression] Assert_Failure atree.adb:808 on
                    IRIX 6.5
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: ro@gcc.gnu.org
                CC: charlet@gcc.gnu.org, ebotcazou@gcc.gnu.org
              Host: mips-sgi-irix6.5
            Target: mips-sgi-irix6.5
             Build: mips-sgi-irix6.5


Between 20111209 (r182157) and 20111216 (r182397), Ada bootstrap started to
fail
on IRIX 6.5 in stage 3:

+===========================GNAT BUG DETECTED==============================+
| 4.6.3 20111216 (prerelease) [gcc-4_6-branch revision 182397]
(mips-sgi-irix6.5) |
| Assert_Failure atree.adb:794                                             |
| Error detected at ali.adb:2008:45                                  

When I apply the patch for PR bootstrap/50686 just suggested, I observe a
similar
ICE on mainline, too:

+===========================GNAT BUG DETECTED==============================+
| 4.7.0 20111216 (experimental) [trunk revision 182408] (mips-sgi-irix6.5) |
| Assert_Failure atree.adb:808                                             |
| Error detected at a-exexda.adb:635:15           

This suggests that a recent patch that has also been backported to the 4.6
branch
is the culprit.

  Rainer

[Bug ada/51624] [4.6/4.7 regression] Assert_Failure atree.adb:808 on IRIX 6.5

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011-12-20
         AssignedTo|unassigned at gcc dot       |ebotcazou at gcc dot
                   |gnu.org                     |gnu.org
     Ever Confirmed|0                           |1

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-12-20 06:28:34 UTC ---
There was no change on the Ada side between these revisions so this is probably
a miscompilation of the stage2 compiler.  I can reproduce and I'll investigate.

[Bug ada/51624] [4.6/4.7 regression] Assert_Failure atree.adb:808 on IRIX 6.5

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.6.3

[Bug tree-optimization/51624] [4.6/4.7 regression] Assert_Failure atree.adb:808 during stage 3

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|ada                         |tree-optimization
            Summary|[4.6/4.7 regression]        |[4.6/4.7 regression]
                   |Assert_Failure              |Assert_Failure
                   |atree.adb:808 on IRIX 6.5   |atree.adb:808 during stage
                   |                            |3

--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-12-30 22:17:38 UTC ---
Recategorizing.

[Bug tree-optimization/51624] [4.6/4.7 regression] Assert_Failure atree.adb:808 during stage 3

[ebotcazou at gcc dot gnu.org]

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

--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-01-04 21:34:31 UTC ---
Author: ebotcazou
Date: Wed Jan  4 21:34:27 2012
New Revision: 182889

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182889
Log:
    PR tree-optimization/51624
    * tree-sra.c (build_ref_for_model): When replicating a chain of
    COMPONENT_REFs, stop as soon as the offset would become negative.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-sra.c

[Bug tree-optimization/51624] [4.6/4.7 regression] Assert_Failure atree.adb:808 during stage 3

[ebotcazou at gcc dot gnu.org]

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

--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-01-04 21:37:15 UTC ---
Author: ebotcazou
Date: Wed Jan  4 21:37:11 2012
New Revision: 182890

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182890
Log:
    PR tree-optimization/51624
    * tree-sra.c (build_ref_for_model): When replicating a chain of
    COMPONENT_REFs, stop as soon as the offset would become negative.

Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/tree-sra.c

[Bug tree-optimization/51624] [4.6/4.7 regression] Assert_Failure atree.adb:808 during stage 3

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
            Version|4.7.0                       |4.6.3
         Resolution|                            |FIXED

--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-01-04 21:39:02 UTC ---
.