diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-01-23 11:22:12 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-01-23 11:22:12 +0000 |
| commit | e37f9afb2ea832ecbabf2513da899bf38273e6f2 (patch) | |
| tree | 9ce2dcae4782ed77adec561996e85f9de6994e39 /clang/test/Analysis/array-struct.c | |
| parent | 804f26a60a79ceb4b92fca44c519effb0b7956f4 (diff) | |
| download | llvm-e37f9afb2ea832ecbabf2513da899bf38273e6f2.zip llvm-e37f9afb2ea832ecbabf2513da899bf38273e6f2.tar.gz llvm-e37f9afb2ea832ecbabf2513da899bf38273e6f2.tar.bz2 | |
Implement retrieval of the default value of element and field regions.
llvm-svn: 62847
Diffstat (limited to 'clang/test/Analysis/array-struct.c')
| -rw-r--r-- | clang/test/Analysis/array-struct.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/clang/test/Analysis/array-struct.c b/clang/test/Analysis/array-struct.c index 326c288..a8de824 100644 --- a/clang/test/Analysis/array-struct.c +++ b/clang/test/Analysis/array-struct.c @@ -87,3 +87,11 @@ void f10() { char a1[4] = "abc"; char a3[6] = "abc"; } + +// Retrieve the default value of element/field region. +void f11() { + struct s a; + g(&a); + if (a.data == 0) // no-warning + a.data = 1; +} |