From 16a8a3be41494279bb3cf932e641b2e0e896a3ff Mon Sep 17 00:00:00 2001
From: Ted Kremenek <kremenek@apple.com>
Date: Mon, 14 Apr 2008 15:56:17 +0000
Subject: [PATCH] Added test case to dead stores checker.

llvm-svn: 49647
---
 clang/test/Analysis/dead-stores.c | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/clang/test/Analysis/dead-stores.c b/clang/test/Analysis/dead-stores.c
index 08507553f9dc..338465a4e445 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}}
+}