commit | a03f157f154d0013e9c3eee261062959371aa868 | [log] [tgz] |
---|---|---|
author | Zhongxing Xu <xuzhongxing@gmail.com> | Mon Jun 29 06:43:40 2009 +0000 |
committer | Zhongxing Xu <xuzhongxing@gmail.com> | Mon Jun 29 06:43:40 2009 +0000 |
tree | 35258b71aa8db526183b2f2e169b9fc69b2ed778 | |
parent | f0f0605c87739c906861f73d4287798a4969b1e0 [diff] |
Invalidate the alloca region by setting its default value to conjured symbol. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74419 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/Analysis/array-struct.c b/test/Analysis/array-struct.c index 1303576..da7df4b 100644 --- a/test/Analysis/array-struct.c +++ b/test/Analysis/array-struct.c
@@ -168,3 +168,15 @@ if (t.e.d) x = 1; } + +void read(char*); + +void f18() { + char *q; + char *p = (char *) __builtin_alloca(10); + read(p); + q = p; + q++; + if (*q) { // no-warning + } +}