------- Comment #10 from hp at gcc dot gnu dot org 2009-04-10 16:50 ------- (In reply to comment #6) > > We know it's not NULL. > I don't think the compiler can say so if not -fdelete-null-pointer-checks, and > the flag is off at -O0 and -O1 (which is a separate bug and a separate patch).
Different thing. You're taking the address of a (non-weak) *object* (hence, can't be NULL), not removing a NULL test because of an earlier *pointer* indirection. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39701