maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/Analysis/constraint_manager_conditio...

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

214 lines
11 KiB
C++
Raw Normal View History

[analyzer] Reasoning about comparison expressions in RangeConstraintManager Summary: Implemented RangeConstraintManager::getRangeForComparisonSymbol which handles comparison operators. RangeConstraintManager::getRangeForComparisonSymbol cares about the sanity of comparison expressions sequences helps reasonably to branch an exploded graph. It can significantly reduce the graph and speed up the analysis. For more details, please, see the differential revision. This fixes https://bugs.llvm.org/show_bug.cgi?id=13426 Differential Revision: https://reviews.llvm.org/D78933
2020-06-15 20:31:10 +08:00
// RUN: %clang_analyze_cc1 -analyzer-checker=debug.ExprInspection -verify %s
void clang_analyzer_eval(int);
void comparison_lt(int x, int y) {
if (x < y) {
clang_analyzer_eval(x < y); // expected-warning{{TRUE}}
clang_analyzer_eval(y > x); // expected-warning{{TRUE}}
clang_analyzer_eval(x > y); // expected-warning{{FALSE}}
clang_analyzer_eval(y < x); // expected-warning{{FALSE}}
clang_analyzer_eval(x <= y); // expected-warning{{TRUE}}
clang_analyzer_eval(y >= x); // expected-warning{{TRUE}}
clang_analyzer_eval(x >= y); // expected-warning{{FALSE}}
clang_analyzer_eval(y <= x); // expected-warning{{FALSE}}
clang_analyzer_eval(x == y); // expected-warning{{FALSE}}
clang_analyzer_eval(y == x); // expected-warning{{FALSE}}
clang_analyzer_eval(x != y); // expected-warning{{TRUE}}
clang_analyzer_eval(y != x); // expected-warning{{TRUE}}
} else {
clang_analyzer_eval(x < y); // expected-warning{{FALSE}}
clang_analyzer_eval(y > x); // expected-warning{{FALSE}}
clang_analyzer_eval(x > y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y < x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x <= y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y >= x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x >= y); // expected-warning{{TRUE}}
clang_analyzer_eval(y <= x); // expected-warning{{TRUE}}
clang_analyzer_eval(x == y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y == x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x != y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y != x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
}
}
void comparison_gt(int x, int y) {
if (x > y) {
clang_analyzer_eval(x < y); // expected-warning{{FALSE}}
clang_analyzer_eval(y > x); // expected-warning{{FALSE}}
clang_analyzer_eval(x > y); // expected-warning{{TRUE}}
clang_analyzer_eval(y < x); // expected-warning{{TRUE}}
clang_analyzer_eval(x <= y); // expected-warning{{FALSE}}
clang_analyzer_eval(y >= x); // expected-warning{{FALSE}}
clang_analyzer_eval(x >= y); // expected-warning{{TRUE}}
clang_analyzer_eval(y <= x); // expected-warning{{TRUE}}
clang_analyzer_eval(x == y); // expected-warning{{FALSE}}
clang_analyzer_eval(y == x); // expected-warning{{FALSE}}
clang_analyzer_eval(x != y); // expected-warning{{TRUE}}
clang_analyzer_eval(y != x); // expected-warning{{TRUE}}
} else {
clang_analyzer_eval(x < y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y > x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x > y); // expected-warning{{FALSE}}
clang_analyzer_eval(y < x); // expected-warning{{FALSE}}
clang_analyzer_eval(x <= y); // expected-warning{{TRUE}}
clang_analyzer_eval(y >= x); // expected-warning{{TRUE}}
clang_analyzer_eval(x >= y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y <= x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x == y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y == x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x != y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y != x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
}
}
void comparison_le(int x, int y) {
if (x <= y) {
clang_analyzer_eval(x < y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y > x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x > y); // expected-warning{{FALSE}}
clang_analyzer_eval(y < x); // expected-warning{{FALSE}}
clang_analyzer_eval(x <= y); // expected-warning{{TRUE}}
clang_analyzer_eval(y >= x); // expected-warning{{TRUE}}
clang_analyzer_eval(x >= y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y <= x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x == y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y == x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x != y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y != x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
} else {
clang_analyzer_eval(x < y); // expected-warning{{FALSE}}
clang_analyzer_eval(y > x); // expected-warning{{FALSE}}
clang_analyzer_eval(x > y); // expected-warning{{TRUE}}
clang_analyzer_eval(y < x); // expected-warning{{TRUE}}
clang_analyzer_eval(x <= y); // expected-warning{{FALSE}}
clang_analyzer_eval(y >= x); // expected-warning{{FALSE}}
clang_analyzer_eval(x >= y); // expected-warning{{TRUE}}
clang_analyzer_eval(y <= x); // expected-warning{{TRUE}}
clang_analyzer_eval(x == y); // expected-warning{{FALSE}}
clang_analyzer_eval(y == x); // expected-warning{{FALSE}}
clang_analyzer_eval(x != y); // expected-warning{{TRUE}}
clang_analyzer_eval(y != x); // expected-warning{{TRUE}}
}
}
void comparison_ge(int x, int y) {
if (x >= y) {
clang_analyzer_eval(x < y); // expected-warning{{FALSE}}
clang_analyzer_eval(y > x); // expected-warning{{FALSE}}
clang_analyzer_eval(x > y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y < x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x <= y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y >= x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x >= y); // expected-warning{{TRUE}}
clang_analyzer_eval(y <= x); // expected-warning{{TRUE}}
clang_analyzer_eval(x == y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y == x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x != y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y != x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
} else {
clang_analyzer_eval(x < y); // expected-warning{{TRUE}}
clang_analyzer_eval(y > x); // expected-warning{{TRUE}}
clang_analyzer_eval(x > y); // expected-warning{{FALSE}}
clang_analyzer_eval(y < x); // expected-warning{{FALSE}}
clang_analyzer_eval(x <= y); // expected-warning{{TRUE}}
clang_analyzer_eval(y >= x); // expected-warning{{TRUE}}
clang_analyzer_eval(x >= y); // expected-warning{{FALSE}}
clang_analyzer_eval(y <= x); // expected-warning{{FALSE}}
clang_analyzer_eval(x == y); // expected-warning{{FALSE}}
clang_analyzer_eval(y == x); // expected-warning{{FALSE}}
clang_analyzer_eval(x != y); // expected-warning{{TRUE}}
clang_analyzer_eval(y != x); // expected-warning{{TRUE}}
}
}
void comparison_eq(int x, int y) {
if (x == y) {
clang_analyzer_eval(x < y); // expected-warning{{FALSE}}
clang_analyzer_eval(y > x); // expected-warning{{FALSE}}
clang_analyzer_eval(x > y); // expected-warning{{FALSE}}
clang_analyzer_eval(y < x); // expected-warning{{FALSE}}
clang_analyzer_eval(x <= y); // expected-warning{{TRUE}}
clang_analyzer_eval(y >= x); // expected-warning{{TRUE}}
clang_analyzer_eval(x >= y); // expected-warning{{TRUE}}
clang_analyzer_eval(y <= x); // expected-warning{{TRUE}}
clang_analyzer_eval(x == y); // expected-warning{{TRUE}}
clang_analyzer_eval(y == x); // expected-warning{{TRUE}}
clang_analyzer_eval(x != y); // expected-warning{{FALSE}}
clang_analyzer_eval(y != x); // expected-warning{{FALSE}}
} else {
clang_analyzer_eval(x < y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y > x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x > y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y < x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x <= y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y >= x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x >= y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y <= x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x == y); // expected-warning{{FALSE}}
clang_analyzer_eval(y == x); // expected-warning{{FALSE}}
clang_analyzer_eval(x != y); // expected-warning{{TRUE}}
clang_analyzer_eval(y != x); // expected-warning{{TRUE}}
}
}
void comparison_ne(int x, int y) {
if (x != y) {
clang_analyzer_eval(x < y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y > x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x > y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y < x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x <= y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y >= x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x >= y); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(y <= x); // expected-warning{{TRUE}} expected-warning{{FALSE}}
clang_analyzer_eval(x == y); // expected-warning{{FALSE}}
clang_analyzer_eval(y == x); // expected-warning{{FALSE}}
clang_analyzer_eval(x != y); // expected-warning{{TRUE}}
clang_analyzer_eval(y != x); // expected-warning{{TRUE}}
} else {
clang_analyzer_eval(x < y); // expected-warning{{FALSE}}
clang_analyzer_eval(y > x); // expected-warning{{FALSE}}
clang_analyzer_eval(x > y); // expected-warning{{FALSE}}
clang_analyzer_eval(y < x); // expected-warning{{FALSE}}
clang_analyzer_eval(x <= y); // expected-warning{{TRUE}}
clang_analyzer_eval(y >= x); // expected-warning{{TRUE}}
clang_analyzer_eval(x >= y); // expected-warning{{TRUE}}
clang_analyzer_eval(y <= x); // expected-warning{{TRUE}}
clang_analyzer_eval(x == y); // expected-warning{{TRUE}}
clang_analyzer_eval(y == x); // expected-warning{{TRUE}}
clang_analyzer_eval(x != y); // expected-warning{{FALSE}}
clang_analyzer_eval(y != x); // expected-warning{{FALSE}}
}
}
void comparison_le_ne(int x, int y) {
if (x <= y)
if (x != y) {
clang_analyzer_eval(x < y); // expected-warning{{TRUE}}
clang_analyzer_eval(y > x); // expected-warning{{TRUE}}
clang_analyzer_eval(x >= y); // expected-warning{{FALSE}}
clang_analyzer_eval(y <= x); // expected-warning{{FALSE}}
}
}
void comparison_ge_ne(int x, int y) {
if (x >= y)
if (x != y) {
clang_analyzer_eval(x > y); // expected-warning{{TRUE}}
clang_analyzer_eval(y < x); // expected-warning{{TRUE}}
clang_analyzer_eval(x <= y); // expected-warning{{FALSE}}
clang_analyzer_eval(y >= x); // expected-warning{{FALSE}}
}
}
void comparison_le_ge(int x, int y) {
if (x <= y)
if (x >= y) {
clang_analyzer_eval(x == y); // expected-warning{{TRUE}}
clang_analyzer_eval(y == x); // expected-warning{{TRUE}}
clang_analyzer_eval(x != y); // expected-warning{{FALSE}}
clang_analyzer_eval(y != x); // expected-warning{{FALSE}}
}
}