summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie2011-09-231-1/+0
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-231-2/+2
* [analyzer] Remove lingering CFRefCount creation, which would have resulted in...Jordy Rose2011-09-021-12/+3
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-33/+39
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-44/+44
* [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek2011-08-121-6/+9
* Cleanup: remove CleanedSate member and GetState() wrapper from StmtNodeBuilde...Anna Zaks2011-08-111-1/+0
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-9/+6
* Simplify passing of CFGBuildOptions around for AnalysisContext. No functiona...Ted Kremenek2011-07-211-3/+5
* Remove unused STL header includes.Jay Foad2011-04-231-2/+0
* static analyzer: Add a new ProgramPoint PostCondition to represent the post p...Ted Kremenek2011-04-031-0/+19
* static analyzer: Rename 'BlocksAborted' to 'BlocksExhausted' to reflect that ...Ted Kremenek2011-04-021-1/+1
* [analyzer] Refactor EndOfFunctionNodeBuilder.Argyrios Kyrtzidis2011-02-231-3/+4
* Change the representation of GNU ?: expressions to use a different expressionJohn McCall2011-02-171-1/+3
* [analyzer] Overhauling of the checker registration mechanism.Argyrios Kyrtzidis2011-02-141-0/+1
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-3/+3
* static analyzer: Further reduce the analyzer's memory usage when analyzing sq...Ted Kremenek2011-02-091-1/+2
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-0/+844
OpenPOWER on IntegriCloud