diff options
| -rw-r--r-- | test/Analysis/uninit-vals-ps.c | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/Analysis/uninit-vals-ps.c b/test/Analysis/uninit-vals-ps.c index 707f78a96b..c4c02af55d 100644 --- a/test/Analysis/uninit-vals-ps.c +++ b/test/Analysis/uninit-vals-ps.c @@ -41,3 +41,21 @@ int f3(void) { else return 1; } + +// RUN: clang -checker-simple -analyzer-store-region -verify %s + +struct s { + int data; +}; + +struct s global; + +void g(int); + +void f4() { + int a; + if (global.data == 0) + a = 3; + if (global.data == 0) + g(a); // no-warning +} |