From 0d20033c6a1b4ffd677561b81a6aff00a224cf7d Mon Sep 17 00:00:00 2001
From: Ted Kremenek <kremenek@apple.com>
Date: Sat, 24 Nov 2007 23:06:58 +0000
Subject: [PATCH] Added more test cases for uninitialized values checker.

llvm-svn: 44307
---
 clang/test/Analysis/uninit-vals.c | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/clang/test/Analysis/uninit-vals.c b/clang/test/Analysis/uninit-vals.c
index 641acd1df0c8..ccd048f2882d 100644
--- a/clang/test/Analysis/uninit-vals.c
+++ b/clang/test/Analysis/uninit-vals.c
@@ -27,3 +27,18 @@ int f5() {
   int a;
   a = 30; // no-warning
 }
+
+void f6(int i) {
+  int x;
+  for (i = 0 ; i < 10; i++)
+    printf("%d",x++); // expected-warning {use of uninitialized variable}
+}
+
+void f7(int i) {
+  int x = i;
+  int y;
+  for (i = 0; i < 10; i++ ) {
+    printf("%d",x++); // no-warning
+    x += y; // expected-warning {use of uninitialized variable}
+  }
+}
\ No newline at end of file