Added ziperr as a panic function. Eventually inter-procedural analysis

should catch this one easily.

llvm-svn: 50526
This commit is contained in:
Ted Kremenek 2008-05-01 15:55:59 +00:00
parent aec2b6e360
commit ed36e4b9a4
1 changed files with 5 additions and 0 deletions

View File

@ -1083,6 +1083,11 @@ void GRExprEngine::VisitCall(CallExpr* CE, NodeTy* Pred,
case 6:
if (!memcmp(s, "Assert", 6)) Builder->BuildSinks = true;
// FIXME: This is just a wrapper around throwing an exception.
// Eventually inter-procedural analysis should handle this easily.
if (!memcmp(s, "ziperr", 6)) Builder->BuildSinks = true;
break;
case 7: