------- 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