intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-02-08 17:28:30 +08:00
Code Issues Packages Projects Releases Wiki Activity

Added transfer function support for __builtin_expect.

Browse Source 
llvm-svn: 47971
This commit is contained in:
Ted Kremenek
2008-03-05 22:59:42 +00:00
parent 9743b3913f
commit 4c38955dab
1 changed files with 15 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
clang/Analysis/GRExprEngine.cpp
View File

@@ -517,8 +517,21 @@ void GRExprEngine::VisitCall(CallExpr* CE, NodeTy* Pred,
IdentifierInfo* Info = cast<lval::FuncVal>(L).getDecl()->getIdentifier();
if (Info->getBuiltinID())
invalidateArgs = true;
if (unsigned id = Info->getBuiltinID()) {
switch (id) {
case Builtin::BI__builtin_expect: {
// For __builtin_expect, just return the value of the subexpression.
assert (CE->arg_begin() != CE->arg_end());
RVal X = GetRVal(St, *(CE->arg_begin()));
Nodify(Dst, CE, *DI, SetRVal(St, CE, X));
continue;
}
default:
invalidateArgs = true;
break;
}
}
}
if (invalidateArgs) {