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