diff options
-rw-r--r-- | lib/Analysis/NullDerefChecker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Analysis/NullDerefChecker.cpp b/lib/Analysis/NullDerefChecker.cpp index 523507e156..ef7da61901 100644 --- a/lib/Analysis/NullDerefChecker.cpp +++ b/lib/Analysis/NullDerefChecker.cpp @@ -45,7 +45,7 @@ ExplodedNode *NullDerefChecker::CheckLocation(const Stmt *S, ExplodedNode *Pred, NullState = NullState->set<GRState::NullDerefTag>(PersistentLV); ExplodedNode *N = Builder.generateNode(S, NullState, Pred, - ProgramPoint::PostNullCheckFailedKind); + ProgramPoint::PostNullCheckFailedKind); if (N) { N->markAsSink(); |