aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngine.cpp
AgeCommit message (Expand)Author
2011-08-23[analyzer] Move symbol death leak analysis from CFRefCount to RetainReleaseCh...Jordy Rose
2011-08-20[analyzer] Handle reads of ObjCPropertyRefExprs implicitly in Environment. N...Ted Kremenek
2011-08-20Start partitioning ExprEngine.cpp into separate .cpp files that handle differ...Ted Kremenek
2011-08-16[analyzer] teach ExprEngine about loads from static C++ class fields. Fixes ...Ted Kremenek
2011-08-16[analyzer] add ExprEngine::getEagerlyAssumedTags() to allow externally queryi...Ted Kremenek
2011-08-16[analyzer] Remove PostStmtCustom ProgramPoint. It can be represented using t...Ted Kremenek
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12[analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek
2011-08-12[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek
2011-08-11Cleanup: remove CleanedSate member and GetState() wrapper from StmtNodeBuilde...Anna Zaks
2011-08-10Cleanup: remove GetState() wrapper from ExprEngine, not needed as of r137273.Anna Zaks
2011-08-10Analyzer Core: In checkDeadSymbols checker callback, provide the state in whi...Anna Zaks
2011-08-06[analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to av...Ted Kremenek
2011-08-02[analyzer] Drastically simplify ExprEngine::VisitInitListExpr() by assuming a...Ted Kremenek
2011-07-31Remove dead code flagged by GCC's -Wunused-but-set-variable.Benjamin Kramer
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitDeclStmt because i...Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitCompoundLiteralExp...Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitCastExpr because i...Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitObjCForCollectionS...Ted Kremenek
2011-07-29[analyzer] Remove explicit argument processing from ExprEngine::VisitObjCMess...Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitLValObjCIvarRefExp...Ted Kremenek
2011-07-29[analyzer] tighten up ExprEngine::VisitObjCAtSynchronizationStmt().Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitObjCPropertyRefExp...Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitCallExpr because i...Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitMemberExpr because...Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitLvalArraySubscript...Ted Kremenek
2011-07-28[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek
2011-07-28[analyzer] fix handling of MaterializeTemporaryExpr by binding the result val...Ted Kremenek
2011-07-25Rename getInstantiationLineNumber to getExpansionLineNumber in bothChandler Carruth
2011-07-25Rename getInstantiationColumnNumber to getExpansionColumnNumber in bothChandler Carruth
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-07-15[analyzer] GNU __null is a pointer-sized integer, not a pointer. Fixes PR10372.Jordy Rose
2011-07-15Create a new expression node, SubstNonTypeTemplateParmExpr,John McCall
2011-07-07In ARC, reclaim all return values of retainable type, not just thoseJohn McCall
2011-06-21Introduce a new AST node describing reference binding to temporaries.Douglas Gregor
2011-06-15Automatic Reference Counting.John McCall
2011-06-04Add support for builtin astype:Tanya Lattner
2011-05-25static analyzer: when conservatively evaluating functions, don't invalidate t...Ted Kremenek
2011-05-20Fix regression in static analyzer's handling of prefix '--' operator. It was...Ted Kremenek
2011-05-20Introduce Type::isSignedIntegerOrEnumerationType() andDouglas Gregor
2011-05-02Augment retain/release checker to not warn about tracked objects passed as ar...Ted Kremenek
2011-04-28Parsing/AST support for Structured Exception HandlingJohn Wiegley
2011-04-28Implementation of Embarcadero array type traitsJohn Wiegley
2011-04-25t/clang/expr-traitsJohn Wiegley
2011-04-22Add static analyzer support for C++'0X nullptr. Patch by Jim Goodnow II.Ted Kremenek
2011-04-15C1X: implement generic selectionsPeter Collingbourne
2011-04-14Add support for C++0x's range-based for loops, as specified by the C++11 draf...Richard Smith
2011-04-12After some discussion with Doug, we decided that it made a lot more senseJohn McCall
2011-04-11More __unknown_anytype work.John McCall