llvm-project/clang/lib/StaticAnalyzer/Core
Ted Kremenek f9e9d33019 [analyzer diagnostics] Change CompactPathDiagnostic to recursively compact diagnostics in calls into macro pieces.
Also fix handling of macros within calls in the HTMLDiagnostics.

This also adds a test case for r151774.

llvm-svn: 151872
2012-03-02 01:27:31 +00:00
..
AggExprVisitor.cpp Switch assert(0/false) llvm_unreachable. 2011-09-23 05:06:16 +00:00
AnalysisManager.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
BasicConstraintManager.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
BasicValueFactory.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
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 [analyzer diagnostics] Change CompactPathDiagnostic to recursively compact diagnostics in calls into macro pieces. 2012-03-02 01:27:31 +00:00
BugReporterVisitors.cpp [analyzer diagnostics] start prototyping stripping PathDiagnostics of unnecessary cruft caused by path inlining. 2012-02-28 23:06:21 +00:00
CMakeLists.txt Update the CMake build for r146959's new files. 2011-12-20 08:42:15 +00:00
Checker.cpp Reapply r149311 which I reverted by mistake. 2012-01-31 02:23:28 +00:00
CheckerContext.cpp [analyzer] Generalize function name checking in CString checker. 2012-02-17 22:35:26 +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 Adopt ExprEngine and checkers to ObjC property refactoring. Everything was working, but now diagnostics are aware of message expressions implied by uses of properties. Fixes <rdar://problem/9241180>. 2012-02-18 20:53:30 +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 Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also have it based on adding predecessors/successors, not node allocation. No measurable performance change." 2012-02-16 20:48:04 +00:00
Environment.cpp [analyzer] teach analyzer about ObjC literals, thus trimming out a false positive with the malloc() checker involving 2012-02-28 00:56:05 +00:00
ExplodedGraph.cpp Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also have it based on adding predecessors/successors, not node allocation. No measurable performance change." 2012-02-16 20:48:04 +00:00
ExprEngine.cpp Teach the analyzer to just ignore CXXBindTemporaryExpr. There's nothing special to do with it, since destructors are represented explicitly in the CFG. 2012-03-01 23:06:04 +00:00
ExprEngineC.cpp Generate an AST for the conversion from a lambda closure type to a 2012-02-22 05:02:47 +00:00
ExprEngineCXX.cpp Remove a recursive visitiation in ExprEngine that is no longer needed 2012-02-29 08:42:57 +00:00
ExprEngineCallAndReturn.cpp Move llvm/ADT/SaveAndRestore.h -> llvm/Support/SaveAndRestore.h. 2012-03-01 19:45:56 +00:00
ExprEngineObjC.cpp Adopt ExprEngine and checkers to ObjC property refactoring. Everything was working, but now diagnostics are aware of message expressions implied by uses of properties. Fixes <rdar://problem/9241180>. 2012-02-18 20:53:30 +00:00
HTMLDiagnostics.cpp [analyzer diagnostics] Change CompactPathDiagnostic to recursively compact diagnostics in calls into macro pieces. 2012-03-02 01:27:31 +00:00
Makefile
MemRegion.cpp [analyzer] teach analyzer about ObjC literals, thus trimming out a false positive with the malloc() checker involving 2012-02-28 00:56:05 +00:00
ObjCMessage.cpp Adopt ExprEngine and checkers to ObjC property refactoring. Everything was working, but now diagnostics are aware of message expressions implied by uses of properties. Fixes <rdar://problem/9241180>. 2012-02-18 20:53:30 +00:00
PathDiagnostic.cpp [analyzer] when scanning FIDs in a PathDiagnostic, correctly recurse calls and macros. 2012-02-29 23:59:20 +00:00
PlistDiagnostics.cpp [analyzer] when scanning FIDs in a PathDiagnostic, correctly recurse calls and macros. 2012-02-29 23:59:20 +00:00
ProgramState.cpp Have ScanReachableSymbols reported reachable regions. Fixes a false positive with nested array literals. <rdar://problem/10686586> 2012-02-21 00:46:29 +00:00
RangeConstraintManager.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
RegionStore.cpp Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once. 2012-02-17 23:13:45 +00:00
SValBuilder.cpp Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once. 2012-02-17 23:13:45 +00:00
SVals.cpp Remove unnecessary default cases in switches over enums. 2012-01-17 02:30:50 +00:00
SimpleConstraintManager.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
SimpleConstraintManager.h Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
SimpleSValBuilder.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
Store.cpp [analyzer] teach analyzer about ObjC literals, thus trimming out a false positive with the malloc() checker involving 2012-02-28 00:56:05 +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 Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once. 2012-02-17 23:13:45 +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