[cfe-commits] r49647 - /cfe/trunk/test/Analysis/dead-stores.c

[Ted Kremenek]

Author: kremenek
Date: Mon Apr 14 10:56:17 2008
New Revision: 49647

URL: http://llvm.org/viewvc/llvm-project?rev=49647&view=rev
Log:
Added test case to dead stores checker.

Modified:
    cfe/trunk/test/Analysis/dead-stores.c

Modified: cfe/trunk/test/Analysis/dead-stores.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/dead-stores.c?rev=49647&r1=49646&r2=49647&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/dead-stores.c (original)
+++ cfe/trunk/test/Analysis/dead-stores.c Mon Apr 14 10:56:17 2008
@@ -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}}
+}