OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity

Check some cases for previous patch. Make the code more robust. 

llvm-svn: 57317
This commit is contained in:
Zhongxing Xu 2008-10-09 03:19:06 +00:00
parent 1207d31952
commit cc06b463f5
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
clang/lib/Analysis/GRExprEngine.cpp
View File

@ -1132,10 +1132,14 @@ 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)
if (CE->getNumArgs() > 0) {
RVal X = GetRVal(St, *CE->arg_begin());
// FIXME: use Assume to inspect the possible symbolic value of
// X. Also check the specific signature of error().
nonlval::ConcreteInt* CI = dyn_cast<nonlval::ConcreteInt>(&X);
if (CI && CI->getValue() != 0)
Builder->BuildSinks = true;
}
}
break;