Ted Kremenek f9906843b7 libAnalysis: ...

- Remove the 'isFeasible' flag from all uses of 'Assume'.
- Remove the 'Assume' methods from GRStateManager.  Now the only way to
  create a new GRState with an assumption is to use the new 'assume' methods
  in GRState.

llvm-svn: 73731

2009-06-18 22:57:13 +00:00

..

BasicConstraintManager.cpp

libAnalysis:

2009-06-18 22:57:13 +00:00

BasicObjCFoundationChecks.cpp

As discussed with Ted, rename TypedRegion::getObjectType() to

2009-05-09 03:57:34 +00:00

BasicObjCFoundationChecks.h

Overhaul BugReporter interface and implementation. The new interface cleans up

2009-02-04 23:49:09 +00:00

BasicStore.cpp

Start moving in the direction of removing GRStateRef. Now each

2009-06-17 22:02:04 +00:00

BasicValueFactory.cpp

analyzer infrastructure: make a bunch of changes to symbolic expressions that

2009-03-26 03:35:11 +00:00

BugReporter.cpp

Fix another bug in BugReporter where we wouldn't always select the bug report in a bug equivalence class with the shortest path.

2009-05-16 01:11:58 +00:00

CFRefCount.cpp

libAnalysis:

2009-06-18 22:57:13 +00:00

CheckDeadStores.cpp

Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>.

2009-06-18 16:11:24 +00:00

CheckNSError.cpp

Remove more uses of GRStateRef.

2009-06-17 22:28:13 +00:00

CheckObjCDealloc.cpp

Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>.

2009-06-18 16:11:24 +00:00

CheckObjCInstMethSignature.cpp

Eliminate the three SmallVectors in ObjCImplDecl (for instance

2009-04-23 01:02:12 +00:00

CheckObjCUnusedIVars.cpp

Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>.

2009-06-18 16:11:24 +00:00

CMakeLists.txt

Update CMake file.

2009-05-01 18:43:00 +00:00

Environment.cpp

Remove GRStateRef.

2009-06-18 01:33:24 +00:00

ExplodedGraph.cpp

Use the correct data structures!

2009-03-12 23:41:59 +00:00

GRBlockCounter.cpp

Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead.

2008-07-07 16:21:19 +00:00

GRCoreEngine.cpp

More hacking on autorelease errors. We now can emit basic errors (disabled for

2009-05-09 00:44:07 +00:00

GRExprEngine.cpp

libAnalysis:

2009-06-18 22:57:13 +00:00

GRExprEngineInternalChecks.cpp

libAnalysis:

2009-06-18 22:57:13 +00:00

GRSimpleVals.cpp

Do not invalidate unboundable regions in GRSimpleVals::EvalCall().

2009-06-16 06:18:21 +00:00

GRSimpleVals.h

* API change: we need to pass GRState to GRExprEngine::EvalBinOp() because

2009-05-20 09:00:16 +00:00

GRState.cpp

Remove GRStateRef.

2009-06-18 01:33:24 +00:00

GRTransferFuncs.cpp

analyzer infrastructure: make a bunch of changes to symbolic expressions that

2009-03-26 03:35:11 +00:00

LiveVariables.cpp

Remove hack from LiveVariables analysis where variables whose address are taken

2009-04-07 05:25:24 +00:00

Makefile

Build system changes to use TableGen to generate the various

2009-03-16 23:06:59 +00:00

MemRegion.cpp

Use canonical type for building ElementRegion. Otherwise ElementRegions cannot

2009-06-16 09:55:50 +00:00

PathDiagnostic.cpp

PathDiagnosticLocation::asRange(): for a PathDiagnosticLocation, the range of a DeclStmt is only the decl, not

2009-05-15 02:05:25 +00:00

RangeConstraintManager.cpp

libAnalysis:

2009-06-18 22:57:13 +00:00

RegionStore.cpp

When casting region, if we do not create an element region, record the cast-to

2009-06-18 06:29:10 +00:00

SimpleConstraintManager.cpp

libAnalysis:

2009-06-18 22:57:13 +00:00

SimpleConstraintManager.h

libAnalysis:

2009-06-18 22:57:13 +00:00

Store.cpp

Use canonical type for building ElementRegion. Otherwise ElementRegions cannot

2009-06-16 09:55:50 +00:00

SVals.cpp

When casting region, if we do not create an element region, record the cast-to

2009-06-18 06:29:10 +00:00

SymbolManager.cpp

Rename:

2009-05-09 04:08:27 +00:00

UninitializedValues.cpp

rename some methods.

2009-03-28 06:33:19 +00:00