aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2007-11-24 23:06:58 +0000
committerTed Kremenek <kremenek@apple.com>2007-11-24 23:06:58 +0000
commitca7aa1f9ca9c4ee4973f161bc0a71c236a0313f6 (patch)
tree58aae7b41c9b4160caa8c9dd6936229fd360c1f3
parentff7c538f7c37539bceb99113f7d507cd98daa578 (diff)
Added more test cases for uninitialized values checker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@44307 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--test/Analysis/uninit-vals.c15
1 files changed, 15 insertions, 0 deletions
diff --git a/test/Analysis/uninit-vals.c b/test/Analysis/uninit-vals.c
index 641acd1df0..ccd048f288 100644
--- a/test/Analysis/uninit-vals.c
+++ b/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