]> granicus.if.org Git - clang/commitdiff
Added test case to dead stores checker.
authorTed Kremenek <kremenek@apple.com>
Mon, 14 Apr 2008 15:56:17 +0000 (15:56 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 14 Apr 2008 15:56:17 +0000 (15:56 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@49647 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/dead-stores.c

index 08507553f9dcddbbb30ee7ec452c75b00137b52d..338465a4e445fc883c3a34123a27da8096b472bf 100644 (file)
@@ -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}}
+}