------- Comment #6 from bonzini at gnu dot org 2009-04-10 16:05 ------- > 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). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39701
