aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngineC.cpp
AgeCommit message (Expand)Author
2011-12-05[analyzer] Simplify the condition.Anna Zaks
2011-12-05[analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks
2011-12-05[analyzer] First step toward removingAnna Zaks
2011-11-17[analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks
2011-11-07Rip out CK_GetObjCProperty.John McCall
2011-11-04Remove unused variables.Benjamin Kramer
2011-11-01[analyzer] Make sure the child builder use temporary destination setsAnna Zaks
2011-10-29Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it willRichard Smith
2011-10-25[analyzer] Remove unused headers.Anna Zaks
2011-10-24[analyzer] Node builders cleanup + commentsAnna Zaks
2011-10-24[analyzer] Completely remove the global Builder object.Anna Zaks
2011-10-24[analyzer] Convert ExprEngine::visit() to use short lived builders.Anna Zaks
2011-10-24[analyzer] Convert VisitDeclStmt to use local node builder.Anna Zaks
2011-10-24[analyzer] Convert more functions (ex:evalBind()) to iterative buildersAnna Zaks
2011-10-24[analyzer] Convert VisitUnaryOperator to use short lived Node buildersAnna Zaks
2011-09-23Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie
2011-09-23Switch assert(0/false) llvm_unreachable.David Blaikie
2011-09-10Rename the ARC cast kinds to start with "ARC".John McCall
2011-09-10When converting a block pointer to an Objective-C pointer type, extendJohn McCall
2011-09-09Give conversions of block pointers to ObjC pointers a different cast kindJohn McCall
2011-08-28[analyzer] Remove the ProgramState argument from ExprEngine::evalBind; we wer...Jordy Rose
2011-08-23Fix regression in -Wuninitialized involving VLAs. It turns out that we were ...Ted Kremenek
2011-08-20[analyzer] Simplify ExprEngine::VisitBinaryOperator() by removing recursive v...Ted Kremenek
2011-08-20Start partitioning ExprEngine.cpp into separate .cpp files that handle differ...Ted Kremenek