commit b3021339ad59d06402e15a9127b69203e45c9c9b
author Ted Kremenek <kremenek@apple.com> Sun Nov 02 00:35:01 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Sun Nov 02 00:35:01 2008 +0000
tree dcf5e91403ed75995c6afb147d360e2cd4320b6d
parent 7090ae1a984eb446a5fb4da7b1f2573830653799

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

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index dc5f3fa..6162592 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -1241,6 +1241,16 @@
             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;
         }