summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers/AnalysisConsumer.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Split 'include/clang/StaticAnalyzer' into ↵Ted Kremenek2011-02-101-8/+8
| | | | | | | | 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. This layout matches lib/StaticAnalyzer, which corresponds to two StaticAnalyzer libraries. llvm-svn: 125251
* static analyzer: Further reduce the analyzer's memory usage when analyzing ↵Ted Kremenek2011-02-091-1/+2
| | | | | | | | | | | | sqlite3 by 7-10% by recylcing "uninteresting" ExplodedNodes. The optimization involves eagerly pruning ExplodedNodes from the ExplodedGraph that contain practically no difference between the predecessor and successor nodes. For example, if the state is different between a predecessor and a node, the node is left in. Only for the 'environment' component of the state do we not care if the ExplodedNodes are different. This paves the way for future optimizations where we can reclaim the environment objects. llvm-svn: 125154
* [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> ↵Argyrios Kyrtzidis2011-02-081-1/+1
| | | | | | lib/StaticAnalyzer/Checkers/ExperimentalChecks.h llvm-svn: 125122
* [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> ↵Argyrios Kyrtzidis2011-02-081-1/+1
| | | | | | lib/StaticAnalyzer/Checkers/InternalChecks.h llvm-svn: 125121
* [analyzer] Enable the self-init checker under command-line option ↵Argyrios Kyrtzidis2011-01-261-0/+3
| | | | | | | | '-analyzer-check-objc-self-init' which by default is enabled by the driver for '--analyze'. llvm-svn: 124266
* Enhance AnalysisConsumer to also visit functionsTed Kremenek2011-01-201-39/+47
| | | | | | and methods defined within 'namespace X { ... }'. llvm-svn: 123921
* Revert r123160. There are linking dependency problems.Zhongxing Xu2011-01-101-0/+610
| | | | llvm-svn: 123166
* ExprEngine.cpp and AnalysisConsumer.cpp should not be in the Checkers directory.Zhongxing Xu2011-01-101-610/+0
| | | | llvm-svn: 123160
* Chris Lattner has strong opinions about directoryTed Kremenek2010-12-231-0/+610
layout. :) Rename the 'EntoSA' directories to 'StaticAnalyzer'. Internally we will still use the 'ento' namespace for the analyzer engine (unless there are further sabre rattlings...). llvm-svn: 122514
OpenPOWER on IntegriCloud