llvm-project/clang/lib/Analysis
Ted Kremenek 1ab188f48a Fix analyzer crash found when scanning Wine sources where the analyzer used old logic to determine the value of a switch 'case' label.
llvm-svn: 62395
2009-01-17 01:54:16 +00:00
..
BasicConstraintManager.cpp CF-retain/release checker: 2008-12-17 21:50:35 +00:00
BasicObjCFoundationChecks.cpp MemRegion: 2008-12-13 21:49:13 +00:00
BasicObjCFoundationChecks.h Change implementation of NSError** coding-style check to be invoked at the end of the retain/release analysis. 2008-09-18 21:25:13 +00:00
BasicStore.cpp Update some doxygen comments to be more rich. Remove StoreManager::GetRegionSVal. 2009-01-07 22:56:17 +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 more SourceLocation lexicon change: instead of referring to the 2009-01-16 07:36:28 +00:00
CFRefCount.cpp Fix PR 3337 [retain/release checker]: Handle FunctionDecl's declared using typedefs. 2009-01-16 18:40:33 +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 Dead stores checker: Don't flag dead stores for self-assignments (common escape hatch for 'unused variable' warnings). 2009-01-09 22:15:01 +00:00
CheckNSError.cpp Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of 2008-11-24 05:29:24 +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 remove unused var 2008-11-25 12:23:46 +00:00
ExplodedGraph.cpp Added "Auditor" interface for auditing the construction of ExplodedGraphs. 2008-08-27 01:56:11 +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 Fix analyzer crash found when scanning Wine sources where the analyzer used old logic to determine the value of a switch 'case' label. 2009-01-17 01:54:16 +00:00
GRExprEngineInternalChecks.cpp more SourceLocation lexicon change: instead of referring to the 2009-01-16 07:36:28 +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 Lazy bingding for region-store manager. 2008-12-20 06:32:12 +00:00
GRTransferFuncs.cpp 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
LiveVariables.cpp Change some terminology in SourceLocation: instead of referring to 2009-01-16 07:00:02 +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 StringRegion::print: Remove copy/paste code and just call Stmt::printPretty() for the StringLiteral. 2009-01-16 19:26:50 +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 add a fixme. 2009-01-13 03:07:41 +00:00
SVals.cpp Lazy bingding for region-store manager. 2008-12-20 06:32:12 +00:00
SymbolManager.cpp Fix some unused variable, control reaches end of non-void function, 2009-01-15 18:32:35 +00:00
UninitializedValues.cpp Flow-sensitive uninitialized values analysis: properly handle the 'element' expression of ObjCForCollectionStmt (can be anything). 2008-11-14 18:21:25 +00:00