diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-09-09 20:36:12 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-09-09 20:36:12 +0000 |
| commit | 84c6f0a1e6a951276fde603431b7917d43cee089 (patch) | |
| tree | 7e4fa2c03a098ed3dc03c1d3ee0fe56fe3227bc1 /llvm/lib/Support/MemoryObject.cpp | |
| parent | 716a8c92d0a9b241aa84fd8884892c6565810436 (diff) | |
| download | llvm-84c6f0a1e6a951276fde603431b7917d43cee089.zip llvm-84c6f0a1e6a951276fde603431b7917d43cee089.tar.gz llvm-84c6f0a1e6a951276fde603431b7917d43cee089.tar.bz2 | |
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.
llvm-svn: 81378
Diffstat (limited to 'llvm/lib/Support/MemoryObject.cpp')
0 files changed, 0 insertions, 0 deletions