[Bug analyzer/109366] No -Wanalyzer-null-dereference for unique_ptr

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

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

--- 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:2a63dc8c65d469e1d7ac3d764179653bf0ec843f

commit r16-265-g2a63dc8c65d469e1d7ac3d764179653bf0ec843f
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Apr 28 18:21:24 2025 -0400

    analyzer: fix null deref false negative on std::unique_ptr [PR109366]

    gcc/analyzer/ChangeLog:
            PR analyzer/109366
            * region-model-manager.cc
            (region_model_manager::maybe_fold_sub_svalue): Sub-values of zero
            constants are zero.

    gcc/testsuite/ChangeLog:
            PR analyzer/109366
            * g++.dg/analyzer/unique_ptr-1.C: New test.
            * g++.dg/analyzer/unique_ptr-2.C: New test.

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