summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/CoreEngine.cpp
Commit message (Collapse)AuthorAgeFilesLines
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-844/+0
| | | | | | | Eventually there will also be a lib/StaticAnalyzer/Frontend that will handle initialization and checker registration. Yet another library to avoid cyclic dependencies between Core and Checkers. llvm-svn: 125124
* Rename 'HasGeneratedNode' to 'hasGeneratedNode'Ted Kremenek2011-01-131-6/+6
| | | | | | | | | and 'getBasePredecessor()' to 'getPredecessor()'. Also remove a unneeded save-and-restore of node builder's tag field. llvm-svn: 123363
* Rework ExprEngine::processCFGBlockEntrance()Ted Kremenek2011-01-111-6/+43
| | | | | | | | to use a node builder. This paves the way for Checkers to interpose (via a "visit" method) at the entrance to blocks. llvm-svn: 123217
* Remove several silly methods from ento::CoreEngineTed Kremenek2011-01-111-14/+12
| | | | | | that just forwarded to ento::SubEngine. llvm-svn: 123216
* Rename misc. methods in ento::Worklist to startTed Kremenek2011-01-111-29/+29
| | | | | | with lowercase letter. llvm-svn: 123212
* Rename misc. methods in GRSubEngine to startTed Kremenek2011-01-111-15/+15
| | | | | | with a lower-case letter. No functionality change. llvm-svn: 123211
* Chris Lattner has strong opinions about directoryTed Kremenek2010-12-231-0/+809
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