------- Comment #9 from rguenth at gcc dot gnu dot org 2010-08-07 16:27 ------- (In reply to comment #7) > Richard, if you can't derive non-NULL-ness from X& y = *x, how do foo3 and > fooB > avoid the null check?
For both cases the C++ frontend do not emit the NULL check. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45221