analyzer: fix ICE when failing to reconstruct a fn ptr [PR101837]
authorDavid Malcolm <dmalcolm@redhat.com>
Mon, 23 Aug 2021 18:09:44 +0000 (14:09 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 23 Aug 2021 18:09:44 +0000 (14:09 -0400)
commit4b821c7efbe12cfbb129a88541108b39058da526
tree1b3dd4dccc4e697896cabb6d0c3170e14c0b67fb
parente82e0f149b0aba660896ea9aa12c442c07a16d12
analyzer: fix ICE when failing to reconstruct a fn ptr [PR101837]

gcc/analyzer/ChangeLog:
PR analyzer/101837
* analyzer.cc (maybe_reconstruct_from_def_stmt): Bail if fn is
NULL, and assert that it's non-NULL before passing it to
build_call_array_loc.

gcc/testsuite/ChangeLog:
PR analyzer/101837
* gcc.dg/analyzer/pr101837.c: New test.
gcc/analyzer/analyzer.cc
gcc/testsuite/gcc.dg/analyzer/pr101837.c [new file with mode: 0644]