------- Comment #7 from navin dot kumar at gmail dot com 2010-08-07 16:22 ------- Richard, if you can't derive non-NULL-ness from X& y = *x, how do foo3 and fooB avoid the null check?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45221
navin dot kumar at gmail dot com Sat, 07 Aug 2010 09:23:20 -0700
------- Comment #7 from navin dot kumar at gmail dot com 2010-08-07 16:22 ------- Richard, if you can't derive non-NULL-ness from X& y = *x, how do foo3 and fooB avoid the null check?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45221