Added test case for dead stores checker (live variables analysis) that tests

for correct propagation/update of liveness information within subexpressions
of Block-Level expressions.  Test case provided by Nuno Lopes.

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

diff --git a/test/Sema/dead-stores.c b/test/Sema/dead-stores.c
index a84125b0e8d98e35a8ac1fc154a40a44d00ab29f..dc4fe586f27891ce463f1833c3e1aa90b08425e7 100644 (file)
--- a/test/Sema/dead-stores.c
+++ b/test/Sema/dead-stores.c
@@ -1,6 +1,13 @@
 // RUN: clang -warn-dead-stores -verify %s
+
 void x() {
   int k, y;
        int abc=1;
        long idx=abc+3*5; // expected-warning {{value stored to variable is never used}}
 }
+
+void a(void *b) {
+ char *c = (char*)b; // no-warning
+ char *d = b+1; // expected-warning {{value stored to variable is never used}}
+ printf("%s", c);
+}