From a2cca7dbdfeafcbaa3e0506297ec08c4f45ce56e Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Tue, 22 Apr 2008 05:37:33 +0000 Subject: Hardcode "Assert" as a no-return function (panic). llvm-svn: 50089 --- clang/lib/Analysis/GRExprEngine.cpp | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'clang/lib/Analysis/GRExprEngine.cpp') diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 677ef1cdc95..8a00d604ded 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/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; } } } -- cgit v1.2.3