https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123981
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by David Malcolm <[email protected]>: https://gcc.gnu.org/g:3f206c5cfc5581b700ddefbadde473bc6da5e849 commit r16-7423-g3f206c5cfc5581b700ddefbadde473bc6da5e849 Author: Federico Angelilli <[email protected]> Date: Mon Feb 9 18:41:22 2026 -0500 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 <[email protected]> Signed-off-by: Federico Angelilli <[email protected]> Signed-off-by: David Malcolm <[email protected]>
