diff options
Diffstat (limited to 'test/Analysis/additive-folding-range-constraints.c')
-rw-r--r-- | test/Analysis/additive-folding-range-constraints.c | 304 |
1 files changed, 0 insertions, 304 deletions
diff --git a/test/Analysis/additive-folding-range-constraints.c b/test/Analysis/additive-folding-range-constraints.c deleted file mode 100644 index e75223eab05b..000000000000 --- a/test/Analysis/additive-folding-range-constraints.c +++ /dev/null @@ -1,304 +0,0 @@ -// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-config eagerly-assume=false -verify %s - -void clang_analyzer_eval(int); - -#define UINT_MAX (~0U) -#define INT_MAX (UINT_MAX & (UINT_MAX >> 1)) -#define INT_MIN (-INT_MAX - 1) - - -// Each of these adjusted ranges has an adjustment small enough to split the -// solution range across an overflow boundary (Min for <, Max for >). -// This corresponds to one set of branches in RangeConstraintManager. -void smallAdjustmentGT (unsigned a) { - if (a+2 > 1) - clang_analyzer_eval(a < UINT_MAX-1); // expected-warning{{TRUE}} - else - clang_analyzer_eval(a == UINT_MAX-1 || a == UINT_MAX); // expected-warning{{TRUE}} -} - -void smallAdjustmentGE (unsigned a) { - if (a+2 >= 1) - clang_analyzer_eval(a < UINT_MAX-1 || a == UINT_MAX); // expected-warning{{TRUE}} - else - clang_analyzer_eval(a == UINT_MAX-1); // expected-warning{{TRUE}} -} - -void smallAdjustmentLT (unsigned a) { - if (a+1 < 2) - clang_analyzer_eval(a == 0 || a == UINT_MAX); // expected-warning{{TRUE}} -} - -void smallAdjustmentLE (unsigned a) { - if (a+1 <= 2) - clang_analyzer_eval(a == 0 || a == 1 || a == UINT_MAX); // expected-warning{{TRUE}} -} - - -// Each of these adjusted ranges has an adjustment large enough to push the -// comparison value over an overflow boundary (Min for <, Max for >). -// This corresponds to one set of branches in RangeConstraintManager. -void largeAdjustmentGT (unsigned a) { - if (a-2 > UINT_MAX-1) - clang_analyzer_eval(a == 1); // expected-warning{{TRUE}} - else - clang_analyzer_eval(a != 1); // expected-warning{{TRUE}} -} - -void largeAdjustmentGE (unsigned a) { - if (a-2 >= UINT_MAX-1) - clang_analyzer_eval(a == 1 || a == 0); // expected-warning{{TRUE}} - else - clang_analyzer_eval(a > 1); // expected-warning{{TRUE}} -} - -void largeAdjustmentLT (unsigned a) { - if (a+2 < 1) - clang_analyzer_eval(a == UINT_MAX-1); // expected-warning{{TRUE}} - else - clang_analyzer_eval(a != UINT_MAX-1); // expected-warning{{TRUE}} -} - -void largeAdjustmentLE (unsigned a) { - if (a+2 <= 1) - clang_analyzer_eval(a == UINT_MAX-1 || a == UINT_MAX); // expected-warning{{TRUE}} - else - clang_analyzer_eval(a < UINT_MAX-1); // expected-warning{{TRUE}} -} - - -// Test the nine cases in RangeConstraintManager's pinning logic. -// For out-of-range tautologies, it may be the negation that actually -// triggers the case in question. -void mixedComparisons1(signed char a) { - // Case 1: The range is entirely below the symbol's range. - int min = INT_MIN; - - clang_analyzer_eval((a - 2) >= (min + 5LL)); // expected-warning{{TRUE}} - - clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}} - clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}} - clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}} -} - -void mixedComparisons2(signed char a) { - // Case 2: Only the lower end of the range is outside. - clang_analyzer_eval((a - 5) < (-0x81LL)); // expected-warning{{UNKNOWN}} - - if ((a - 5) < (-0x81LL)) { - clang_analyzer_eval(a == 0); // expected-warning{{FALSE}} - clang_analyzer_eval(a == 0x7F); // expected-warning{{FALSE}} - clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}} - } -} - -void mixedComparisons3(signed char a) { - // Case 3: The entire symbol range is covered. - clang_analyzer_eval((a - 0x200) < -0x100LL); // expected-warning{{TRUE}} - - clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}} - clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}} - clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}} -} - -void mixedComparisons4(signed char a) { - // Case 4: The range wraps around, but the lower wrap is out-of-range. - clang_analyzer_eval((a - 5) > 0LL); // expected-warning{{UNKNOWN}} - - if ((a - 5) > 0LL) { - clang_analyzer_eval(a == 0); // expected-warning{{FALSE}} - clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}} - clang_analyzer_eval(a == -0x80); // expected-warning{{FALSE}} - } -} - -void mixedComparisons5(signed char a) { - // Case 5: The range is inside and may or may not wrap. - clang_analyzer_eval((a + 5) == 0LL); // expected-warning{{UNKNOWN}} - - if ((a + 5) == 0LL) { - clang_analyzer_eval(a == 0); // expected-warning{{FALSE}} - clang_analyzer_eval(a == 0x7F); // expected-warning{{FALSE}} - clang_analyzer_eval(a == -0x80); // expected-warning{{FALSE}} - } else { - clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}} - clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}} - clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}} - } -} - -void mixedComparisons6(signed char a) { - // Case 6: Only the upper end of the range is outside. - clang_analyzer_eval((a + 5) > 0x81LL); // expected-warning{{UNKNOWN}} - - if ((a + 5) > 0x81LL) { - clang_analyzer_eval(a == 0); // expected-warning{{FALSE}} - clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}} - clang_analyzer_eval(a == -0x80); // expected-warning{{FALSE}} - } -} - -void mixedComparisons7(signed char a) { - // Case 7: The range wraps around but is entirely outside the symbol's range. - int min = INT_MIN; - - clang_analyzer_eval((a + 2) >= (min + 5LL)); // expected-warning{{TRUE}} - - clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}} - clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}} - clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}} -} - -void mixedComparisons8(signed char a) { - // Case 8: The range wraps, but the upper wrap is out of range. - clang_analyzer_eval((a + 5) < 0LL); // expected-warning{{UNKNOWN}} - - if ((a + 5) < 0LL) { - clang_analyzer_eval(a == 0); // expected-warning{{FALSE}} - clang_analyzer_eval(a == 0x7F); // expected-warning{{FALSE}} - clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}} - } -} - -void mixedComparisons9(signed char a) { - // Case 9: The range is entirely above the symbol's range. - int max = INT_MAX; - - clang_analyzer_eval((a + 2) <= (max - 5LL)); // expected-warning{{TRUE}} - - clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}} - clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}} - clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}} -} - - -void mixedSignedness1(int a) { - unsigned max = UINT_MAX; - clang_analyzer_eval(a < max); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2) < max); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2U) < max); // expected-warning{{UNKNOWN}} -} - -void mixedSignedness2(int a) { - unsigned max = UINT_MAX; - clang_analyzer_eval(a <= max); // expected-warning{{TRUE}} - clang_analyzer_eval((a + 2) <= max); // expected-warning{{TRUE}} - clang_analyzer_eval((a + 2U) <= max); // expected-warning{{TRUE}} -} - -void mixedSignedness3(unsigned a) { - int max = INT_MAX; - clang_analyzer_eval(a < max); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2) < max); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2U) < max); // expected-warning{{UNKNOWN}} -} - -void mixedSignedness4(unsigned a) { - int max = INT_MAX; - clang_analyzer_eval(a <= max); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2) <= max); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2U) <= max); // expected-warning{{UNKNOWN}} -} - -void mixedSignedness5(unsigned a) { - int min = INT_MIN; - clang_analyzer_eval(a < min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2) < min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2U) < min); // expected-warning{{UNKNOWN}} -} - -void mixedSignedness6(unsigned a) { - int min = INT_MIN; - clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}} -} - -void mixedSignedness7(unsigned a) { - unsigned min = 0; - clang_analyzer_eval(a < min); // expected-warning{{FALSE}} - clang_analyzer_eval((a + 2) < min); // expected-warning{{FALSE}} - clang_analyzer_eval((a + 2U) < min); // expected-warning{{FALSE}} -} - -void mixedSignedness8(unsigned a) { - unsigned min = 0; - clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}} -} - -void mixedSignedness9(unsigned a) { - int min = 0; - clang_analyzer_eval(a < min); // expected-warning{{FALSE}} - clang_analyzer_eval((a + 2) < min); // expected-warning{{FALSE}} - clang_analyzer_eval((a + 2U) < min); // expected-warning{{FALSE}} -} - -void mixedSignedness10(unsigned a) { - int min = 0; - clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}} -} - -void mixedSignedness11(int a) { - int min = 0; - clang_analyzer_eval(a < min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2) < min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2U) < min); // expected-warning{{FALSE}} -} - -void mixedSignedness12(int a) { - int min = 0; - clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}} -} - -void mixedSignedness13(int a) { - unsigned max = INT_MAX; - clang_analyzer_eval(a < max); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2) < max); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2U) < max); // expected-warning{{UNKNOWN}} -} - -void mixedSignedness14(int a) { - unsigned max = INT_MAX; - clang_analyzer_eval(a <= max); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2) <= max); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2U) <= max); // expected-warning{{UNKNOWN}} -} - -void mixedSignedness15(int a) { - unsigned min = INT_MIN; - clang_analyzer_eval(a < min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2) < min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2U) < min); // expected-warning{{UNKNOWN}} -} - -void mixedSignedness16(int a) { - unsigned min = INT_MIN; - clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}} - clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}} -} - -void mixedSignedness17(int a) { - unsigned max = INT_MAX; - if (a < max) - return; - - clang_analyzer_eval(a < 0); // expected-warning{{UNKNOWN}} - clang_analyzer_eval(a == 0); // expected-warning{{FALSE}} - clang_analyzer_eval(a == INT_MAX); // expected-warning{{UNKNOWN}} -} - -void mixedSignedness18(int a) { - if (a >= 0) - return; - - clang_analyzer_eval(a < 0); // expected-warning{{TRUE}} - clang_analyzer_eval(a == (unsigned)INT_MIN); // expected-warning{{UNKNOWN}} - clang_analyzer_eval(a == UINT_MAX); // expected-warning{{UNKNOWN}} -} |