[Bug analyzer/107345] - -Wanayzer-null-dereference false positive with giving weird path infomation
dmalcolm at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Mon Oct 24 14:35:44 GMT 2022
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107345
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2022-10-24
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this bug. The analyzer is seeing
NULL == &e
and fails to treat this as being false; the logic for spotting comparison of
&VAR against NULL was only looking for NULL on the right-hand side.
I'm working on a fix.
More information about the Gcc-bugs
mailing list