llvm-project/clang/lib/Analysis
Zhongxing Xu 9103df1688 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so
do the symblic regions associated with them and we need them to be typed.

Current SymbolicRegion::getRValueType() method is very restricting. It may be
modified when we are more clear about what could be the types of symblic
regions.

BasicConstraintManager::Assume() is changed due to that now SymblicRegion is a
subclass of SubRegion.
 

llvm-svn: 63844
2009-02-05 06:57:29 +00:00
..
BasicConstraintManager.cpp Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so 2009-02-05 06:57:29 +00:00
BasicObjCFoundationChecks.cpp Overhaul BugReporter interface and implementation. The new interface cleans up 2009-02-04 23:49:09 +00:00
BasicObjCFoundationChecks.h Overhaul BugReporter interface and implementation. The new interface cleans up 2009-02-04 23:49:09 +00:00
BasicStore.cpp Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so 2009-02-05 06:57:29 +00:00
BasicValueFactory.cpp Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. 2008-12-05 02:27:51 +00:00
BugReporter.cpp Overhaul BugReporter interface and implementation. The new interface cleans up 2009-02-04 23:49:09 +00:00
CFRefCount.cpp Remove a bunch of obscene double-buffering of BugReports in the retain/release 2009-02-05 06:50:21 +00:00
CMakeLists.txt CMake: Builds and installs clang binary and libs (no docs yet). It 2008-10-26 00:56:18 +00:00
CheckDeadStores.cpp Rename Expr::isConstantExpr to Expr::isConstantInitializer; this more 2009-01-25 02:32:41 +00:00
CheckNSError.cpp Overhaul BugReporter interface and implementation. The new interface cleans up 2009-02-04 23:49:09 +00:00
CheckObjCDealloc.cpp 'self.myIvar = nil' (properties) only releases myIvar when the property has kind 'assign'. This fixes <rdar://problem/6380411>. 2008-12-08 21:44:15 +00:00
CheckObjCInstMethSignature.cpp Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of 2008-11-24 05:29:24 +00:00
CheckObjCUnusedIVars.cpp Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of 2008-11-24 05:29:24 +00:00
Environment.cpp Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. 2009-01-21 22:26:05 +00:00
ExplodedGraph.cpp Overhaul BugReporter interface and implementation. The new interface cleans up 2009-02-04 23:49:09 +00:00
GRBlockCounter.cpp Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. 2008-07-07 16:21:19 +00:00
GRCoreEngine.cpp Add new GRWorkList class that uses two queues: 2008-12-16 22:13:33 +00:00
GRExprEngine.cpp Overhaul BugReporter interface and implementation. The new interface cleans up 2009-02-04 23:49:09 +00:00
GRExprEngineInternalChecks.cpp Overhaul BugReporter interface and implementation. The new interface cleans up 2009-02-04 23:49:09 +00:00
GRSimpleVals.cpp Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. 2008-12-05 02:27:51 +00:00
GRSimpleVals.h Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conversions caused by the '!' operator. This required adding some logic to GRSimpleVals to reason about nonloc::LocAsInteger SVals. This code appears to work fine, but it should eventually be cleaned up. 2008-11-15 00:20:05 +00:00
GRState.cpp Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. 2009-01-21 22:26:05 +00:00
GRTransferFuncs.cpp Overhaul BugReporter interface and implementation. The new interface cleans up 2009-02-04 23:49:09 +00:00
LiveVariables.cpp Fix horrible non-termination bug in LiveVariables. The issue was that 2009-01-30 21:35:30 +00:00
Makefile Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
MemRegion.cpp Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so 2009-02-05 06:57:29 +00:00
NOTES.TXT Add some notes for SCA. 2008-11-03 06:04:23 +00:00
PathDiagnostic.cpp remove a dead enum 2008-11-22 20:47:38 +00:00
RegionStore.cpp Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so 2009-02-05 06:57:29 +00:00
SVals.cpp Fix a couple bugs: 2009-01-30 00:08:43 +00:00
SymbolManager.cpp SymbolReaper::isLive(SymbolRef) now always returns true for SymbolRegionRvalues because these represent the symbolic values for parameters/globals upon entry to the function. These values are always ;live' because they represent constraints on the context of how the function was called. This will be useful for both summary generation but is also necessary to get RegionStore's lazy-binding of locations to symbols to work in practice with RemoveDeadBindings. 2009-01-22 18:51:33 +00:00
UninitializedValues.cpp move library-specific diagnostic headers into library private dirs. Reduce 2009-01-29 05:15:15 +00:00