diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2024-03-23 09:52:38 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2024-03-23 09:52:38 -0400 |
| commit | 80a0cb37456c49dbc25cca7cd554f78bc504373e (patch) | |
| tree | 94d28adaad6f7ece21869683d69e407b56cfacc9 /libgcc | |
| parent | 2e4b3374cb7af10e188bb5100526ad3150b9b272 (diff) | |
| download | gcc-80a0cb37456c49dbc25cca7cd554f78bc504373e.zip gcc-80a0cb37456c49dbc25cca7cd554f78bc504373e.tar.gz gcc-80a0cb37456c49dbc25cca7cd554f78bc504373e.tar.bz2 | |
analyzer: fix ICE and false positive with -Wanalyzer-deref-before-check [PR114408]
gcc/analyzer/ChangeLog:
PR analyzer/114408
* engine.cc (impl_run_checkers): Free up any dominance info that
we may have created.
* kf.cc (class kf_ubsan_handler): New.
(register_sanitizer_builtins): New.
(register_known_functions): Call register_sanitizer_builtins.
gcc/testsuite/ChangeLog:
PR analyzer/114408
* c-c++-common/analyzer/deref-before-check-pr114408.c: New test.
* c-c++-common/ubsan/analyzer-ice-pr114408.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions