]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a39e0c) | patch
analyzer: fix null deref false negative on std::unique_ptr [PR109366]
authorDavid Malcolm <dmalcolm@redhat.com>
Mon, 28 Apr 2025 22:21:24 +0000 (18:21 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 28 Apr 2025 22:21:24 +0000 (18:21 -0400)
commit2a63dc8c65d469e1d7ac3d764179653bf0ec843f
tree4b804a06c10a270576928fbbb1fdcae55df62a3dtree
parent7a39e0ca0652ff84a31efa3c7d4c7a78d9bb95aecommit | diff
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 <dmalcolm@redhat.com>
gcc/analyzer/region-model-manager.cc diff | blob | blame | history
gcc/testsuite/g++.dg/analyzer/unique_ptr-1.C [new file with mode: 0644] blob
gcc/testsuite/g++.dg/analyzer/unique_ptr-2.C [new file with mode: 0644] blob
Mirror of https://gcc.gnu.org/git/gcc.git