[Bug analyzer/107733] GCC - -Wanayzer-null-dereference false positive with wrong path note "(3) 'e' is NULL" and inconsistent behaviors

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107733

--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
...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.