diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-04-14 15:56:17 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-04-14 15:56:17 +0000 |
commit | 16a8a3be41494279bb3cf932e641b2e0e896a3ff (patch) | |
tree | 5d346f5396cf2ca530eed625e62600e5e5a274d9 /clang/test | |
parent | 19bce7f18ca60f9e87e87f3e5be0e1bf3568183e (diff) | |
download | bcm5719-llvm-16a8a3be41494279bb3cf932e641b2e0e896a3ff.tar.gz bcm5719-llvm-16a8a3be41494279bb3cf932e641b2e0e896a3ff.zip |
Added test case to dead stores checker.
llvm-svn: 49647
Diffstat (limited to 'clang/test')
-rw-r--r-- | clang/test/Analysis/dead-stores.c | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/clang/test/Analysis/dead-stores.c b/clang/test/Analysis/dead-stores.c index 08507553f9d..338465a4e44 100644 --- a/clang/test/Analysis/dead-stores.c +++ b/clang/test/Analysis/dead-stores.c @@ -1,21 +1,31 @@ // RUN: clang -warn-dead-stores -verify %s -void x() { +void f1() { int k, y; int abc=1; long idx=abc+3*5; // expected-warning {{value stored to variable is never used}} } -void a(void *b) { +void f2(void *b) { char *c = (char*)b; // no-warning char *d = b+1; // expected-warning {{value stored to variable is never used}} printf("%s", c); } -void z() { +void f3() { int r; if ((r = f()) != 0) { // no-warning int y = r; // no-warning printf("the error is: %d\n", y); } } + +void f4(int k) { + + k = 1; + + if (k) + f1(); + + k = 2; // expected-warning {{value stored to variable is never used}} +} |