[Bug analyzer/109251] [13 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 #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by David Malcolm
<dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:ed026106ce420c7d9dd4d89caac017b6f235e219

commit r13-8756-ged026106ce420c7d9dd4d89caac017b6f235e219
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu May 9 13:09:31 2024 -0400

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

    Backported from commit r14-9586-g9093f275e0a343 (moving tests from
    c-c++-common to gcc.dg)

    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
            * gcc.dg/analyzer/deref-before-check-pr109251-1.c: New test.
            * gcc.dg/analyzer/deref-before-check-pr109251-2.c: New test.

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