Ted Kremenek | 0a65f94 | 2011-03-17 03:06:07 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -Wuninitialized -Wconditional-uninitialized -fsyntax-only -fblocks %s -verify |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 2 | |
Ted Kremenek | 540dda6 | 2011-08-23 20:30:50 +0000 | [diff] [blame] | 3 | typedef __typeof(sizeof(int)) size_t; |
| 4 | void *malloc(size_t); |
| 5 | |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 6 | int test1() { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 7 | int x; // expected-note{{initialize the variable 'x' to silence this warning}} |
Chandler Carruth | f04eb2d | 2011-04-08 06:33:38 +0000 | [diff] [blame] | 8 | return x; // expected-warning{{variable 'x' is uninitialized when used here}} |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 9 | } |
| 10 | |
| 11 | int test2() { |
| 12 | int x = 0; |
| 13 | return x; // no-warning |
| 14 | } |
| 15 | |
| 16 | int test3() { |
| 17 | int x; |
| 18 | x = 0; |
| 19 | return x; // no-warning |
| 20 | } |
| 21 | |
| 22 | int test4() { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 23 | int x; // expected-note{{initialize the variable 'x' to silence this warning}} |
Chandler Carruth | f04eb2d | 2011-04-08 06:33:38 +0000 | [diff] [blame] | 24 | ++x; // expected-warning{{variable 'x' is uninitialized when used here}} |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 25 | return x; |
| 26 | } |
| 27 | |
| 28 | int test5() { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 29 | int x, y; // expected-note{{initialize the variable 'y' to silence this warning}} |
Chandler Carruth | f04eb2d | 2011-04-08 06:33:38 +0000 | [diff] [blame] | 30 | x = y; // expected-warning{{variable 'y' is uninitialized when used here}} |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 31 | return x; |
| 32 | } |
| 33 | |
| 34 | int test6() { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 35 | int x; // expected-note{{initialize the variable 'x' to silence this warning}} |
Chandler Carruth | f04eb2d | 2011-04-08 06:33:38 +0000 | [diff] [blame] | 36 | x += 2; // expected-warning{{variable 'x' is uninitialized when used here}} |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 37 | return x; |
| 38 | } |
| 39 | |
| 40 | int test7(int y) { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 41 | int x; // expected-note{{initialize the variable 'x' to silence this warning}} |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 42 | if (y) |
| 43 | x = 1; |
Chandler Carruth | 584b9d6 | 2011-04-08 06:47:15 +0000 | [diff] [blame] | 44 | return x; // expected-warning{{variable 'x' may be uninitialized when used here}} |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 45 | } |
| 46 | |
Matt Beaumont-Gay | 0d38181 | 2011-10-19 18:53:03 +0000 | [diff] [blame] | 47 | int test7b(int y) { |
| 48 | int x = x; // expected-note{{variable 'x' is declared here}} |
| 49 | if (y) |
| 50 | x = 1; |
| 51 | // Warn with "may be uninitialized" here (not "is uninitialized"), since the |
| 52 | // self-initialization is intended to suppress a -Wuninitialized warning. |
| 53 | return x; // expected-warning{{variable 'x' may be uninitialized when used here}} |
| 54 | } |
| 55 | |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 56 | int test8(int y) { |
| 57 | int x; |
| 58 | if (y) |
| 59 | x = 1; |
| 60 | else |
| 61 | x = 0; |
Ted Kremenek | 609e317 | 2011-02-02 23:35:53 +0000 | [diff] [blame] | 62 | return x; |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 63 | } |
| 64 | |
| 65 | int test9(int n) { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 66 | int x; // expected-note{{initialize the variable 'x' to silence this warning}} |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 67 | for (unsigned i = 0 ; i < n; ++i) { |
| 68 | if (i == n - 1) |
| 69 | break; |
Ted Kremenek | 94b1b4d | 2011-01-21 19:41:41 +0000 | [diff] [blame] | 70 | x = 1; |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 71 | } |
Chandler Carruth | 584b9d6 | 2011-04-08 06:47:15 +0000 | [diff] [blame] | 72 | return x; // expected-warning{{variable 'x' may be uninitialized when used here}} |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 73 | } |
| 74 | |
| 75 | int test10(unsigned n) { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 76 | int x; // expected-note{{initialize the variable 'x' to silence this warning}} |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 77 | for (unsigned i = 0 ; i < n; ++i) { |
| 78 | x = 1; |
| 79 | } |
Chandler Carruth | 584b9d6 | 2011-04-08 06:47:15 +0000 | [diff] [blame] | 80 | return x; // expected-warning{{variable 'x' may be uninitialized when used here}} |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 81 | } |
| 82 | |
| 83 | int test11(unsigned n) { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 84 | int x; // expected-note{{initialize the variable 'x' to silence this warning}} |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 85 | for (unsigned i = 0 ; i <= n; ++i) { |
| 86 | x = 1; |
| 87 | } |
Chandler Carruth | 584b9d6 | 2011-04-08 06:47:15 +0000 | [diff] [blame] | 88 | return x; // expected-warning{{variable 'x' may be uninitialized when used here}} |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 89 | } |
| 90 | |
| 91 | void test12(unsigned n) { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 92 | for (unsigned i ; n ; ++i) ; // expected-warning{{variable 'i' is uninitialized when used here}} expected-note{{initialize the variable 'i' to silence this warning}} |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 93 | } |
| 94 | |
| 95 | int test13() { |
| 96 | static int i; |
| 97 | return i; // no-warning |
| 98 | } |
| 99 | |
Ted Kremenek | c104e53 | 2011-01-18 04:53:25 +0000 | [diff] [blame] | 100 | // Simply don't crash on this test case. |
| 101 | void test14() { |
| 102 | const char *p = 0; |
| 103 | for (;;) {} |
| 104 | } |
Ted Kremenek | 610068c | 2011-01-15 02:58:47 +0000 | [diff] [blame] | 105 | |
Ted Kremenek | 9e76172 | 2011-10-13 18:50:06 +0000 | [diff] [blame] | 106 | void test15() { |
| 107 | int x = x; // no-warning: signals intended lack of initialization. |
| 108 | } |
| 109 | |
| 110 | int test15b() { |
| 111 | // Warn here with the self-init, since it does result in a use of |
| 112 | // an unintialized variable and this is the root cause. |
| 113 | int x = x; // expected-warning {{variable 'x' is uninitialized when used within its own initialization}} |
| 114 | return x; |
Ted Kremenek | c104e53 | 2011-01-18 04:53:25 +0000 | [diff] [blame] | 115 | } |
| 116 | |
| 117 | // Don't warn in the following example; shows dataflow confluence. |
| 118 | char *test16_aux(); |
| 119 | void test16() { |
| 120 | char *p = test16_aux(); |
| 121 | for (unsigned i = 0 ; i < 100 ; i++) |
| 122 | p[i] = 'a'; // no-warning |
| 123 | } |
Ted Kremenek | c21fed3 | 2011-01-18 21:18:58 +0000 | [diff] [blame] | 124 | |
| 125 | void test17() { |
| 126 | // Don't warn multiple times about the same uninitialized variable |
| 127 | // along the same path. |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 128 | int *x; // expected-note{{initialize the variable 'x' to silence this warning}} |
Chandler Carruth | f04eb2d | 2011-04-08 06:33:38 +0000 | [diff] [blame] | 129 | *x = 1; // expected-warning{{variable 'x' is uninitialized when used here}} |
Ted Kremenek | c21fed3 | 2011-01-18 21:18:58 +0000 | [diff] [blame] | 130 | *x = 1; // no-warning |
| 131 | } |
Ted Kremenek | 13bd423 | 2011-01-20 17:37:17 +0000 | [diff] [blame] | 132 | |
| 133 | int test18(int x, int y) { |
| 134 | int z; |
| 135 | if (x && y && (z = 1)) { |
| 136 | return z; // no-warning |
| 137 | } |
| 138 | return 0; |
| 139 | } |
| 140 | |
| 141 | int test19_aux1(); |
| 142 | int test19_aux2(); |
| 143 | int test19_aux3(int *x); |
| 144 | int test19() { |
| 145 | int z; |
| 146 | if (test19_aux1() + test19_aux2() && test19_aux1() && test19_aux3(&z)) |
| 147 | return z; // no-warning |
| 148 | return 0; |
| 149 | } |
| 150 | |
| 151 | int test20() { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 152 | int z; // expected-note{{initialize the variable 'z' to silence this warning}} |
Ted Kremenek | 13bd423 | 2011-01-20 17:37:17 +0000 | [diff] [blame] | 153 | if ((test19_aux1() + test19_aux2() && test19_aux1()) || test19_aux3(&z)) |
Chandler Carruth | 584b9d6 | 2011-04-08 06:47:15 +0000 | [diff] [blame] | 154 | return z; // expected-warning{{variable 'z' may be uninitialized when used here}} |
Ted Kremenek | 13bd423 | 2011-01-20 17:37:17 +0000 | [diff] [blame] | 155 | return 0; |
| 156 | } |
| 157 | |
| 158 | int test21(int x, int y) { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 159 | int z; // expected-note{{initialize the variable 'z' to silence this warning}} |
Ted Kremenek | 13bd423 | 2011-01-20 17:37:17 +0000 | [diff] [blame] | 160 | if ((x && y) || test19_aux3(&z) || test19_aux2()) |
Chandler Carruth | 584b9d6 | 2011-04-08 06:47:15 +0000 | [diff] [blame] | 161 | return z; // expected-warning{{variable 'z' may be uninitialized when used here}} |
Ted Kremenek | 13bd423 | 2011-01-20 17:37:17 +0000 | [diff] [blame] | 162 | return 0; |
| 163 | } |
| 164 | |
| 165 | int test22() { |
| 166 | int z; |
| 167 | while (test19_aux1() + test19_aux2() && test19_aux1() && test19_aux3(&z)) |
| 168 | return z; // no-warning |
| 169 | return 0; |
| 170 | } |
| 171 | |
| 172 | int test23() { |
| 173 | int z; |
| 174 | for ( ; test19_aux1() + test19_aux2() && test19_aux1() && test19_aux3(&z) ; ) |
| 175 | return z; // no-warning |
| 176 | return 0; |
| 177 | } |
| 178 | |
| 179 | // The basic uninitialized value analysis doesn't have enough path-sensitivity |
| 180 | // to catch initializations relying on control-dependencies spanning multiple |
| 181 | // conditionals. This possibly can be handled by making the CFG itself |
| 182 | // represent such control-dependencies, but it is a niche case. |
| 183 | int test24(int flag) { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 184 | unsigned val; // expected-note{{initialize the variable 'val' to silence this warning}} |
Ted Kremenek | 13bd423 | 2011-01-20 17:37:17 +0000 | [diff] [blame] | 185 | if (flag) |
| 186 | val = 1; |
| 187 | if (!flag) |
| 188 | val = 1; |
Chandler Carruth | 584b9d6 | 2011-04-08 06:47:15 +0000 | [diff] [blame] | 189 | return val; // expected-warning{{variable 'val' may be uninitialized when used here}} |
Ted Kremenek | 13bd423 | 2011-01-20 17:37:17 +0000 | [diff] [blame] | 190 | } |
| 191 | |
Ted Kremenek | dcfb360 | 2011-01-21 22:49:49 +0000 | [diff] [blame] | 192 | float test25() { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 193 | float x; // expected-note{{initialize the variable 'x' to silence this warning}} |
Chandler Carruth | f04eb2d | 2011-04-08 06:33:38 +0000 | [diff] [blame] | 194 | return x; // expected-warning{{variable 'x' is uninitialized when used here}} |
Ted Kremenek | dcfb360 | 2011-01-21 22:49:49 +0000 | [diff] [blame] | 195 | } |
| 196 | |
| 197 | typedef int MyInt; |
| 198 | MyInt test26() { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 199 | MyInt x; // expected-note{{initialize the variable 'x' to silence this warning}} |
Chandler Carruth | f04eb2d | 2011-04-08 06:33:38 +0000 | [diff] [blame] | 200 | return x; // expected-warning{{variable 'x' is uninitialized when used here}} |
Ted Kremenek | dcfb360 | 2011-01-21 22:49:49 +0000 | [diff] [blame] | 201 | } |
Ted Kremenek | 9660803 | 2011-01-23 17:53:04 +0000 | [diff] [blame] | 202 | |
| 203 | // Test handling of sizeof(). |
| 204 | int test27() { |
| 205 | struct test_27 { int x; } *y; |
| 206 | return sizeof(y->x); // no-warning |
| 207 | } |
| 208 | |
| 209 | int test28() { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 210 | int len; // expected-note{{initialize the variable 'len' to silence this warning}} |
Chandler Carruth | f04eb2d | 2011-04-08 06:33:38 +0000 | [diff] [blame] | 211 | return sizeof(int[len]); // expected-warning{{variable 'len' is uninitialized when used here}} |
Ted Kremenek | 9660803 | 2011-01-23 17:53:04 +0000 | [diff] [blame] | 212 | } |
| 213 | |
Ted Kremenek | a8c17a5 | 2011-01-25 19:13:48 +0000 | [diff] [blame] | 214 | void test29() { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 215 | int x; // expected-note{{initialize the variable 'x' to silence this warning}} |
Chandler Carruth | f04eb2d | 2011-04-08 06:33:38 +0000 | [diff] [blame] | 216 | (void) ^{ (void) x; }; // expected-warning{{variable 'x' is uninitialized when captured by block}} |
Ted Kremenek | a8c17a5 | 2011-01-25 19:13:48 +0000 | [diff] [blame] | 217 | } |
| 218 | |
| 219 | void test30() { |
| 220 | static int x; // no-warning |
| 221 | (void) ^{ (void) x; }; |
| 222 | } |
| 223 | |
| 224 | void test31() { |
| 225 | __block int x; // no-warning |
| 226 | (void) ^{ (void) x; }; |
| 227 | } |
| 228 | |
| 229 | int test32_x; |
| 230 | void test32() { |
| 231 | (void) ^{ (void) test32_x; }; // no-warning |
| 232 | } |
| 233 | |
Ted Kremenek | dd0f794 | 2011-01-26 04:49:43 +0000 | [diff] [blame] | 234 | void test_33() { |
| 235 | int x; // no-warning |
| 236 | (void) x; |
| 237 | } |
| 238 | |
| 239 | int test_34() { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 240 | int x; // expected-note{{initialize the variable 'x' to silence this warning}} |
Ted Kremenek | dd0f794 | 2011-01-26 04:49:43 +0000 | [diff] [blame] | 241 | (void) x; |
Chandler Carruth | f04eb2d | 2011-04-08 06:33:38 +0000 | [diff] [blame] | 242 | return x; // expected-warning{{variable 'x' is uninitialized when used here}} |
Ted Kremenek | dd0f794 | 2011-01-26 04:49:43 +0000 | [diff] [blame] | 243 | } |
| 244 | |
Ted Kremenek | 40900ee | 2011-01-27 02:29:34 +0000 | [diff] [blame] | 245 | // Test that this case doesn't crash. |
| 246 | void test35(int x) { |
| 247 | __block int y = 0; |
| 248 | ^{ y = (x == 0); }(); |
| 249 | } |
| 250 | |
Ted Kremenek | 96554fd | 2011-01-27 18:51:39 +0000 | [diff] [blame] | 251 | // Test handling of indirect goto. |
| 252 | void test36() |
| 253 | { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 254 | void **pc; // expected-note{{initialize the variable 'pc' to silence this warning}} |
Ted Kremenek | 96554fd | 2011-01-27 18:51:39 +0000 | [diff] [blame] | 255 | void *dummy[] = { &&L1, &&L2 }; |
| 256 | L1: |
Chandler Carruth | d837c0d | 2011-07-22 05:27:52 +0000 | [diff] [blame] | 257 | goto *pc; // expected-warning{{variable 'pc' is uninitialized when used here}} |
Ted Kremenek | 96554fd | 2011-01-27 18:51:39 +0000 | [diff] [blame] | 258 | L2: |
| 259 | goto *pc; |
| 260 | } |
| 261 | |
Ted Kremenek | 9fcbcee | 2011-02-01 17:43:18 +0000 | [diff] [blame] | 262 | // Test && nested in ||. |
| 263 | int test37_a(); |
| 264 | int test37_b(); |
| 265 | int test37() |
| 266 | { |
| 267 | int identifier; |
| 268 | if ((test37_a() && (identifier = 1)) || |
| 269 | (test37_b() && (identifier = 2))) { |
| 270 | return identifier; // no-warning |
| 271 | } |
| 272 | return 0; |
| 273 | } |
| 274 | |
| 275 | // Test merging of path-specific dataflow values (without asserting). |
| 276 | int test38(int r, int x, int y) |
| 277 | { |
| 278 | int z; |
| 279 | return ((r < 0) || ((r == 0) && (x < y))); |
| 280 | } |
| 281 | |
Ted Kremenek | f3f5379 | 2011-03-15 03:17:01 +0000 | [diff] [blame] | 282 | int test39(int x) { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 283 | int y; // expected-note{{initialize the variable 'y' to silence this warning}} |
Chandler Carruth | f04eb2d | 2011-04-08 06:33:38 +0000 | [diff] [blame] | 284 | int z = x + y; // expected-warning {{variable 'y' is uninitialized when used here}} |
Ted Kremenek | f3f5379 | 2011-03-15 03:17:01 +0000 | [diff] [blame] | 285 | return z; |
| 286 | } |
| 287 | |
| 288 | |
| 289 | int test40(int x) { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 290 | int y; // expected-note{{initialize the variable 'y' to silence this warning}} |
Chandler Carruth | f04eb2d | 2011-04-08 06:33:38 +0000 | [diff] [blame] | 291 | return x ? 1 : y; // expected-warning {{variable 'y' is uninitialized when used here}} |
Ted Kremenek | f3f5379 | 2011-03-15 03:17:01 +0000 | [diff] [blame] | 292 | } |
| 293 | |
| 294 | int test41(int x) { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 295 | int y; // expected-note{{initialize the variable 'y' to silence this warning}} |
Ted Kremenek | f3f5379 | 2011-03-15 03:17:01 +0000 | [diff] [blame] | 296 | if (x) y = 1; // no-warning |
Chandler Carruth | 584b9d6 | 2011-04-08 06:47:15 +0000 | [diff] [blame] | 297 | return y; // expected-warning {{variable 'y' may be uninitialized when used here}} |
Ted Kremenek | f3f5379 | 2011-03-15 03:17:01 +0000 | [diff] [blame] | 298 | } |
| 299 | |
| 300 | void test42() { |
| 301 | int a; |
| 302 | a = 30; // no-warning |
| 303 | } |
| 304 | |
| 305 | void test43_aux(int x); |
| 306 | void test43(int i) { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 307 | int x; // expected-note{{initialize the variable 'x' to silence this warning}} |
Ted Kremenek | f3f5379 | 2011-03-15 03:17:01 +0000 | [diff] [blame] | 308 | for (i = 0 ; i < 10; i++) |
Chandler Carruth | d837c0d | 2011-07-22 05:27:52 +0000 | [diff] [blame] | 309 | test43_aux(x++); // expected-warning {{variable 'x' is uninitialized when used here}} |
Ted Kremenek | f3f5379 | 2011-03-15 03:17:01 +0000 | [diff] [blame] | 310 | } |
| 311 | |
| 312 | void test44(int i) { |
| 313 | int x = i; |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 314 | int y; // expected-note{{initialize the variable 'y' to silence this warning}} |
Ted Kremenek | f3f5379 | 2011-03-15 03:17:01 +0000 | [diff] [blame] | 315 | for (i = 0; i < 10; i++ ) { |
| 316 | test43_aux(x++); // no-warning |
Chandler Carruth | d837c0d | 2011-07-22 05:27:52 +0000 | [diff] [blame] | 317 | x += y; // expected-warning {{variable 'y' is uninitialized when used here}} |
Ted Kremenek | f3f5379 | 2011-03-15 03:17:01 +0000 | [diff] [blame] | 318 | } |
| 319 | } |
| 320 | |
| 321 | int test45(int j) { |
| 322 | int x = 1, y = x + 1; |
| 323 | if (y) // no-warning |
| 324 | return x; |
| 325 | return y; |
| 326 | } |
| 327 | |
| 328 | void test46() |
| 329 | { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 330 | int i; // expected-note{{initialize the variable 'i' to silence this warning}} |
Chandler Carruth | f04eb2d | 2011-04-08 06:33:38 +0000 | [diff] [blame] | 331 | int j = i ? : 1; // expected-warning {{variable 'i' is uninitialized when used here}} |
Ted Kremenek | f3f5379 | 2011-03-15 03:17:01 +0000 | [diff] [blame] | 332 | } |
| 333 | |
| 334 | void *test47(int *i) |
| 335 | { |
| 336 | return i ? : 0; // no-warning |
| 337 | } |
| 338 | |
| 339 | void *test49(int *i) |
| 340 | { |
| 341 | int a; |
| 342 | return &a ? : i; // no-warning |
| 343 | } |
| 344 | |
| 345 | void test50() |
| 346 | { |
| 347 | char c[1 ? : 2]; // no-warning |
| 348 | } |
| 349 | |
Ted Kremenek | bc8b44c | 2011-03-31 22:32:41 +0000 | [diff] [blame] | 350 | int test51(void) |
| 351 | { |
| 352 | __block int a; |
| 353 | ^(void) { |
| 354 | a = 42; |
| 355 | }(); |
| 356 | return a; // no-warning |
| 357 | } |
| 358 | |
Ted Kremenek | e6c2803 | 2011-05-10 22:10:35 +0000 | [diff] [blame] | 359 | // FIXME: This is a false positive, but it tests logical operations in switch statements. |
| 360 | int test52(int a, int b) { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 361 | int x; // expected-note {{initialize the variable 'x' to silence this warning}} |
Ted Kremenek | e6c2803 | 2011-05-10 22:10:35 +0000 | [diff] [blame] | 362 | switch (a || b) { // expected-warning {{switch condition has boolean value}} |
| 363 | case 0: |
| 364 | x = 1; |
| 365 | break; |
| 366 | case 1: |
| 367 | x = 2; |
| 368 | break; |
| 369 | } |
| 370 | return x; // expected-warning {{variable 'x' may be uninitialized when used here}} |
| 371 | } |
Chandler Carruth | 8435069 | 2011-07-16 22:27:02 +0000 | [diff] [blame] | 372 | |
Ted Kremenek | d626ec4 | 2011-07-19 20:33:49 +0000 | [diff] [blame] | 373 | void test53() { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 374 | int x; // expected-note {{initialize the variable 'x' to silence this warning}} |
Ted Kremenek | 62d126e | 2011-07-19 21:41:51 +0000 | [diff] [blame] | 375 | int y = (x); // expected-warning {{variable 'x' is uninitialized when used here}} |
Ted Kremenek | d626ec4 | 2011-07-19 20:33:49 +0000 | [diff] [blame] | 376 | } |
| 377 | |
Chandler Carruth | 8435069 | 2011-07-16 22:27:02 +0000 | [diff] [blame] | 378 | // This CFG caused the uninitialized values warning to inf-loop. |
| 379 | extern int PR10379_g(); |
| 380 | void PR10379_f(int *len) { |
David Blaikie | 4f4f349 | 2011-09-10 05:35:08 +0000 | [diff] [blame] | 381 | int new_len; // expected-note{{initialize the variable 'new_len' to silence this warning}} |
Chandler Carruth | 8435069 | 2011-07-16 22:27:02 +0000 | [diff] [blame] | 382 | for (int i = 0; i < 42 && PR10379_g() == 0; i++) { |
| 383 | if (PR10379_g() == 1) |
| 384 | continue; |
| 385 | if (PR10379_g() == 2) |
| 386 | PR10379_f(&new_len); |
| 387 | else if (PR10379_g() == 3) |
| 388 | PR10379_f(&new_len); |
| 389 | *len += new_len; // expected-warning {{variable 'new_len' may be uninitialized when used here}} |
| 390 | } |
| 391 | } |
Ted Kremenek | 540dda6 | 2011-08-23 20:30:50 +0000 | [diff] [blame] | 392 | |
| 393 | // Test that sizeof(VLA) doesn't trigger a warning. |
| 394 | void test_vla_sizeof(int x) { |
| 395 | double (*memory)[2][x] = malloc(sizeof(*memory)); // no-warning |
| 396 | } |
| 397 | |
Ted Kremenek | 6f27542 | 2011-09-02 19:39:26 +0000 | [diff] [blame] | 398 | // Test absurd case of deadcode + use of blocks. This previously was a false positive |
| 399 | // due to an analysis bug. |
| 400 | int test_block_and_dead_code() { |
| 401 | __block int x; |
| 402 | ^{ x = 1; }(); |
| 403 | if (0) |
| 404 | return x; |
| 405 | return x; // no-warning |
| 406 | } |
| 407 | |
Ted Kremenek | c5f740e | 2011-10-07 00:42:48 +0000 | [diff] [blame] | 408 | // This previously triggered an infinite loop in the analysis. |
| 409 | void PR11069(int a, int b) { |
| 410 | unsigned long flags; |
| 411 | for (;;) { |
| 412 | if (a && !b) |
| 413 | break; |
| 414 | } |
| 415 | for (;;) { |
| 416 | // This does not trigger a warning because it isn't a real use. |
| 417 | (void)(flags); // no-warning |
| 418 | } |
| 419 | } |
| 420 | |
Ted Kremenek | aa2176b | 2011-10-07 00:52:56 +0000 | [diff] [blame] | 421 | // Test uninitialized value used in loop condition. |
| 422 | void rdar9432305(float *P) { |
| 423 | int i; // expected-note {{initialize the variable 'i' to silence this warning}} |
| 424 | for (; i < 10000; ++i) // expected-warning {{variable 'i' is uninitialized when used here}} |
| 425 | P[i] = 0.0f; |
| 426 | } |