diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2024-01-04 09:15:18 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2024-01-04 09:15:18 -0500 |
| commit | 5743e1899d596497800f7d6f4273d535ea0abcdd (patch) | |
| tree | 89e1b499f39b36abef5eecc24455c1ddcdb4ca3a /gcc/go | |
| parent | db5b01d282a0e3ddcac737e55f9758c8b081cf4b (diff) | |
| download | gcc-5743e1899d596497800f7d6f4273d535ea0abcdd.zip gcc-5743e1899d596497800f7d6f4273d535ea0abcdd.tar.gz gcc-5743e1899d596497800f7d6f4273d535ea0abcdd.tar.bz2 | |
analyzer: fix deref-before-check false positives due to inlining [PR112790]
gcc/analyzer/ChangeLog:
PR analyzer/112790
* checker-event.cc (class inlining_info): Move to...
* inlining-iterator.h (class inlining_info): ...here.
* sm-malloc.cc: Include "analyzer/inlining-iterator.h".
(maybe_complain_about_deref_before_check): Reject stmts that were
inlined from another function.
gcc/testsuite/ChangeLog:
PR analyzer/112790
* c-c++-common/analyzer/deref-before-check-pr112790.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/go')
0 files changed, 0 insertions, 0 deletions