summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngine.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-1/+1
* [analyzer] Remove TransferFuncs.h, then deal with the fallout.Jordy Rose2011-09-021-0/+1
* [analyzer] Fix member initialization order. No functionality change.Jordy Rose2011-09-021-1/+1
* [analyzer] Move the knowledge of whether or not GC is enabled for the current...Jordy Rose2011-09-021-5/+2
* [analyzer] Introduce a new callback for checkers, printState, to be used for ...Jordy Rose2011-08-281-1/+5
* [analyzer] Remove the ProgramState argument from ExprEngine::evalBind; we wer...Jordy Rose2011-08-281-8/+4
* [analyzer] Eliminate almost all uses of TransferFuncs from ExprEngine.Jordy Rose2011-08-281-60/+20
* [analyzer] Change the check::RegionChanges callback to include the regions ex...Jordy Rose2011-08-271-3/+3
* Constify the result of CFGStmt::getStmt().Ted Kremenek2011-08-231-1/+1
* [analyzer] Move symbol death leak analysis from CFRefCount to RetainReleaseCh...Jordy Rose2011-08-231-0/+3
* [analyzer] Handle reads of ObjCPropertyRefExprs implicitly in Environment. N...Ted Kremenek2011-08-201-1/+2
* Start partitioning ExprEngine.cpp into separate .cpp files that handle differ...Ted Kremenek2011-08-201-1187/+10
* [analyzer] teach ExprEngine about loads from static C++ class fields. Fixes ...Ted Kremenek2011-08-161-1/+8
* [analyzer] add ExprEngine::getEagerlyAssumedTags() to allow externally queryi...Ted Kremenek2011-08-161-7/+17
* [analyzer] Remove PostStmtCustom ProgramPoint. It can be represented using t...Ted Kremenek2011-08-161-13/+9
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-74/+74
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-127/+127
* [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek2011-08-121-16/+27
* [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek2011-08-121-3/+4
* Cleanup: remove CleanedSate member and GetState() wrapper from StmtNodeBuilde...Anna Zaks2011-08-111-2/+2
* Cleanup: remove GetState() wrapper from ExprEngine, not needed as of r137273.Anna Zaks2011-08-101-49/+49
* Analyzer Core: In checkDeadSymbols checker callback, provide the state in whi...Anna Zaks2011-08-101-29/+56
* [analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to av...Ted Kremenek2011-08-061-16/+11
* [analyzer] Drastically simplify ExprEngine::VisitInitListExpr() by assuming a...Ted Kremenek2011-08-021-71/+16
* Remove dead code flagged by GCC's -Wunused-but-set-variable.Benjamin Kramer2011-07-311-7/+0
* [analyzer] Remove recursive visitation in ExprEngine::VisitDeclStmt because i...Ted Kremenek2011-07-291-18/+14
* [analyzer] Remove recursive visitation in ExprEngine::VisitCompoundLiteralExp...Ted Kremenek2011-07-291-12/+9
* [analyzer] Remove recursive visitation in ExprEngine::VisitCastExpr because i...Ted Kremenek2011-07-291-6/+7
* [analyzer] Remove recursive visitation in ExprEngine::VisitObjCForCollectionS...Ted Kremenek2011-07-291-34/+23
* [analyzer] Remove explicit argument processing from ExprEngine::VisitObjCMess...Ted Kremenek2011-07-291-70/+9
* [analyzer] Remove recursive visitation in ExprEngine::VisitLValObjCIvarRefExp...Ted Kremenek2011-07-291-15/+4
* [analyzer] tighten up ExprEngine::VisitObjCAtSynchronizationStmt().Ted Kremenek2011-07-291-10/+3
* [analyzer] Remove recursive visitation in ExprEngine::VisitObjCPropertyRefExp...Ted Kremenek2011-07-291-19/+1
* [analyzer] Remove recursive visitation in ExprEngine::VisitCallExpr because i...Ted Kremenek2011-07-291-21/+1
* [analyzer] Remove recursive visitation in ExprEngine::VisitMemberExpr because...Ted Kremenek2011-07-291-28/+22
* [analyzer] Remove recursive visitation in ExprEngine::VisitLvalArraySubscript...Ted Kremenek2011-07-291-15/+9
* [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek2011-07-281-1/+1
* [analyzer] fix handling of MaterializeTemporaryExpr by binding the result val...Ted Kremenek2011-07-281-1/+1
* Rename getInstantiationLineNumber to getExpansionLineNumber in bothChandler Carruth2011-07-251-2/+2
* Rename getInstantiationColumnNumber to getExpansionColumnNumber in bothChandler Carruth2011-07-251-2/+2
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-9/+6
* [analyzer] GNU __null is a pointer-sized integer, not a pointer. Fixes PR10372.Jordy Rose2011-07-151-1/+4
* Create a new expression node, SubstNonTypeTemplateParmExpr,John McCall2011-07-151-0/+1
* In ARC, reclaim all return values of retainable type, not just thoseJohn McCall2011-07-071-1/+2
* Introduce a new AST node describing reference binding to temporaries.Douglas Gregor2011-06-211-11/+13
* Automatic Reference Counting.John McCall2011-06-151-7/+40
* Add support for builtin astype:Tanya Lattner2011-06-041-0/+1
* static analyzer: when conservatively evaluating functions, don't invalidate t...Ted Kremenek2011-05-251-0/+21
* Fix regression in static analyzer's handling of prefix '--' operator. It was...Ted Kremenek2011-05-201-1/+1
OpenPOWER on IntegriCloud