[Bug analyzer/112790] -Wanalyzer-deref-before-check false positives seen in Linux kernel due to inlining

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

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

--- Comment #2 from GCC 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:5743e1899d596497800f7d6f4273d535ea0abcdd

commit r14-6918-g5743e1899d596497800f7d6f4273d535ea0abcdd
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Jan 4 09:15:18 2024 -0500

    analyzer: fix deref-before-check false positives due to inlining [PR112790]

    gcc/analyzer/ChangeLog:
            PR analyzer/112790
            * checker-event.cc (class inlining_info): Move to...
            * inlining-iterator.h (class inlining_info): ...here.
            * sm-malloc.cc: Include "analyzer/inlining-iterator.h".
            (maybe_complain_about_deref_before_check): Reject stmts that were
            inlined from another function.

    gcc/testsuite/ChangeLog:
            PR analyzer/112790
            * c-c++-common/analyzer/deref-before-check-pr112790.c: New test.

    Signed-off-by: David Malcolm <dmalc...@redhat.com>