]> git.ipfire.org Git - thirdparty/gcc.git/commit
Suppress -Wanalyzer-{possible}-null-deref in some address spaces [PR123981]
authorFederico Angelilli <code@fedang.net>
Mon, 9 Feb 2026 23:41:22 +0000 (18:41 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 9 Feb 2026 23:41:22 +0000 (18:41 -0500)
commit3f206c5cfc5581b700ddefbadde473bc6da5e849
tree9e9305d0017f01e565d555ad2e28fbcdcd0aa376
parent13c2da6cdbd1a39ed253cf8f74085347bd8ff43c
Suppress -Wanalyzer-{possible}-null-deref in some address spaces [PR123981]

gcc/analyzer/ChangeLog:
PR analyzer/123981
* sm-malloc.cc: Include "target.h".
(zero_address_valid_p): New.
(malloc_state_machine::on_stmt): Guard possible_null_deref and
null_deref with !zero_address_valid_p.

gcc/testsuite/ChangeLog:
PR analyzer/123981
* gcc.dg/analyzer/null-deref-pr123981-1.c: New test.
* gcc.dg/analyzer/null-deref-pr123981-2.c: New test.

Co-Authored-By: David Malcolm <dmalcolm@redhat.com>
Signed-off-by: Federico Angelilli <code@fedang.net>
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/sm-malloc.cc
gcc/testsuite/gcc.dg/analyzer/null-deref-pr123981-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/analyzer/null-deref-pr123981-2.c [new file with mode: 0644]