[Bug analyzer/101837] [11/12 Regression] ICE with -O3 -fsanitize=undefined -fanalyzer since r11-7941-ge4bb1bd60a9fd1be

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

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:4b821c7efbe12cfbb129a88541108b39058da526

commit r12-3095-g4b821c7efbe12cfbb129a88541108b39058da526
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Aug 23 14:09:44 2021 -0400

    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.