[Bug middle-end/35400] [4.4 Regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[reichelt at gcc dot gnu dot org]

------- Comment #8 from reichelt at gcc dot gnu dot org  2008-03-28 18:13 
-------
Here's a reduced C testcase (fuirther reduced from PR35663):

===============================
struct A
{
  struct A *p;
};

int foo(const struct A *q)
{
  return q->p == q;
}

void bar(int);

void baz()
{
  struct A a;

  while (foo(&a))
    bar(foo(&a));
}
===============================


-- 


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