]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48cb518) | patch
analyzer: fix ICE on infoleak with poisoned size
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 8 Dec 2023 20:59:43 +0000 (15:59 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 8 Dec 2023 20:59:43 +0000 (15:59 -0500)
commit08262e78209ed4a69f309b6fdf79e7c0be0c6793
tree8bcf272539b88b28c19c1ca73f26a71bcadf1d31tree
parent48cb51827c9eb991b92014a3f59d31eb237ce03fcommit | diff
analyzer: fix ICE on infoleak with poisoned size

gcc/analyzer/ChangeLog:
* region-model.cc (contains_uninit_p): Only check for
svalues that the infoleak warning can handle.

gcc/testsuite/ChangeLog:
* gcc.dg/plugin/infoleak-uninit-size-1.c: New test.
* gcc.dg/plugin/infoleak-uninit-size-2.c: New test.
* gcc.dg/plugin/plugin.exp: Add the new tests.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/region-model.cc diff | blob | blame | history
gcc/testsuite/gcc.dg/plugin/infoleak-uninit-size-1.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/plugin/infoleak-uninit-size-2.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/plugin/plugin.exp diff | blob | blame | history
GNU Compiler Collection
This page took 0.062761 seconds and 5 git commands to generate.