From: Ted Kremenek <kremenek@apple.com>
Date: Mon, 14 Apr 2008 15:56:17 +0000 (+0000)
Subject: Added test case to dead stores checker.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=49a2fd2758996b6f674babf19c75b3d01e77e2d4;p=clang

Added test case to dead stores checker.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@49647 91177308-0d34-0410-b5e6-96231b3b80d8
---

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}}
+}