https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107733
--- Comment #4 from Geoffrey <geoffreydgr at icloud dot com> --- (In reply to David Malcolm from comment #2) > ...and also, as you note: > * deleting the unrelated code ` int *d = 0;` should not affect the result > (but does) > > > > the path note `(3) 'e' is NULL` is wrong, this may suggest some problems. > > Note (3) seems correct to me; (1) says "following 'true' branch (when 'e' is > NULL)..." so we're on the "e is NULL" branch. Hi. David. Could you spare some time to explain this phenomenon to me ?
