diff options
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 677ef1cdc9..8a00d604de 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -882,6 +882,10 @@ void GRExprEngine::VisitCall(CallExpr* CE, NodeTy* Pred, case 5: if (!memcmp(s, "panic", 5)) Builder->BuildSinks = true; break; + + case 6: + if (!memcmp(s, "Assert", 6)) Builder->BuildSinks = true; + break; } } } |