summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Make Malloc Checker optimistic in presence of inlining.Anna Zaks2012-02-141-2/+3
* Introduce basic ASTs for lambda expressions. This covers:Douglas Gregor2012-02-071-0/+1
* Reapply r149311 which I reverted by mistake.Argyrios Kyrtzidis2012-01-311-6/+1
* Revert r149311 which failed to compile.Argyrios Kyrtzidis2012-01-311-1/+6
* Convert ProgramStateRef to a smart pointer for managing the reference counts ...Ted Kremenek2012-01-311-6/+1
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-42/+42
* More dead code removal (using -Wunreachable-code)David Blaikie2012-01-201-3/+0
* Remove '#if 0' from ExprEngine::InlineCall(), and start fresh by wiring up in...Ted Kremenek2012-01-111-77/+0
* [analyzer] Remove CallEnterNodeBuilder and simplify ExprEngine::processCallEn...Ted Kremenek2012-01-071-1/+2
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-39/+65
* [analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks2012-01-041-22/+0
* [analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks2011-12-051-1/+2
* When analyzing a C++ method (without a specific caller), assume 'this' is non...Ted Kremenek2011-12-011-17/+34
* [static analyzer] be more specific when running removeDeadBindings. Instead ...Ted Kremenek2011-11-111-1/+1
* [static analyzer]: only call RemoveDeadBindings() when analyzing non-Expr stm...Ted Kremenek2011-11-101-1/+24
* Change the AST representation of operations on Objective-CJohn McCall2011-11-061-0/+15
* [analyzer] Make sink attribute part of the node profile.Anna Zaks2011-11-011-1/+1
* [analyzer] Make sure the child builder use temporary destination setsAnna Zaks2011-11-011-4/+6
* [analyzer] Move enqueueEndOfFunction into CoreEngine.Anna Zaks2011-10-271-30/+1
* [analyzer] Make CoreEngine responsible for enqueueing Stmt Nodes.Anna Zaks2011-10-271-61/+11
* [analyzer] GenericNodeBuilder -> NodeBuilder.Anna Zaks2011-10-261-11/+4
* [analyzer] Remove unused headers.Anna Zaks2011-10-251-1/+0
* [analyzer] Make branch for condition callback use CheckerContextAnna Zaks2011-10-251-8/+13
* [analyze] Convert EndOfPath callback to use CheckerContextAnna Zaks2011-10-251-3/+34
* Implement support for dependent Microsoft __if_exists/__if_not_existsDouglas Gregor2011-10-251-0/+1
* [analyzer] Node builders cleanup + commentsAnna Zaks2011-10-241-13/+13
* [analyzer] Completely remove the global Builder object.Anna Zaks2011-10-241-81/+53
* [analyzer] Remove more dependencies from global BuilderAnna Zaks2011-10-241-18/+9
* [analyzer] Convert ExprEngine::visit() to use short lived builders.Anna Zaks2011-10-241-93/+212
* [analyzer] Convert VisitDeclStmt to use local node builder.Anna Zaks2011-10-241-1/+1
* [analyzer] Convert more functions (ex:evalBind()) to iterative buildersAnna Zaks2011-10-241-2/+8
* [analyzer] Convert VisitUnaryOperator to use short lived Node buildersAnna Zaks2011-10-241-2/+6
* [analyzer] Use a temporary builder in CheckerContext.Anna Zaks2011-10-241-0/+3
* [analyzer] Pass external Dst set to NodeBuilderAnna Zaks2011-10-241-12/+7
* Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek2011-10-241-3/+3
* [analyzer] Remove LocationContext creation methods from AnalysisManager, and ...Ted Kremenek2011-10-231-0/+1
* [analyzer] Move predecessor into the NodeBuilder context.Anna Zaks2011-10-181-3/+3
* [analyzer] Make NodeBuilder and Pred node loosely coupledAnna Zaks2011-10-181-20/+23
* [analyzer] Remove dead code.Anna Zaks2011-10-181-1/+1
* [analyzer] Modularize builder use in processBranch.Anna Zaks2011-10-181-41/+48
* [analyzer] Pull Pred out of NodeBuilderContext.Anna Zaks2011-10-181-2/+3
* [analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder.Anna Zaks2011-10-181-7/+16
* Refactor static analyzer to use simpler interface to constant expression eval...Richard Smith2011-10-141-21/+9
* Initial implementation of __atomic_* (everything except __atomic_is_lock_free).Eli Friedman2011-10-111-0/+1
* [analyzer] Teach the static analyzer about CXXForRangeStmt. Patch by Jim Goo...Ted Kremenek2011-10-101-1/+1
* Provide basic static analyzer support for CXXTemporaryObjectExpr. Patch by J...Ted Kremenek2011-10-071-1/+1
* [analyzer] Add -analyzer-purge option which can take on multiple values, remo...Anna Zaks2011-09-301-1/+1
* 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-1/+1
* [analyzer] Remove TransferFuncs.h, then deal with the fallout.Jordy Rose2011-09-021-0/+1
OpenPOWER on IntegriCloud