[Bug tree-optimization/22543] New: ICE: verify_ssa failed with -ftree-vectorize

[Bug tree-optimization/22543] New: ICE: verify_ssa failed with -ftree-vectorize

[micis at gmx dot de]

When I compile ace542 with the actual snapshot of gcc41 I get an ICE when I 
enable autovectorisation.

Michael Cieslinski


g++41g -O -ftree-vectorize -c -o Policy_Set.o Policy_Set.ii
Policy_Set.cpp: In copy constructor 'TAO_Policy_Set::TAO_Policy_Set(const 
TAO_Policy_Set&)':
Policy_Set.cpp:32: error: definition in block 1 does not dominate use in block 5
for SSA_NAME: TMT.1063_114(ab) in statement:
TMT.1063_154(ab) = PHI <TMT.1063_114(ab)(5), TMT.1063_114(ab)(6), TMT.1063_114
(ab)(7)>;
PHI argument
TMT.1063_114(ab)
for PHI node
TMT.1063_154(ab) = PHI <TMT.1063_114(ab)(5), TMT.1063_114(ab)(6), TMT.1063_114
(ab)(7)>;
Policy_Set.cpp:32: internal compiler error: verify_ssa failed
Please submit a full bug report, with preprocessed source if appropriate.


g++41g -v
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-4.1-20050716/configure --prefix=/usr/local/gcc41g
 --program-suffix=41g --with-arch=opteron --enable-languages=c,c++
 --enable-checking
Thread model: posix
gcc version 4.1.0 20050716 (experimental)

-- 
           Summary: ICE: verify_ssa failed with -ftree-vectorize
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: micis at gmx dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug tree-optimization/22543] ICE: verify_ssa failed with -ftree-vectorize

[micis at gmx dot de]

------- Additional Comments From micis at gmx dot de  2005-07-18 10:44 -------
Created an attachment (id=9300)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9300&action=view)
preprocessed source


-- 


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

[Bug tree-optimization/22543] ICE: verify_ssa failed with -ftree-vectorize

[micis at gmx dot de]

------- Additional Comments From micis at gmx dot de  2005-07-18 10:45 -------
This ICE is new, the snapshot from last week is working

-- 


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

[Bug tree-optimization/22543] ICE: verify_ssa failed with -ftree-vectorize

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
  GCC build triplet|x86_64-unknown-linux-gnu    |
   GCC host triplet|x86_64-unknown-linux-gnu    |
 GCC target triplet|x86_64-unknown-linux-gnu    |x86_64-*-linux-gnu
           Keywords|                            |ice-on-valid-code


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

[Bug tree-optimization/22543] ICE: verify_ssa failed with -ftree-vectorize

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-07-19 00:51 -------
Reduced testcase:

===================================
struct A
{
  int i, j;

  A() : i(), j() {}
  ~A() {}

  operator int() { return 0; }
};

struct B
{
  A foo() const { return A(); }
};

struct X { ~X(); };

struct C
{
  C();

  int z[4];
};

C::C()
{
  for (int i=0; i<4; ++i)
    z[i]=0;

  X x;

  for (int i=0; i<4; ++i)
    int j = B().foo();
}
===================================

I can further reduce that to an ICE in var_ann, at tree-flow-inline.h:

===================================
struct C
{
  C();
  int z[4];
};

C::C()
{
  for (int i=0; i<4; ++i)
    z[i]=0;
  for (int i=0; i<4; ++i)
    int j=0;
}
===================================

The latter is very similar to PR 22506.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org


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

[Bug tree-optimization/22543] [4.1 regression] ICE: verify_ssa failed with -ftree-vectorize

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-07-19 17:34 -------
Confirmed.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22506
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-19 17:34:49
               date|                            |
            Summary|ICE: verify_ssa failed with |[4.1 regression] ICE:
                   |-ftree-vectorize            |verify_ssa failed with -
                   |                            |ftree-vectorize
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/22543] [4.1 regression] ICE: verify_ssa failed with -ftree-vectorize

[pinskia at gcc dot gnu dot org]

-- 
Bug 22543 depends on bug 22506, which changed state.

Bug 22506 Summary: [4.1 regression] ICE with -ftree-vectorize in var_ann, at tree-flow-inline.h:115
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22506

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

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

[Bug tree-optimization/22543] [4.1 regression] ICE: verify_ssa failed with -ftree-vectorize

[pinskia at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 894 bytes --]


------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-02 23:53 -------
Testcase number 2 in comment #3 works fine on the mainline now.

The reduced testcase in comment # gives:
t.cc: In constructor ‘C::C()’:
t.cc:25: error: definition in block 1 does not dominate use in block 3
for SSA_NAME: SFT.1_47 in statement:
#   VUSE <SFT.1_47>;
lsm_tmp.30_7 = D.2156.j;
t.cc:25: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

On the mainline.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2005-07-19 17:34:49         |2005-08-02 23:53:19
               date|                            |


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

[Bug tree-optimization/22543] [4.1 regression] ICE: verify_ssa failed with -ftree-vectorize

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-06 06:59 -------
This is a dup of bug 22228.

*** This bug has been marked as a duplicate of 22228 ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE


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

[Bug tree-optimization/22543] [4.1 regression] ICE: verify_ssa failed with -ftree-vectorize

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-08-19 14:44 -------
Just for the record: This was really fixed by the patch in PR22228.


-- 


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