[Bug c++/27336] "this" pointer is not assumed to be not null

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2006-04-28 09:33 -------
VRP could extract this information just like it does for loads in

void bar(int);
int foo(int *i)
{
  bar(*i);
  return i == NULL;
}


-- 


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