| // RUN: clang -warn-dead-stores -verify %s && |
| // RUN: clang -checker-simple -warn-dead-stores -verify %s && |
| // RUN: clang -warn-dead-stores -checker-simple -verify %s |
| |
| |
| void f1() { |
| int k, y; |
| int abc=1; |
| long idx=abc+3*5; // expected-warning {{never read}} |
| } |
| |
| void f2(void *b) { |
| char *c = (char*)b; // no-warning |
| char *d = b+1; // expected-warning {{never read}} |
| printf("%s", c); |
| } |
| |
| void f3() { |
| int r; |
| if ((r = f()) != 0) { // no-warning |
| int y = r; // no-warning |
| printf("the error is: %d\n", y); |
| } |
| } |
| |
| void f4(int k) { |
| |
| k = 1; |
| |
| if (k) |
| f1(); |
| |
| k = 2; // expected-warning {{never read}} |
| } |
| |
| void f5() { |
| |
| int x = 4; // no-warning |
| int *p = &x; // expected-warning{{never read}} |
| |
| } |
| |
| int f6() { |
| |
| int x = 4; |
| ++x; // expected-warning{{never read}} |
| return 1; |
| } |
| |
| int f7(int *p) { |
| // This is allowed for defensive programming. |
| p = 0; // no-warning |
| return 1; |
| } |
| |
| int f8(int *p) { |
| extern int *baz(); |
| if (p = baz()) // expected-warning{{Although the value}} |
| return 1; |
| return 0; |
| } |
| |
| int f9() { |
| int x = 4; |
| x = x + 10; // expected-warning{{never read}} |
| return 1; |
| } |
| |
| int f10() { |
| int x = 4; |
| x = 10 + x; // expected-warning{{never read}} |
| return 1; |
| } |
| |
| int f11() { |
| int x = 4; |
| return x++; // expected-warning{{never read}} |
| } |
| |
| int f11b() { |
| int x = 4; |
| return ++x; // no-warning |
| } |
| |
| |
| int f12a(int y) { |
| int x = y; // expected-warning{{never read}} |
| return 1; |
| } |
| int f12b(int y) { |
| int x __attribute__((unused)) = y; // no-warning |
| return 1; |
| } |
| |
| // Filed with PR 2630. This code should produce no warnings. |
| int f13(void) |
| { |
| int a = 1; |
| int b, c = b = a + a; |
| |
| if (b > 0) |
| return (0); |
| |
| return (a + b + c); |
| } |
| |
| // Filed with PR 2763. |
| int f14(int count) { |
| int index, nextLineIndex; |
| for (index = 0; index < count; index = nextLineIndex+1) { |
| nextLineIndex = index+1; // no-warning |
| continue; |
| } |
| return index; |
| } |
| |
| // Test case for <rdar://problem/6248086> |
| void f15(unsigned x, unsigned y) { |
| int count = x * y; // no-warning |
| int z[count]; |
| } |
| |
| int f16(int x) { |
| x = x * 2; |
| x = sizeof(int [x = (x || x + 1) * 2]) // expected-warning{{Although the value stored to 'x' is used}} |
| ? 5 : 8; |
| return x; |
| } |
| |