[Bug tree-optimization/21789] New: [4.1 regression] ICE with -ftree-vectorize

[Bug tree-optimization/21789] New: [4.1 regression] ICE with -ftree-vectorize

[reichelt at gcc dot gnu dot org]

The following testcase crashes mainline when compiled with
g++ -O -ftree-vectorize:

==================================================================
struct C;

struct A
{
    void foo(const C&) { bar(); }
    void bar();
};

struct B
{
    short int x[2];
    B() { short int* p=x; for (int i=0; i<2; ++i) p[i] = 0; }
};

struct C
{
    A* p;
    char c;
    B b;

    void baz() const { p->bar(); }
};

void foobar(C& c, A& a)
{
    c.baz();
    a.foo(C());
}
==================================================================

The error message is:

  bug.cc: In function 'void foobar(C&, A&)':
  bug.cc:24: internal compiler error: tree check: expected ssa_name, have
var_decl in verify_ssa, at tree-ssa.c:750
  Please submit a full bug report, [etc.]

The 4.0 branch is not affected.

-- 
           Summary: [4.1 regression] ICE with -ftree-vectorize
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, monitored
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug tree-optimization/21789] [4.1 regression] ICE with -ftree-vectorize

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-05-27 19:35 -------
Confirmed, this is most likely the same as PR 21653.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |21653
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-05-27 19:35:35
               date|                            |
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/21789] [4.1 regression] ICE with -ftree-vectorize

[dorit at il dot ibm dot com]

------- Additional Comments From dorit at il dot ibm dot com  2005-05-30 13:10 -------
> Confirmed, this is most likely the same as PR 21653.

Indeed looks related, but a patch that fixed PR21653 did not fix this PR. I 
also checked if the follow-on fix - http://gcc.gnu.org/ml/gcc-patches/2005-
05/msg02478.html resolves this problem, but it doesn't.


-- 


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

[Bug tree-optimization/21789] [4.1 regression] ICE with -ftree-vectorize

[dorit at il dot ibm dot com]

------- Additional Comments From dorit at il dot ibm dot com  2005-05-30 15:08 -------
> I also checked if the follow-on fix - http://gcc.gnu.org/ml/gcc-patches/2005-
> 05/msg02478.html resolves this problem, but it doesn't.

Actually, I think the patch above
(http://gcc.gnu.org/ml/gcc-patches/2005-05/msg02478.html)
does solve this ICE (I used a compiler without Keith's patch before).



-- 


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

[Bug tree-optimization/21789] [4.1 regression] ICE with -ftree-vectorize

[pinskia at gcc dot gnu dot org]

-- 
Bug 21789 depends on bug 21653, which changed state.

Bug 21653 Summary: [4.1 Regression] gcc.dg/vect failures
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21653

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

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

[Bug tree-optimization/21789] [4.1 regression] ICE with -ftree-vectorize

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-06-01 09:46 -------
Dorit, I think your guess is right.

The ICE already disappeared with the patch
http://gcc.gnu.org/ml/gcc-cvs/2005-05/msg01207.html

        * tree-ssa-forwprop.c (forward_propagate_addr_expr):
        See through ADDR_EXPR in finding place to propagate into.

But that only seems to paper over the problem. Backing this patch out
I get the ICE again. It really disappears with Keith's patch you mentioned:

http://gcc.gnu.org/ml/gcc-cvs/2005-05/msg01301.html

So I think we can close the PR as fixed then.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dorit at gcc dot gnu dot org
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


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