[Bug analyzer/109251] [13/14 Regression] -Wanalyzer-deref-before-check false positives seen in Linux kernel due to check in macros

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

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

--- Comment #1 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:9093f275e0a3430e4517e782e7f5419d403113f7

commit r14-9586-g9093f275e0a3430e4517e782e7f5419d403113f7
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed Mar 20 18:33:11 2024 -0400

    analyzer: fix -Wanalyzer-deref-before-check false positive seen in loop
header macro [PR109251]

    gcc/analyzer/ChangeLog:
            PR analyzer/109251
            * sm-malloc.cc (deref_before_check::emit): Reject cases where the
            check is in a loop header within a macro expansion.
            (deref_before_check::loop_header_p): New.

    gcc/testsuite/ChangeLog:
            PR analyzer/109251
            * c-c++-common/analyzer/deref-before-check-pr109251-1.c: New test.
            * c-c++-common/analyzer/deref-before-check-pr109251-2.c: New test.

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