aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngine.cpp
AgeCommit message (Expand)Author
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
2011-04-11Remove CK_DynamicToNull.Anders Carlsson
2011-04-10As a first step towards fixing PR9641, add a CK_DynamicToNull cast kind whichAnders Carlsson
2011-04-08Start overhauling static analyzer support for C++ constructors. The inlining...Ted Kremenek
2011-04-07Basic, untested implementation for an "unknown any" type requested by LLDB.John McCall
2011-04-04Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numero...Ted Kremenek
2011-04-02Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn...Ted Kremenek
2011-03-31Static analyzer: fix bug in handling of dynamic_cast<>. The sink node wouldn...Ted Kremenek
2011-03-30Begin reworking static analyzer support for C++ method calls. The current lo...Ted Kremenek
2011-03-12static analyzer: Handle 'ExprWithCleanups' in ExprEngine by essentially ignor...Ted Kremenek
2011-03-11Add support for the OpenCL vec_step operator, by generalising andPeter Collingbourne
2011-03-01Teach CFGBuilder to prune trivially unreachable case statements.Ted Kremenek