From b3021339ad59d06402e15a9127b69203e45c9c9b Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Sun, 2 Nov 2008 00:35:01 +0000 Subject: [PATCH] Add transfer function logic for alloca(). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58552 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/GRExprEngine.cpp | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index dc5f3faa20..6162592437 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -1241,6 +1241,16 @@ void GRExprEngine::VisitCallRec(CallExpr* CE, NodeTy* Pred, continue; } + case Builtin::BI__builtin_alloca: { + // FIXME: Handle size. + // FIXME: Refactor into StoreManager itself? + MemRegionManager& RM = getStateManager().getRegionManager(); + const MemRegion* R = + RM.getAllocaRegion(CE, Builder->getCurrentBlockCount()); + MakeNode(Dst, CE, *DI, BindExpr(St, CE, loc::MemRegionVal(R))); + continue; + } + default: break; } -- 2.40.0