* 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.

llvm-svn: 72164

1 files changed, 1 insertions, 0 deletions

diff --git a/clang/test/Analysis/array-struct.c b/clang/test/Analysis/array-struct.c
index 318f92f..17c0d46 100644
--- a/clang/test/Analysis/array-struct.c
+++ b/clang/test/Analysis/array-struct.c
@@ -63,6 +63,7 @@ void f6() {
   char *p;
   p = __builtin_alloca(10); 
   p[1] = 'a';
+  p += 2;
 }
 
 struct s2;