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

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2006-05-01 19:21 -------
Though it's also not hard to teach VRP to do this.


-- 


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