From ca7aa1f9ca9c4ee4973f161bc0a71c236a0313f6 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Sat, 24 Nov 2007 23:06:58 +0000 Subject: [PATCH] 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 --- test/Analysis/uninit-vals.c | 15 +++++++++++++++ 1 file changed, 15 insertions(+) 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 -- 2.50.1