additive-folding-range-constraints.c [plain text]
void clang_analyzer_eval(int);
#define UINT_MAX (~0U)
#define INT_MAX (UINT_MAX & (UINT_MAX >> 1))
#define INT_MIN (-INT_MAX - 1)
void smallAdjustmentGT (unsigned a) {
if (a+2 > 1)
clang_analyzer_eval(a < UINT_MAX-1); else
clang_analyzer_eval(a == UINT_MAX-1 || a == UINT_MAX); }
void smallAdjustmentGE (unsigned a) {
if (a+2 >= 1)
clang_analyzer_eval(a < UINT_MAX-1 || a == UINT_MAX); else
clang_analyzer_eval(a == UINT_MAX-1); }
void smallAdjustmentLT (unsigned a) {
if (a+1 < 2)
clang_analyzer_eval(a == 0 || a == UINT_MAX); }
void smallAdjustmentLE (unsigned a) {
if (a+1 <= 2)
clang_analyzer_eval(a == 0 || a == 1 || a == UINT_MAX); }
void largeAdjustmentGT (unsigned a) {
if (a-2 > UINT_MAX-1)
clang_analyzer_eval(a == 1); else
clang_analyzer_eval(a != 1); }
void largeAdjustmentGE (unsigned a) {
if (a-2 >= UINT_MAX-1)
clang_analyzer_eval(a == 1 || a == 0); else
clang_analyzer_eval(a > 1); }
void largeAdjustmentLT (unsigned a) {
if (a+2 < 1)
clang_analyzer_eval(a == UINT_MAX-1); else
clang_analyzer_eval(a != UINT_MAX-1); }
void largeAdjustmentLE (unsigned a) {
if (a+2 <= 1)
clang_analyzer_eval(a == UINT_MAX-1 || a == UINT_MAX); else
clang_analyzer_eval(a < UINT_MAX-1); }
void mixedComparisons1(signed char a) {
int min = INT_MIN;
clang_analyzer_eval((a - 2) >= (min + 5LL));
clang_analyzer_eval(a == 0); clang_analyzer_eval(a == 0x7F); clang_analyzer_eval(a == -0x80); }
void mixedComparisons2(signed char a) {
clang_analyzer_eval((a - 5) < (-0x81LL));
if ((a - 5) < (-0x81LL)) {
clang_analyzer_eval(a == 0); clang_analyzer_eval(a == 0x7F); clang_analyzer_eval(a == -0x80); }
}
void mixedComparisons3(signed char a) {
clang_analyzer_eval((a - 0x200) < -0x100LL);
clang_analyzer_eval(a == 0); clang_analyzer_eval(a == 0x7F); clang_analyzer_eval(a == -0x80); }
void mixedComparisons4(signed char a) {
clang_analyzer_eval((a - 5) > 0LL);
if ((a - 5) > 0LL) {
clang_analyzer_eval(a == 0); clang_analyzer_eval(a == 0x7F); clang_analyzer_eval(a == -0x80); }
}
void mixedComparisons5(signed char a) {
clang_analyzer_eval((a + 5) == 0LL);
if ((a + 5) == 0LL) {
clang_analyzer_eval(a == 0); clang_analyzer_eval(a == 0x7F); clang_analyzer_eval(a == -0x80); } else {
clang_analyzer_eval(a == 0); clang_analyzer_eval(a == 0x7F); clang_analyzer_eval(a == -0x80); }
}
void mixedComparisons6(signed char a) {
clang_analyzer_eval((a + 5) > 0x81LL);
if ((a + 5) > 0x81LL) {
clang_analyzer_eval(a == 0); clang_analyzer_eval(a == 0x7F); clang_analyzer_eval(a == -0x80); }
}
void mixedComparisons7(signed char a) {
int min = INT_MIN;
clang_analyzer_eval((a + 2) >= (min + 5LL));
clang_analyzer_eval(a == 0); clang_analyzer_eval(a == 0x7F); clang_analyzer_eval(a == -0x80); }
void mixedComparisons8(signed char a) {
clang_analyzer_eval((a + 5) < 0LL);
if ((a + 5) < 0LL) {
clang_analyzer_eval(a == 0); clang_analyzer_eval(a == 0x7F); clang_analyzer_eval(a == -0x80); }
}
void mixedComparisons9(signed char a) {
int max = INT_MAX;
clang_analyzer_eval((a + 2) <= (max - 5LL));
clang_analyzer_eval(a == 0); clang_analyzer_eval(a == 0x7F); clang_analyzer_eval(a == -0x80); }