[Bug tree-optimization/22625] -ftree-vrp produces wrong code

[belyshev at depni dot sinp dot msu dot ru]

------- Additional Comments From belyshev at depni dot sinp dot msu dot ru  
2005-07-23 01:32 -------
// smaller testcase:

extern "C" void abort (void);

struct T
{
  virtual void foo (void) {};
} t;

struct A : T
{
} *p;

int main (void)
{
  if (p == &t)
    return 0;
  if (p)
    abort ();
  return 0;
}


-- 


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