summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* [Analyser] Remove unnecessary recursive visits for ExprWithCleanups andErik Verbruggen2012-03-141-24/+15
* Remove BlockDeclRefExpr and introduce a bit on DeclRefExpr toJohn McCall2012-03-101-8/+0
* [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek2012-03-101-4/+16
* [analyzer] Add support for NoRedundancy inlining mode.Anna Zaks2012-03-091-2/+3
* AST representation for user-defined literals, plus just enough of semanticRichard Smith2012-03-071-1/+2
* Add static analyzer support for new NSArray/NSDictionary/NSNumber literals.Ted Kremenek2012-03-061-0/+36
* Remove a recursive visitation in ExprEngine that is no longer needed because ...Erik Verbruggen2012-03-041-53/+15
* Teach the analyzer to just ignore CXXBindTemporaryExpr. There's nothing spec...Ted Kremenek2012-03-011-1/+1
* [analyzer] Stats: Add the stats about remove dead bindings, correct theAnna Zaks2012-02-281-0/+11
* [analyzer] Don't generate an explicit ExplodedNode for StringLiterals; have t...Ted Kremenek2012-02-271-9/+2
* [analyzer] Run remove dead bindings before each call.Anna Zaks2012-02-241-1/+5
* Implement a new type trait __is_trivially_constructible(T, Args...)Douglas Gregor2012-02-241-0/+1
* Adopt ExprEngine and checkers to ObjC property refactoring. Everything was w...Ted Kremenek2012-02-181-8/+26
* Add checker visitation hooks in ExprEngine::Visit() for common no-op expressi...Ted Kremenek2012-02-161-2/+7
* Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine....Ted Kremenek2012-02-161-1/+4
* Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also h...Ted Kremenek2012-02-161-4/+1
* [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
OpenPOWER on IntegriCloud