From 49a2fd2758996b6f674babf19c75b3d01e77e2d4 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Mon, 14 Apr 2008 15:56:17 +0000 Subject: [PATCH] Added test case to dead stores checker. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@49647 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/dead-stores.c | 16 +++++++++++++--- 1 file 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}} +} -- 2.40.0