diff options
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index aa5ab6af7f..8d6fea7f7c 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -1010,10 +1010,15 @@ const GRState* GRExprEngine::EvalLocation(Expr* Ex, NodeTy* Pred, // "Assume" that the pointer is NULL. bool isFeasibleNull = false; - const GRState* StNull = Assume(St, LV, false, isFeasibleNull); + GRStateRef StNull = GRStateRef(Assume(St, LV, false, isFeasibleNull), + getStateManager()); if (isFeasibleNull) { + // Use the Generic Data Map to mark in the state what lval was null. + const RVal* PersistentLV = getBasicVals().getPersistentRVal(LV); + StNull = StNull.set<GRState::NullDerefTag>(PersistentLV); + // We don't use "MakeNode" here because the node will be a sink // and we have no intention of processing it later. |