blob: 22d44384b41cefcc5ea47781cb3b26360eabb5df [file] [log] [blame]
Ted Kremenek908c09f2011-03-15 05:22:33 +00001// RUN: %clang_cc1 -fsyntax-only -Wuninitialized -fsyntax-only -fblocks %s -verify
Ted Kremenek1ea800c2011-01-27 02:01:31 +00002
3// Duplicated from uninit-variables.c.
4// Test just to ensure the analysis is working.
5int test1() {
Ted Kremenek609e3172011-02-02 23:35:53 +00006 int x; // expected-note{{variable 'x' is declared here}} expected-note{{add initialization}}
7 return x; // expected-warning{{variable 'x' is possibly uninitialized when used here}}
Ted Kremenek1ea800c2011-01-27 02:01:31 +00008}
9
10// Test ObjC fast enumeration.
11void test2() {
12 id collection = 0;
13 for (id obj in collection) {
14 if (0 == obj) // no-warning
15 break;
16 }
17}
18
19void test3() {
20 id collection = 0;
21 id obj;
22 for (obj in collection) { // no-warning
23 if (0 == obj) // no-warning
24 break;
25 }
26}
27