| commit | a5971b3b18ee00f799c646644c7c04014b88fdcd | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Sep 29 03:34:03 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Sep 29 03:34:03 2009 +0000 |
| tree | 8702a3df777cdc7363137a7bb5126d24a157abac | |
| parent | 69cff4e5deec39396f355ad7976d34d3f306a37d [diff] |
Reapply most of r82939, but add a guard that FieldRegions and friends are only specially treated by RegionStore::InvalidateRegion() when their super region is also invalidated. When this isn't the case, conjure a new symbol for a FieldRegion. Thanks to Zhongxing Xu and Daniel Dunbar for pointing out this issue. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@83043 91177308-0d34-0410-b5e6-96231b3b80d8