commit 658a28479dd775f6ff2c07fa5699a7ea01e04127
author Anna Zaks <ganna@apple.com> Tue Apr 02 01:28:24 2013 +0000
committer Anna Zaks <ganna@apple.com> Tue Apr 02 01:28:24 2013 +0000
tree 93a35f855ff7b50375f72a32c25dc627a1acf3fc
parent 7959194fded7b2b1d37ead268d42c8ae6b10fe25

[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