diff options
author | Ted Kremenek <kremenek@apple.com> | 2007-11-24 23:06:58 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2007-11-24 23:06:58 +0000 |
commit | ca7aa1f9ca9c4ee4973f161bc0a71c236a0313f6 (patch) | |
tree | 58aae7b41c9b4160caa8c9dd6936229fd360c1f3 | |
parent | ff7c538f7c37539bceb99113f7d507cd98daa578 (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.c | 15 |
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 |