llvm-project/clang/lib/StaticAnalyzer/Core
Jordan Rose e04395e2f4 [analyzer] When inlining, make sure we use the definition decl.
This was a regression introduced during the CallEvent changes; a call to
FunctionDecl::hasBody was also being used to replace the decl found by
lookup with the actual definition. To keep from making this mistake again
(particularly if/when we start inlining Objective-C methods), this commit
adds a "getDefinition()" method to CallEvent, which should do the right
thing under any circumstances.

llvm-svn: 159940
2012-07-09 16:54:49 +00:00
..
APSIntType.cpp [analyzer] Rework both constraint managers to handle mixed-type comparisons. 2012-05-08 03:27:16 +00:00
AnalysisManager.cpp Remove unused private member variables found by clang's new -Wunused-private-field. 2012-06-06 17:32:50 +00:00
BasicConstraintManager.cpp [analyzer] BasicConstraintManager: drop NE-constraints once we have a value. 2012-05-08 03:27:20 +00:00
BasicValueFactory.cpp Drop the ASTContext.h include from Stmt.h and fix up transitive users. 2012-07-04 17:04:04 +00:00
BlockCounter.cpp Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. 2011-08-12 23:37:29 +00:00
BugReporter.cpp Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we have significantly 2012-05-31 06:03:17 +00:00
BugReporterVisitors.cpp Refine analyzer diagnostics by adding an expression "cone-of-influence" to reverse track interesting 2012-05-02 00:31:29 +00:00
CMakeLists.txt Implement AST classes for comments, a real parser for Doxygen comments and a 2012-07-06 00:28:32 +00:00
Calls.cpp [analyzer] For now, don't inline non-static member overloaded operators. 2012-07-03 22:55:57 +00:00
Checker.cpp Reapply r149311 which I reverted by mistake. 2012-01-31 02:23:28 +00:00
CheckerContext.cpp Unify naming of LangOptions variable/get function across the Clang stack (Lex to AST). 2012-03-11 07:00:24 +00:00
CheckerHelpers.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
CheckerManager.cpp [analyzer] Add generic preCall and postCall checks. 2012-07-02 19:28:16 +00:00
CheckerRegistry.cpp Revert my patches which removed Diagnostic.h includes by moving some operator overloads out of line. 2012-02-07 22:29:24 +00:00
CoreEngine.cpp [analyzer] Add a test that we are, in fact, doing a DFS on the ExplodedGraph. 2012-06-29 00:33:10 +00:00
Environment.cpp Teach the analyzer about CXXScaleValueInitExpr. 2012-05-08 05:13:40 +00:00
ExplodedGraph.cpp [analyzer] Move the last bits of CallOrObjCMessage over to CallEvent. 2012-07-02 19:27:51 +00:00
ExprEngine.cpp Revert "Remove unused member (& consequently unused parameter) in SA's Call code." 2012-07-02 21:41:53 +00:00
ExprEngineC.cpp [analyzer] Add a comment: why we treat array compound literals as lvalues. 2012-06-18 21:31:27 +00:00
ExprEngineCXX.cpp [analyzer] Introduce CXXAllocatorCall to handle placement arg invalidation. 2012-07-02 22:21:47 +00:00
ExprEngineCallAndReturn.cpp [analyzer] When inlining, make sure we use the definition decl. 2012-07-09 16:54:49 +00:00
ExprEngineObjC.cpp [analyzer] Add generic preCall and postCall checks. 2012-07-02 19:28:16 +00:00
FunctionSummary.cpp [analyzer] Record the basic blocks covered by the analyzes run. 2012-04-03 02:05:47 +00:00
HTMLDiagnostics.cpp The Lexer constructor expects a source location at the start of the 2012-05-11 21:39:18 +00:00
Makefile
MemRegion.cpp [analyzer] Anti-aliasing: different heap allocations do not alias 2012-06-07 03:57:32 +00:00
PathDiagnostic.cpp [analyzer] Run remove dead bindings right before leaving a function. 2012-04-20 21:59:08 +00:00
PlistDiagnostics.cpp [analyzer] Add experimental "issue hash" to the plist diagnostic. 2012-06-08 00:04:43 +00:00
ProgramState.cpp [analyzer] Add a new abstraction over all types of calls: CallEvent 2012-07-02 19:27:35 +00:00
RangeConstraintManager.cpp [analyzer] Rework both constraint managers to handle mixed-type comparisons. 2012-05-08 03:27:16 +00:00
RegionStore.cpp [analyzer] Be careful about LazyCompoundVals, which may be for the first field. 2012-07-06 21:59:56 +00:00
SValBuilder.cpp Implement initial static analysis inlining support for C++ methods. 2012-06-22 23:55:50 +00:00
SVals.cpp [analyzer] Remove redundant if statement (pointed out by Ted). 2012-04-05 02:10:14 +00:00
SimpleConstraintManager.cpp [analyzer] Exit early if constraint solver is given a non-integer symbol 2012-05-10 21:49:52 +00:00
SimpleConstraintManager.h [analyzer] Rework both constraint managers to handle mixed-type comparisons. 2012-05-08 03:27:16 +00:00
SimpleSValBuilder.cpp [analyzer] Fixit for r158136. 2012-06-07 20:18:08 +00:00
Store.cpp [analyser] Factor out FindUniqueBinding from RetainCount checker. 2012-03-21 19:45:01 +00:00
SubEngine.cpp Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch 2011-12-20 02:48:34 +00:00
SymbolManager.cpp [analyzer] Add a complexity bound on history tracking. 2012-05-03 02:13:50 +00:00
TextPathDiagnostics.cpp Change PathDiagnosticPieces to be reference counted (simplifying their management), and introduce 'PathPieces' as a common container for PathDiagnosticPieces. 2012-02-08 04:32:34 +00:00