diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-01-05 20:54:50 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-01-05 20:54:50 -0500 |
| commit | ac3966e315ada63eb379d560a012fa77c3909155 (patch) | |
| tree | 0a12bca0d543f8bcd8b12e8ea831ba644af08f9a /gcc/tree-vectorizer.c | |
| parent | 23fc2be633c61f24a4fbd4096c669e7147ca44ae (diff) | |
| download | gcc-ac3966e315ada63eb379d560a012fa77c3909155.zip gcc-ac3966e315ada63eb379d560a012fa77c3909155.tar.gz gcc-ac3966e315ada63eb379d560a012fa77c3909155.tar.bz2 | |
analyzer: fix false leaks when writing through unknown ptrs [PR97072]
gcc/analyzer/ChangeLog:
PR analyzer/97072
* region-model-reachability.cc (reachable_regions::init_cluster):
Convert symbolic region handling to a switch statement. Add cases
to handle SK_UNKNOWN and SK_CONJURED.
gcc/testsuite/ChangeLog:
PR analyzer/97072
* gcc.dg/analyzer/pr97072.c: New test.
Diffstat (limited to 'gcc/tree-vectorizer.c')
0 files changed, 0 insertions, 0 deletions