diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-06-29 06:43:40 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-06-29 06:43:40 +0000 |
| commit | 4744d560b85c48bf305256412b0beac4345648c8 (patch) | |
| tree | d058e038144d10d99911f00138a00e54001d8be3 /clang/test/Analysis/array-struct.c | |
| parent | 25d710ee504144af3b01abf88def8ee0df994b37 (diff) | |
| download | llvm-4744d560b85c48bf305256412b0beac4345648c8.zip llvm-4744d560b85c48bf305256412b0beac4345648c8.tar.gz llvm-4744d560b85c48bf305256412b0beac4345648c8.tar.bz2 | |
Invalidate the alloca region by setting its default value to conjured symbol.
llvm-svn: 74419
Diffstat (limited to 'clang/test/Analysis/array-struct.c')
| -rw-r--r-- | clang/test/Analysis/array-struct.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/clang/test/Analysis/array-struct.c b/clang/test/Analysis/array-struct.c index 1303576..da7df4b 100644 --- a/clang/test/Analysis/array-struct.c +++ b/clang/test/Analysis/array-struct.c @@ -168,3 +168,15 @@ void f17() { 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 + } +} |