summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp
Commit message (Expand)AuthorAgeFilesLines
* Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek2012-04-061-4/+4
* Handle symbolicating a reference in an initializer expression that we don't u...Ted Kremenek2012-04-051-1/+6
* Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie2012-03-111-1/+1
* Generate an AST for the conversion from a lambda closure type to aDouglas Gregor2012-02-221-0/+1
* Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek2012-02-171-9/+7
* Split reinterpret_casts of member pointers out from CK_BitCast; thisJohn McCall2012-02-151-0/+1
* Remove recusive expression visitation in ExprEngine::VisitIncrementDecrementO...Ted Kremenek2012-02-141-75/+70
* Remove recursive visitation in ExprEngine for UO_Not, UO_Minus, UO_LNot.Ted Kremenek2012-02-141-50/+39
* Remove recursive visitation in ExprEngine for UO_Deref, UO_AddrOf, and UO_Ext...Ted Kremenek2012-02-141-12/+7
* Remove ExprEngine recursive visitation of unary UO_Imag operation.Ted Kremenek2012-02-141-18/+10
* Further remove some recursive visitiation in ExprEngine that is no longer nee...Ted Kremenek2012-02-141-16/+10
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-19/+19
* Some improvements to the handling of C11 atomic types:David Chisnall2012-01-161-0/+5
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-49/+79
* Small refactoring and simplification of constant evaluation and some of itsRichard Smith2011-12-281-6/+4
* [analyzer] Simplify the condition.Anna Zaks2011-12-051-3/+1
* [analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks2011-12-051-5/+3
* [analyzer] First step toward removingAnna Zaks2011-12-051-2/+1
* [analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks2011-11-171-1/+2
* Rip out CK_GetObjCProperty.John McCall2011-11-071-4/+1
* Remove unused variables.Benjamin Kramer2011-11-041-2/+0
* [analyzer] Make sure the child builder use temporary destination setsAnna Zaks2011-11-011-2/+3
* Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it willRichard Smith2011-10-291-2/+2
* [analyzer] Remove unused headers.Anna Zaks2011-10-251-1/+0
* [analyzer] Node builders cleanup + commentsAnna Zaks2011-10-241-12/+12
* [analyzer] Completely remove the global Builder object.Anna Zaks2011-10-241-10/+10
* [analyzer] Convert ExprEngine::visit() to use short lived builders.Anna Zaks2011-10-241-49/+43
* [analyzer] Convert VisitDeclStmt to use local node builder.Anna Zaks2011-10-241-5/+12
* [analyzer] Convert more functions (ex:evalBind()) to iterative buildersAnna Zaks2011-10-241-13/+26
* [analyzer] Convert VisitUnaryOperator to use short lived Node buildersAnna Zaks2011-10-241-16/+25
* 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-4/+4
* Rename the ARC cast kinds to start with "ARC".John McCall2011-09-101-4/+4
* When converting a block pointer to an Objective-C pointer type, extendJohn McCall2011-09-101-1/+2
* Give conversions of block pointers to ObjC pointers a different cast kindJohn McCall2011-09-091-1/+2
* [analyzer] Remove the ProgramState argument from ExprEngine::evalBind; we wer...Jordy Rose2011-08-281-2/+1
* Fix regression in -Wuninitialized involving VLAs. It turns out that we were ...Ted Kremenek2011-08-231-23/+2
* [analyzer] Simplify ExprEngine::VisitBinaryOperator() by removing recursive v...Ted Kremenek2011-08-201-121/+113
* Start partitioning ExprEngine.cpp into separate .cpp files that handle differ...Ted Kremenek2011-08-201-0/+781
OpenPOWER on IntegriCloud