[Bug ada/49725] New: [4.6 Regression] FAIL: c34005a

[Bug ada/49725] New: [4.6 Regression] FAIL: c34005a

[danglin at gcc dot gnu.org]

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

           Summary: [4.6 Regression] FAIL:   c34005a
           Product: gcc
           Version: 4.6.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: danglin@gcc.gnu.org
              Host: hppa2.0w-hp-hpux11.11
            Target: hppa2.0w-hp-hpux11.11
             Build: hppa2.0w-hp-hpux11.11


BUILD c34005a.adb
gnatmake --GCC="/mnt/gnu/gcc/objdir/gcc/xgcc -B/mnt/gnu/gcc/objdir/gcc/"
-gnatws
 -O2 -I/mnt/gnu/gcc/objdir/gcc/testsuite/ada/acats/support c34005a.adb -largs
--
GCC="/mnt/gnu/gcc/objdir/gcc/xgcc
-B/mnt/gnu/gcc/objdir/gcc/"/mnt/gnu/gcc/objdir/gcc/xgcc -c
-B/mnt/gnu/gcc/objdir/gcc/ -gnatws -O2
-I/mnt/gnu/gcc/objdir/gcc/testsuite/ada/acats/support c34005a.adb
+===========================GNAT BUG DETECTED==============================+|
4.6.2 20110711 (prerelease) [gcc-4_6-branch revision 176188] (hppa2.0w-hp-hpux
11.11) GCC error:|
| in gimplify_expr, at gimplify.c:7315                                     ||
Error detected around c34005a.adb:37:1                                   |
| 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).                   |
+==========================================================================+

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.
Consider also -gnatd.n switch (see debug.adb).

/mnt/gnu/gcc/objdir/gcc/ada/rts/system.ads
c34005a.adb
/mnt/gnu/gcc/objdir/gcc/testsuite/ada/acats/support/report.ads
/mnt/gnu/gcc/objdir/gcc/ada/rts/s-secsta.ads
/mnt/gnu/gcc/objdir/gcc/ada/rts/s-stoele.ads
/mnt/gnu/gcc/objdir/gcc/ada/rts/s-stoele.adb
/mnt/gnu/gcc/objdir/gcc/ada/rts/ada.ads
/mnt/gnu/gcc/objdir/gcc/ada/rts/a-unccon.ads
/mnt/gnu/gcc/objdir/gcc/ada/rts/s-soflin.ads
/mnt/gnu/gcc/objdir/gcc/ada/rts/a-except.ads
/mnt/gnu/gcc/objdir/gcc/ada/rts/s-parame.ads
/mnt/gnu/gcc/objdir/gcc/ada/rts/s-stalib.ads
/mnt/gnu/gcc/objdir/gcc/ada/rts/s-traent.ads
/mnt/gnu/gcc/objdir/gcc/ada/rts/s-stache.ads


raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:423
gnatmake: "c34005a.adb" compilation error
FAIL:   c34005a

Revision 176070 was ok.

[Bug ada/49725] [4.6 Regression] FAIL: c34005a

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.6.2

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-07-13 08:26:09 UTC ---
Does it work on trunk then?

[Bug ada/49725] [4.6 Regression] FAIL: c34005a

[dave.anglin at bell dot net]

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

--- Comment #2 from dave.anglin at bell dot net 2011-07-13 16:00:24 UTC ---
On 7/13/2011 4:26 AM, rguenth at gcc dot gnu.org wrote:
> Does it work on trunk then?

Yes.

The only change that I see that could cause this is:

2011-07-11  Martin Jambor <mjambor@suse.cz>

         PR tree-optimization/49094
         * tree-sra.c (tree_non_mode_aligned_mem_p): New function.
         (build_accesses_from_assign): Use it.

Dave

[Bug tree-optimization/49725] [4.6 Regression] FAIL: c34005a

[ebotcazou at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.07.14 08:35:08
                 CC|                            |ebotcazou at gcc dot
                   |                            |gnu.org, jamborm at gcc dot
                   |                            |gnu.org
          Component|ada                         |tree-optimization
     Ever Confirmed|0                           |1

--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-07-14 08:35:08 UTC ---
Confirmed as coming from Martin's patch.

[Bug tree-optimization/49725] [4.6 Regression] FAIL: c34005a

[jamborm at gcc dot gnu.org]

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

--- Comment #4 from Martin Jambor <jamborm at gcc dot gnu.org> 2011-07-14 08:41:36 UTC ---
I will have a look at it next week (if it can be reproduced on the hppa in the
compile farm).  Nevertheless, the interesting thing is that the patch only
makes SRA to do less, never more.  Does the ICE happen even if you switch SRA
off completely with -fno-tree-sra ?  Thanks.

[Bug tree-optimization/49725] [4.6 Regression] FAIL: c34005a

[ebotcazou at gcc dot gnu.org]

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

--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-07-14 08:58:42 UTC ---
> I will have a look at it next week (if it can be reproduced on the hppa in the
> compile farm).

A cross-compiler from your favorite linux box is sufficient.

> Nevertheless, the interesting thing is that the patch only makes SRA to do 
> less, never more.  Does the ICE happen even if you switch SRA off completely 
> with -fno-tree-sra ?

Hum, yes, you're right, the ICE comes from PRE, not SRA.

[Bug tree-optimization/49725] [4.6 Regression] FAIL: c34005a

[ebotcazou at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |ebotcazou at gcc dot
                   |gnu.org                     |gnu.org

--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-07-14 09:07:09 UTC ---
> Hum, yes, you're right, the ICE comes from PRE, not SRA.

And is fixed by backporting

2011-03-31  Eric Botcazou  <ebotcazou@adacore.com>

    * tree-ssa-pre.c (create_component_ref_by_pieces_1) <ARRAY_REF>: Drop
    a zero minimum index only if it is redundant.

onto the branch.  Testing...

[Bug tree-optimization/49725] [4.6 regression] ICE at -O2 on ACATS c34005a

[ebotcazou at gcc dot gnu.org]

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

--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-07-16 11:33:33 UTC ---
Author: ebotcazou
Date: Sat Jul 16 11:33:28 2011
New Revision: 176352

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176352
Log:
    PR tree-optimization/49725
    Backport from mainline
    2011-03-31  Eric Botcazou  <ebotcazou@adacore.com>

    * tree-ssa-pre.c (create_component_ref_by_pieces_1) <ARRAY_REF>: Drop
    a zero minimum index only if it is redundant.

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

[Bug tree-optimization/49725] [4.6 regression] ICE at -O2 on ACATS c34005a

[ebotcazou at gcc dot gnu.org]

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

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

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

--- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-07-16 11:34:45 UTC ---
Presumably.