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

["reichelt at gcc dot gnu dot org" <gcc-bugzilla 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