------- 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
[Bug c++/27336] "this" pointer is not assumed to be not null
rguenth at gcc dot gnu dot org Mon, 01 May 2006 12:21:51 -0700
