[Bug analyzer/99906] [11 Regression] ICE: SIGSEGV in maybe_reconstruct_from_def_stmt with -fanalyzer

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

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

--- 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:7d8f4240c94e2e7643ac13cda1fdd0bb6ca3a3fb

commit r11-7988-g7d8f4240c94e2e7643ac13cda1fdd0bb6ca3a3fb
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Apr 5 10:51:46 2021 -0400

    analyzer: fix ICE on zero-arg calls passed to __attribute__((nonnull)) [PR
99906]

    gcc/analyzer/ChangeLog:
            PR analyzer/99906
            * analyzer.cc (maybe_reconstruct_from_def_stmt): Fix NULL
            dereference on calls with zero arguments.
            * sm-malloc.cc (malloc_state_machine::on_stmt): When handling
            __attribute__((nonnull)), only call get_diagnostic_tree if the
            result will be used.

    gcc/testsuite/ChangeLog:
            PR analyzer/99906
            * gcc.dg/analyzer/pr99906.c: New test.