From 262fd03ee934bebfbbfaabc14744427dd2e7a231 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Wed, 20 May 2009 09:00:16 +0000 Subject: * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because RegionStore needs to know the type of alloca region. * RegionStoreManager::EvalBinOp() now converts the alloca region to its first element region, as what is done to symbolic region. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72164 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/array-struct.c | 1 + 1 file changed, 1 insertion(+) (limited to 'test/Analysis/array-struct.c') diff --git a/test/Analysis/array-struct.c b/test/Analysis/array-struct.c index 318f92f907..17c0d46cd9 100644 --- a/test/Analysis/array-struct.c +++ b/test/Analysis/array-struct.c @@ -63,6 +63,7 @@ void f6() { char *p; p = __builtin_alloca(10); p[1] = 'a'; + p += 2; } struct s2; -- cgit v1.2.3-70-g09d2