diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-05-20 09:00:16 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-05-20 09:00:16 +0000 |
| commit | 262fd03ee934bebfbbfaabc14744427dd2e7a231 (patch) | |
| tree | 42b225e62f5e99d4cb9235f435dec96a4a36981e /test/Analysis/array-struct.c | |
| parent | 5df0d426026b3820b5f0b13a8d4e60e9373d8d9d (diff) | |
* 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
Diffstat (limited to 'test/Analysis/array-struct.c')
| -rw-r--r-- | test/Analysis/array-struct.c | 1 |
1 files changed, 1 insertions, 0 deletions
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; |