From 55aea31ee3d35a05387b4eddb13c7b19408c8cf6 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Wed, 5 Mar 2008 22:59:42 +0000 Subject: [PATCH] Added transfer function support for __builtin_expect. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47971 91177308-0d34-0410-b5e6-96231b3b80d8 --- Analysis/GRExprEngine.cpp | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/Analysis/GRExprEngine.cpp b/Analysis/GRExprEngine.cpp index fa623a49e4..3b4b787d6a 100644 --- a/Analysis/GRExprEngine.cpp +++ b/Analysis/GRExprEngine.cpp @@ -517,8 +517,21 @@ void GRExprEngine::VisitCall(CallExpr* CE, NodeTy* Pred, IdentifierInfo* Info = cast(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) { -- 2.40.0