diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-10-28 20:10:39 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-10-28 20:10:39 -0400 |
| commit | 1a9af271275f4893e28c789c8f1964025694eda1 (patch) | |
| tree | 6f4b335ee28124f590e65d2ea4888bf93bc5919c /gcc/value-prof.c | |
| parent | e9751143e237b507a81234a573a200ea45e7111a (diff) | |
| download | gcc-1a9af271275f4893e28c789c8f1964025694eda1.zip gcc-1a9af271275f4893e28c789c8f1964025694eda1.tar.gz gcc-1a9af271275f4893e28c789c8f1964025694eda1.tar.bz2 | |
analyzer: fix false leak diagnostic on offsets from malloc [PR97608]
gcc/analyzer/ChangeLog:
PR analyzer/97608
* region-model-reachability.cc (reachable_regions::handle_sval):
Operands of reachable reversible operations are reachable.
gcc/testsuite/ChangeLog:
PR analyzer/97608
* gcc.dg/analyzer/malloc-1.c (test_42d): New.
* gcc.dg/analyzer/pr97608.c: New test.
Diffstat (limited to 'gcc/value-prof.c')
0 files changed, 0 insertions, 0 deletions