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 | 60bf5f45f799f77440b52deb3fe3ddec52e0ffa0 (patch) | |
| tree | d196eb387a576769795809ff7e93161637cf0d78 /llvm/lib/Target/Sparc/SparcMachineFunctionInfo.cpp | |
| parent | 2832b4e8cb2da0a3d06646fb6b3d5d4a92b30364 (diff) | |
| download | bcm5719-llvm-60bf5f45f799f77440b52deb3fe3ddec52e0ffa0.tar.gz bcm5719-llvm-60bf5f45f799f77440b52deb3fe3ddec52e0ffa0.zip | |
[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).
llvm-svn: 178518
Diffstat (limited to 'llvm/lib/Target/Sparc/SparcMachineFunctionInfo.cpp')
0 files changed, 0 insertions, 0 deletions
