diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-12-01 14:12:33 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-12-01 18:20:34 -0500 |
| commit | 860c56b5bc356960a4d0445dadc43ceddbe3c7e2 (patch) | |
| tree | 5f80108e530cc9325b5c2f14af83b38fc8dfca45 /libcpp | |
| parent | 7eb961d83b0eda53aeb1cfaacdc367e1952de613 (diff) | |
| download | gcc-860c56b5bc356960a4d0445dadc43ceddbe3c7e2.zip gcc-860c56b5bc356960a4d0445dadc43ceddbe3c7e2.tar.gz gcc-860c56b5bc356960a4d0445dadc43ceddbe3c7e2.tar.bz2 | |
analyzer: fix false leak seen in Juliet 1.3 [PR102471]
Juliet 1.3's CWE415_Double_Free__malloc_free_*_67a.c
were showing leak false positives in non-LTO builds; fixed thusly.
gcc/analyzer/ChangeLog:
PR analyzer/102471
* region-model-reachability.cc (reachable_regions::handle_parm):
Treat all svalues within a compound parm has reachable, and those
wrapped in a cast.
gcc/testsuite/ChangeLog:
PR analyzer/102471
* gcc.dg/analyzer/leak-3.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions