https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110529
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Summary|-Wanalyzer-null-dereference |Analyzer fails to handle
|false nagetive with |computed goto
|`*arr[0] = 10086` |
Ever confirmed|0 |1
Last reconfirmed| |2023-09-02
--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this bug.
Looking at
-fdump-analyzer-exploded-graph -fanalyzer-fine-grained
it looks like the analyzer gives up exploring execution paths at the computed
goto.
The supergraph shows that the CFG at the goto has out-edges to x and y, with
the flag "ABNORMAL".
