Ted Kremenek 84c6f0a1e6 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

2009-09-09 20:36:12 +00:00

..

AnalysisContext.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

AnalysisManager.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

BasicConstraintManager.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

BasicObjCFoundationChecks.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

BasicObjCFoundationChecks.h

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

BasicStore.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

BasicValueFactory.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

BugReporter.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

BugReporterVisitors.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

CallGraph.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

CFG.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

CFRefCount.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

CheckDeadStores.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

CheckNSError.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

CheckObjCDealloc.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

CheckObjCInstMethSignature.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

CheckObjCUnusedIVars.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

CheckSecuritySyntaxOnly.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

CMakeLists.txt

fix cmake build

2009-07-30 10:38:43 +00:00

Environment.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

ExplodedGraph.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

GRBlockCounter.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

GRCoreEngine.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

GRExprEngine.cpp

Implement: <rdar://problem/7185647> [RegionStore] 'self' cannot be NULL upon entry to a method

2009-09-09 20:36:12 +00:00

GRExprEngineInternalChecks.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

GRState.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

LiveVariables.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

Makefile

Don't install Clang libraries.

2009-08-23 05:02:18 +00:00

MemRegion.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

PathDiagnostic.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

RangeConstraintManager.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

RegionStore.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

SimpleConstraintManager.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

SimpleConstraintManager.h

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

SimpleSValuator.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

Store.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

SVals.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

SValuator.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

SymbolManager.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

UninitializedValues.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

ValueManager.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00