| commit | cfcd7fd0de701c5ce05e96de1ed2d0bf8c7035d9 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Sep 09 20:36:12 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Sep 09 20:36:12 2009 +0000 |
| tree | 09d076f2264ed225907c005b2b0d0b4bb47dfaab | |
| parent | 0d36aa8c23776cde8819ff4d65b1f87507182a9f [diff] |
Implement: <rdar://problem/7185647> [RegionStore] 'self' cannot be NULL upon entry to a method Here we implement this as a precondition within GRExprEngine, even though it is related to how BasicStoreManager and RegionStoreManager model 'self' differently. Putting this as a high-level precondition is more general, which is why it isn't in RegionStore.cpp. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@81378 91177308-0d34-0410-b5e6-96231b3b80d8