| // 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 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); |
| } |
| |