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 | 49a2fd2758996b6f674babf19c75b3d01e77e2d4 (patch) | |
tree | a0470becf3d2d8d6d0ee6dc50e80a63a91de6d75 | |
parent | 1102d6bd49ad7a2b84b69473b039ca3e2e45be3d (diff) |
Added test case to dead stores checker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@49647 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | test/Analysis/dead-stores.c | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/test/Analysis/dead-stores.c b/test/Analysis/dead-stores.c index 08507553f9..338465a4e4 100644 --- a/test/Analysis/dead-stores.c +++ b/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}} +} |