llvm-project/clang/lib/Analysis
Zhongxing Xu 803ade2532 Fix pr6035.
llvm-svn: 93422
2010-01-14 03:45:06 +00:00
..
AnalysisContext.cpp Add an unreachable code checker. 2010-01-13 02:59:54 +00:00
ArrayBoundChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
AttrNonNullChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
BasicConstraintManager.cpp Remove references to 'Checker' and 'GRTransferFuncs' from 2010-01-05 00:15:18 +00:00
BasicObjCFoundationChecks.cpp move a few more symbols to .rodata/.data.rel.ro 2009-12-23 17:49:57 +00:00
BasicObjCFoundationChecks.h Remove unneeded includes. 2009-11-28 09:41:31 +00:00
BasicStore.cpp Completely remove ObjCObjectRegion (tests pass this time). 2009-12-16 23:53:37 +00:00
BasicValueFactory.cpp Remove tabs, and whitespace cleanups. 2009-09-09 15:08:12 +00:00
BugReporter.cpp Teach 'ExecutionContinues' (part of BugReporter's diagnostic generation) about BlockDecls. 2009-12-04 20:34:31 +00:00
BugReporterVisitors.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
BuiltinFunctionChecker.cpp Refactor builtin function evaluation into a checker. 2009-12-08 09:07:59 +00:00
CFG.cpp Add CFG support for the initializer of the condition variable of a ForStmt. 2009-12-24 01:49:06 +00:00
CFRefCount.cpp Fix pasto. 2010-01-11 20:15:06 +00:00
CMakeLists.txt Refactor OSAtomic evaluation logic into OSAtomicChecker. 2009-12-09 12:23:28 +00:00
CallAndMessageChecker.cpp Hard bifurcate the state into nil receiver and non-nil receiver, so that 2009-12-02 05:49:12 +00:00
CallInliner.cpp As Ted suggested, record the callsite information with the StackFrameContext. 2009-12-24 03:34:38 +00:00
CastToStructChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
CheckDeadStores.cpp Suppress dead store warnings involving objects initialized with CXXExprTemporaries. 2009-12-23 04:11:44 +00:00
CheckObjCDealloc.cpp Port BugReporter and BugType to StringRef. 2009-11-29 18:27:55 +00:00
CheckObjCInstMethSignature.cpp Port BugReporter and BugType to StringRef. 2009-11-29 18:27:55 +00:00
CheckObjCUnusedIVars.cpp Port BugReporter and BugType to StringRef. 2009-11-29 18:27:55 +00:00
CheckSecuritySyntaxOnly.cpp Add security syntactic checker for mktemp. 2009-12-03 09:15:23 +00:00
CheckSizeofPointer.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
Checker.cpp Rename instance variable to avoid name conflict with parameters, and modify addTransition() to compare the correct state values. 2009-12-04 06:57:49 +00:00
DereferenceChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
DivZeroChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
Environment.cpp When binding an rvalue to a reference, create a temporary object. Use 2010-01-09 09:16:47 +00:00
ExplodedGraph.cpp Fix clang's use of DenseMap iterators after r86636 fixed their constness. 2009-11-10 01:17:45 +00:00
FixedAddressChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
GRBlockCounter.cpp Remove tabs, and whitespace cleanups. 2009-09-09 15:08:12 +00:00
GRCoreEngine.cpp For inter-procedural analysis, predecessor node may be in another function. 2009-12-23 08:54:57 +00:00
GRExprEngine.cpp Roll out ASTContext::getTypeSizeInChars(), replacing instances of 2010-01-11 17:06:35 +00:00
GRExprEngineExperimentalChecks.cpp Make FixedAddressChecker and experimental check; it currently produces a ton of false positives when analyzing some projects (e.g., Wine). 2009-11-21 17:55:24 +00:00
GRExprEngineExperimentalChecks.h Hook up Malloc checker. 2009-11-13 07:25:27 +00:00
GRExprEngineInternalChecks.h Refactor OSAtomic evaluation logic into OSAtomicChecker. 2009-12-09 12:23:28 +00:00
GRState.cpp Enhance ScanReachableSymbols::scan(). Now another OSAtomic test case passes. 2010-01-11 07:40:00 +00:00
LiveVariables.cpp Simplify code by using an equivalent template class. 2009-12-30 06:38:20 +00:00
Makefile Installation of Clang libraries and headers, from Axel Naumann! 2009-10-08 22:15:31 +00:00
MallocChecker.cpp Let constraint manager inform checkers that some assumption logic has happend. 2009-12-31 06:13:07 +00:00
ManagerRegistry.cpp After drinking caffeine, add the two files missing from the previous submit. 2009-11-11 19:43:37 +00:00
MemRegion.cpp Roll out ASTContext::getTypeSizeInChars(), replacing instances of 2010-01-11 17:06:35 +00:00
NSAutoreleasePoolChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
NSErrorChecker.cpp Port BugReporter and BugType to StringRef. 2009-11-29 18:27:55 +00:00
NoReturnFunctionChecker.cpp Teach NoReturnFunctionChecker that FunctionDecl::getIdentifier() is not guaranteed to return a non-null IdentifierInfo*. 2009-12-16 05:58:28 +00:00
OSAtomicChecker.cpp Switch RegionStore over to using <BaseRegion+raw offset> to store 2010-01-11 02:33:26 +00:00
PathDiagnostic.cpp Switch PathDiagnostic to StringRef. 2009-12-11 21:09:27 +00:00
PointerArithChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
PointerSubChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
PthreadLockChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
RangeConstraintManager.cpp Remove references to 'Checker' and 'GRTransferFuncs' from 2010-01-05 00:15:18 +00:00
RegionStore.cpp Switch RegionStore over to using <BaseRegion+raw offset> to store 2010-01-11 02:33:26 +00:00
ReturnPointerRangeChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
ReturnStackAddressChecker.cpp Fix broken diagnostic when returning the address of a stack-allocated array. 2010-01-09 20:05:00 +00:00
ReturnUndefChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
SVals.cpp Enhance SVals::getAsRegion: get the region that is converted to an integer. 2010-01-11 06:52:53 +00:00
SValuator.cpp Fix pr6035. 2010-01-14 03:45:06 +00:00
SimpleConstraintManager.cpp Remove references to 'Checker' and 'GRTransferFuncs' from 2010-01-05 00:15:18 +00:00
SimpleConstraintManager.h Remove references to 'Checker' and 'GRTransferFuncs' from 2010-01-05 00:15:18 +00:00
SimpleSValuator.cpp Switch RegionStore over to using <BaseRegion+raw offset> to store 2010-01-11 02:33:26 +00:00
Store.cpp Roll out ASTContext::getTypeSizeInChars(), replacing instances of 2010-01-11 17:06:35 +00:00
SymbolManager.cpp Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on captured block variables that are passed by reference 2009-12-14 22:15:06 +00:00
UndefBranchChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
UndefResultChecker.cpp Kill some unnecessary calls to c_str(). 2009-11-29 18:03:28 +00:00
UndefinedArraySubscriptChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
UndefinedAssignmentChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
UninitializedValues.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
VLASizeChecker.cpp lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace 2009-11-28 06:07:30 +00:00
ValueManager.cpp Add analysis support for blocks. This includes a few key changes: 2009-12-07 22:05:27 +00:00