diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-06-21 13:24:24 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-06-21 13:24:24 +0000 |
| commit | 540c009fbe9567c008e0bfbcdb0f4f0f5b3a07f7 (patch) | |
| tree | a8264d8fb42604a5f7ef0fc251357dbc82d97d7b /clang/test/Analysis/fields.c | |
| parent | 6ead59f8ed787d98c623222e8feb5cbc6a80dc1e (diff) | |
| download | bcm5719-llvm-540c009fbe9567c008e0bfbcdb0f4f0f5b3a07f7.tar.gz bcm5719-llvm-540c009fbe9567c008e0bfbcdb0f4f0f5b3a07f7.zip | |
Return UnknownVal for pointer arithmetic on struct fields.
llvm-svn: 73851
Diffstat (limited to 'clang/test/Analysis/fields.c')
| -rw-r--r-- | clang/test/Analysis/fields.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/clang/test/Analysis/fields.c b/clang/test/Analysis/fields.c index c012a9da7b8..900a6d6869a 100644 --- a/clang/test/Analysis/fields.c +++ b/clang/test/Analysis/fields.c @@ -8,3 +8,12 @@ void bar() { *(unsigned*)&y = foo(); y.x = 1; } + +struct s { + int n; +}; + +void f() { + struct s a; + int *p = &(a.n) + 1; +} |
