Added a function call case that generates sink nodes.

llvm-svn: 57240
This commit is contained in:
Zhongxing Xu 2008-10-07 10:06:03 +00:00
parent eefa7dfcd3
commit de7509f01a
1 changed files with 6 additions and 0 deletions

View File

@ -1131,6 +1131,12 @@ void GRExprEngine::VisitCall(CallExpr* CE, NodeTy* Pred,
case 5:
if (!memcmp(s, "panic", 5)) Builder->BuildSinks = true;
else if (!memcmp(s, "error", 5)) {
Expr* Arg = *CE->arg_begin();
if (IntegerLiteral* IL = dyn_cast<IntegerLiteral>(Arg))
if (IL->getValue() != 0)
Builder->BuildSinks = true;
}
break;
case 6: