diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-05-07 18:27:16 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-05-07 18:27:16 +0000 |
| commit | 7090d5465de7ca620da16211cf886edf1edc1f1f (patch) | |
| tree | 6e63bf21208f5d16e116a6bc69db59cd6783d6da /lib/Analysis/GRExprEngine.cpp | |
| parent | 6d507a6d96ea6379bc1df207abe26ad4cbe6563d (diff) | |
analyzer: Add ProgramPoint 'PostLValue' just to distinguish (for
analysis introspection) when we computed an lvalue. This shouldn't
effect the current analysis results in any way.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71169 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 26 |
1 files changed, 21 insertions, 5 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 0fabd35b0b..7054f3c0bb 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -963,7 +963,8 @@ void GRExprEngine::VisitDeclRefExpr(DeclRefExpr* Ex, NodeTy* Pred, NodeSet& Dst, SVal V = StateMgr.GetLValue(state, VD); if (asLValue) - MakeNode(Dst, Ex, Pred, BindExpr(state, Ex, V)); + MakeNode(Dst, Ex, Pred, BindExpr(state, Ex, V), + ProgramPoint::PostLValueKind); else EvalLoad(Dst, Ex, Pred, state, V); return; @@ -979,7 +980,8 @@ void GRExprEngine::VisitDeclRefExpr(DeclRefExpr* Ex, NodeTy* Pred, NodeSet& Dst, } else if (const FunctionDecl* FD = dyn_cast<FunctionDecl>(D)) { assert(asLValue); SVal V = ValMgr.getFunctionPointer(FD); - MakeNode(Dst, Ex, Pred, BindExpr(state, Ex, V)); + MakeNode(Dst, Ex, Pred, BindExpr(state, Ex, V), + ProgramPoint::PostLValueKind); return; } @@ -1016,7 +1018,8 @@ void GRExprEngine::VisitArraySubscriptExpr(ArraySubscriptExpr* A, NodeTy* Pred, GetSVal(state, Idx)); if (asLValue) - MakeNode(Dst, A, *I2, BindExpr(state, A, V)); + MakeNode(Dst, A, *I2, BindExpr(state, A, V), + ProgramPoint::PostLValueKind); else EvalLoad(Dst, A, *I2, state, V); } @@ -1047,7 +1050,8 @@ void GRExprEngine::VisitMemberExpr(MemberExpr* M, NodeTy* Pred, SVal L = StateMgr.GetLValue(state, GetSVal(state, Base), Field); if (asLValue) - MakeNode(Dst, M, *I, BindExpr(state, M, L)); + MakeNode(Dst, M, *I, BindExpr(state, M, L), + ProgramPoint::PostLValueKind); else EvalLoad(Dst, M, *I, state, L); } @@ -2464,7 +2468,8 @@ void GRExprEngine::VisitUnaryOperator(UnaryOperator* U, NodeTy* Pred, SVal location = GetSVal(state, Ex); if (asLValue) - MakeNode(Dst, U, *I, BindExpr(state, U, location)); + MakeNode(Dst, U, *I, BindExpr(state, U, location), + ProgramPoint::PostLValueKind); else EvalLoad(Dst, U, *I, state, location); } @@ -3241,6 +3246,17 @@ struct VISIBILITY_HIDDEN DOTGraphTraits<GRExprEngine::NodeTy*> : << "\\l"; } + if (isa<PostLoad>(Loc)) + Out << "\\lPostLoad\\l;"; + else if (isa<PostStore>(Loc)) + Out << "\\lPostStore\\l"; + else if (isa<PostLValue>(Loc)) + Out << "\\lPostLValue\\l"; + else if (isa<PostLocationChecksSucceed>(Loc)) + Out << "\\lPostLocationChecksSucceed\\l"; + else if (isa<PostNullCheckFailed>(Loc)) + Out << "\\lPostNullCheckFailed\\l"; + if (GraphPrintCheckerState->isImplicitNullDeref(N)) Out << "\\|Implicit-Null Dereference.\\l"; else if (GraphPrintCheckerState->isExplicitNullDeref(N)) |