| // RUN: %clang_cc1 -analyze -analyzer-store=region -analyzer-constraints=range -fblocks -verify -analyzer-opt-analyze-nested-blocks -analyzer-check-objc-mem -verify %s |
| |
| // Basic tests |
| |
| extern void test(int i); |
| extern void test_f(float f); |
| |
| void basic() { |
| int x = 10, zero = 0, one = 1; |
| |
| // x op x |
| x = x; // expected-warning {{Assigned value is always the same as the existing value}} |
| test(x - x); // expected-warning {{Both operands to '-' always have the same value}} |
| x -= x; // expected-warning {{Both operands to '-=' always have the same value}} |
| x = 10; // no-warning |
| test(x / x); // expected-warning {{Both operands to '/' always have the same value}} |
| x /= x; // expected-warning {{Both operands to '/=' always have the same value}} |
| x = 10; // no-warning |
| test(x & x); // expected-warning {{Both operands to '&' always have the same value}} |
| x &= x; // expected-warning {{Both operands to '&=' always have the same value}} |
| test(x | x); // expected-warning {{Both operands to '|' always have the same value}} |
| x |= x; // expected-warning {{Both operands to '|=' always have the same value}} |
| |
| // x op 1 |
| test(x * one); // expected-warning {{The right operand to '*' is always 1}} |
| x *= one; // expected-warning {{The right operand to '*=' is always 1}} |
| test(x / one); // expected-warning {{The right operand to '/' is always 1}} |
| x /= one; // expected-warning {{The right operand to '/=' is always 1}} |
| |
| // 1 op x |
| test(one * x); // expected-warning {{The left operand to '*' is always 1}} |
| |
| // x op 0 |
| test(x + zero); // expected-warning {{The right operand to '+' is always 0}} |
| test(x - zero); // expected-warning {{The right operand to '-' is always 0}} |
| test(x * zero); // expected-warning {{The right operand to '*' is always 0}} |
| test(x & zero); // expected-warning {{The right operand to '&' is always 0}} |
| test(x | zero); // expected-warning {{The right operand to '|' is always 0}} |
| test(x ^ zero); // expected-warning {{The right operand to '^' is always 0}} |
| test(x << zero); // expected-warning {{The right operand to '<<' is always 0}} |
| test(x >> zero); // expected-warning {{The right operand to '>>' is always 0}} |
| |
| // 0 op x |
| test(zero + x); // expected-warning {{The left operand to '+' is always 0}} |
| test(zero - x); // expected-warning {{The left operand to '-' is always 0}} |
| test(zero / x); // expected-warning {{The left operand to '/' is always 0}} |
| test(zero * x); // expected-warning {{The left operand to '*' is always 0}} |
| test(zero & x); // expected-warning {{The left operand to '&' is always 0}} |
| test(zero | x); // expected-warning {{The left operand to '|' is always 0}} |
| test(zero ^ x); // expected-warning {{The left operand to '^' is always 0}} |
| test(zero << x); // expected-warning {{The left operand to '<<' is always 0}} |
| test(zero >> x); // expected-warning {{The left operand to '>>' is always 0}} |
| } |
| |
| void floats(float x) { |
| test_f(x * 1.0); // no-warning |
| test_f(x * 1.0F); // no-warning |
| } |
| |
| // Ensure that we don't report false poitives on complex loops |
| void bailout() { |
| int unused, result = 4; |
| int numbers[5] = { 0, 32, 'x', 128, 255 }; |
| |
| for (int bg = 0; bg < 5; bg ++) { |
| result += numbers[bg]; // no-warning |
| |
| for (int i = 0; i < 256; i++) { |
| unused = i; |
| } |
| } |
| } |