[Bug tree-optimization/18968] [4.0 regression] ICE: tree check: expected ssa_name, have addr_expr in vrp_hash

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2004-12-13 22:17 -------
Confirmed. Here's a reduced testcase:

====================================
struct X
{
  int i;
};

struct Y : virtual X {};
struct Z : Y {};

void foo(X* q) { if (q) q->i++; }

struct A
{
  Z* p;
  A() : p(0) { foo((Y*)p); }
};

A a;
====================================


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |monitored
   Last reconfirmed|0000-00-00 00:00:00         |2004-12-13 22:17:49
               date|                            |


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