diff options
| author | Anna Zaks <ganna@apple.com> | 2013-04-02 01:28:24 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2013-04-02 01:28:24 +0000 |
| commit | 658a28479dd775f6ff2c07fa5699a7ea01e04127 (patch) | |
| tree | 93a35f855ff7b50375f72a32c25dc627a1acf3fc /lib/StaticAnalyzer/Checkers/UndefinedArraySubscriptChecker.cpp | |
| parent | 7959194fded7b2b1d37ead268d42c8ae6b10fe25 (diff) | |
[analyzer] Teach invalidateRegions that regions within LazyCompoundVal need to be invalidated
Refactor invalidateRegions to take SVals instead of Regions as input and teach RegionStore
about processing LazyCompoundVal as a top-level “escaping” value.
This addresses several false positives that get triggered by the NewDelete checker, but the
underlying issue is reproducible with other checkers as well (for example, MallocChecker).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@178518 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/UndefinedArraySubscriptChecker.cpp')
0 files changed, 0 insertions, 0 deletions