[Bug ada/18659] New: ACATS ICE in bug in tree-sra.c:1507 on x86 (6 FAIL)

[Bug ada/18659] New: ACATS ICE in bug in tree-sra.c:1507 on x86 (6 FAIL)

[laurent at guerby dot net]

This happens on x86 but not on x86_64, 6 ACATS test have the following ICE:
+===========================GNAT BUG DETECTED==============================+
| 4.0.0 20041122 (experimental) (i686-pc-linux-gnu) GCC error:             |
| in generate_element_copy, at tree-sra.c:1507                             |
| Error detected at c32001e.adb:253:5                                      |

c32001e
c52011a
c64105b
c95086b
cd2b11a
cd2b11b

-- 
           Summary: ACATS ICE in bug in tree-sra.c:1507 on x86 (6 FAIL)
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: laurent at guerby dot net
                CC: gcc-bugs at gcc dot gnu dot org,laurent at guerby dot
                    net


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

[Bug tree-optimization/18659] [4.0 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-24 21:39 -------
Confirmed, also fails on ppc-darwin.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|ada                         |tree-optimization
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-11-24 21:39:55
               date|                            |
            Summary|ACATS ICE in bug in tree-   |[4.0 Regression] ACATS ICE
                   |sra.c:1507 on x86 (6 FAIL)  |in bug in tree-sra.c:1507 on
                   |                            |x86 and ppc-darwin (6 FAIL)
   Target Milestone|---                         |4.0.0


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

[Bug tree-optimization/18659] [4.0 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-24 21:44 -------
This might be fixed by:
http://gcc.gnu.org/ml/gcc-patches/2004-11/msg02030.html

But since I have not tried it yet and it looks like the build is broken, I don't know.

-- 


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

[Bug tree-optimization/18659] [4.0 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2004-11-24 22:21 -------
These 6 ACATS FAIL appeared between 20041027 13:16:33 CET and 20041107 12:23:42
CET (together with 21 additional ACATS FAIL...).


-- 


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

[Bug tree-optimization/18659] [4.0 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Last reconfirmed|2004-11-24 21:39:55         |2004-11-29 13:43:38
               date|                            |


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

[Bug tree-optimization/18659] [4.0 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2004-12-05 16:27 -------
Also fails the same way for the same tests on ia64-linux.

-- 


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

[Bug tree-optimization/18659] [4.0 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2004-12-06 20:12 -------
This test PASS at -O0 on x86, x86_64 and ia64.

-- 


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

[Bug tree-optimization/18659] [4.0 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-21 18:48 -------
Removing the target milestone as per <http://gcc.gnu.org/ml/gcc/2005-01/msg01255.html> as this 
is only known to happen in Ada.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.0                       |---


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

[Bug ada/18659] [4.0 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-15 07:12 -------
Reconfirmed, reduced testcase from c32001e:
PROCEDURE C32001E IS
BEGIN
     DECLARE
          PACKAGE PKG1 IS
               TYPE PACC IS PRIVATE;
               FUNCTION INIT5 (I : INTEGER) RETURN PACC;
               PROCEDURE CHECK5 (V : PACC; S : STRING);
          PRIVATE
               TYPE VECTOR IS ARRAY (NATURAL RANGE <>) OF INTEGER;
               TYPE PACC IS ACCESS VECTOR;
          END PKG1;
          PACKAGE BODY PKG1 IS
               FUNCTION INIT5 (I : INTEGER) RETURN PACC IS
                    ACCV : PACC := NEW VECTOR'(1 .. 0 => 0);
               BEGIN
                    RETURN ACCV;
               END INIT5;
               PROCEDURE CHECK5 (V : PACC; S : STRING) IS
               BEGIN
                    NULL;
               END CHECK5;
          END PKG1;
       USE PKG1;
       V1, V2   : PACC  := INIT5 (9);
     BEGIN
          NULL;          
     END;
END C32001E;


This still looks like a front-end bug because any slight removal of code it will not ICE.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|tree-optimization           |ada


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

[Bug ada/18659] [4.0 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-02-18 12:31 -------
SRA is an Ada killer because of the the abuse of VIEW_CONVERT_EXPRs by the Ada
front-end.  I think it should be disabled in the Ada compiler for 4.0.x.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|laurent at guerby dot net   |ebotcazou at gcc dot gnu dot
                   |                            |org
   Last reconfirmed|2005-01-18 00:45:39         |2005-02-18 12:31:03
               date|                            |


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

[Bug ada/18659] [4.0 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[charlet at adacore dot com]

------- Additional Comments From charlet at adacore dot com  2005-02-18 12:58 -------
Subject: Re:  [4.0 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

> SRA is an Ada killer because of the the abuse of VIEW_CONVERT_EXPRs by the Ada
> front-end.  I think it should be disabled in the Ada compiler for 4.0.x.

Sounds reasonable to me.

Arno


-- 


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

[Bug ada/18659] [4.0 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-02-18 19:20 -------
> > SRA is an Ada killer because of the the abuse of VIEW_CONVERT_EXPRs by the Ada
> > front-end.  I think it should be disabled in the Ada compiler for 4.0.x.
> 
> Sounds reasonable to me.

OK, I'll submit a patch once 4.0.x is branched.  As of today, excluding the
problematic cxa3004 and cxb3006, as well as cxa4006 and cxa4017 for which I've
submitted a fix, we have 6 failures at -O2 -fno-tree-sra.


-- 


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

[Bug ada/18659] [4.0 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-02-19 18:28 -------
I confirm all six ACATS tests PASS with -O2 -fno-tree-sra on x86-linux.

-- 


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

[Bug ada/18659] [4.0/4.1 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.1.0


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

[Bug ada/18659] [4.0/4.1 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-04-05 21:23 -------
Fails on sparc-linux as well.

Any resolution on this now that the release is near? With PR18819 these are the
cause of the x86 ACATS regressions (3.4 was ACATS failure free on x86).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kenner at vlsi1 dot ultra
                   |                            |dot nyu dot edu


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

[Bug ada/18659] [4.0/4.1 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-04-07 06:51 -------
Subject: Bug 18659

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	ebotcazou@gcc.gnu.org	2005-04-07 06:51:30

Modified files:
	gcc            : ChangeLog 
	gcc/doc        : invoke.texi 
	gcc/ada        : ChangeLog misc.c 

Log message:
	PR ada/18659
	PR ada/18819
	ada/
	* misc.c (tree_sra_requested): New global.
	(gnat_init_options): Detect -ftree-sra.
	(gnat_post_options): Enable Tree-SRA only if specifically requested.
	gcc/
	* doc/invoke.texi (Optimize Options): Document that
	-ftree-sra is not automatically enabled for the Ada compiler.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.7592.2.144&r2=2.7592.2.145
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/doc/invoke.texi.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.583.2.9&r2=1.583.2.10
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.638.4.10&r2=1.638.4.11
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/misc.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.96.6.1&r2=1.96.6.2



-- 


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

[Bug ada/18659] [4.1 Regression] 6 ACATS ICEs in tree-sra.c:1507

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-04-07 06:56 -------
It only fails on mainline now.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.0/4.1 Regression] ACATS  |[4.1 Regression] 6 ACATS
                   |ICE in bug in tree-         |ICEs in tree-sra.c:1507
                   |sra.c:1507 on x86 and ppc-  |
                   |darwin (6 FAIL)             |


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

[Bug ada/18659] [4.1 Regression] 6 ACATS ICEs in tree-sra.c:1507

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-06-18 18:16 -------
Still present on x86-linux as of 
LAST_UPDATED: Sat Jun 18 09:02:59 UTC 2005


-- 


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

[Bug ada/18659] [4.1 Regression] 6 ACATS ICEs in tree-sra.c:1507

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-07-07 11:02 -------
Between:

LAST_UPDATED: Sat Jul  2 09:40:45 UTC 2005
LAST_UPDATED: Wed Jul  6 23:57:55 UTC 2005

c52011a	cd2b11a	cd2b11b started passing instead of ICEing.

c32001e c64105b c95086b are still ICEing in generate_element_copy, at
tree-sra.c:1574     

-- 


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

[Bug ada/18659] [4.1 Regression] 6 ACATS ICEs in tree-sra.c:1507

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2005-08-22 02:23 -------
Ada is not release-critical.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.0                       |---


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