diff options
Diffstat (limited to 'test/Analysis/additive-folding.cpp')
| -rw-r--r-- | test/Analysis/additive-folding.cpp | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/test/Analysis/additive-folding.cpp b/test/Analysis/additive-folding.cpp index 4d58f1c..c2e5026 100644 --- a/test/Analysis/additive-folding.cpp +++ b/test/Analysis/additive-folding.cpp @@ -1,4 +1,4 @@ -// RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -verify -analyzer-constraints=range -Wno-tautological-compare -Wtautological-constant-out-of-range-compare %s +// RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -verify -analyzer-constraints=range -Wno-tautological-compare %s void clang_analyzer_eval(bool); @@ -128,10 +128,10 @@ void tautologies(unsigned a) { // Tautologies from outside the range of the symbol void tautologiesOutside(unsigned char a) { - clang_analyzer_eval(a <= 0x100); // expected-warning{{comparison of constant 256 with expression of type 'unsigned char' is always true}} expected-warning{{TRUE}} - clang_analyzer_eval(a < 0x100); // expected-warning{{comparison of constant 256 with expression of type 'unsigned char' is always true}} expected-warning{{TRUE}} + clang_analyzer_eval(a <= 0x100); // expected-warning{{TRUE}} + clang_analyzer_eval(a < 0x100); // expected-warning{{TRUE}} - clang_analyzer_eval(a != 0x100); // expected-warning{{comparison of constant 256 with expression of type 'unsigned char' is always true}} expected-warning{{TRUE}} + clang_analyzer_eval(a != 0x100); // expected-warning{{TRUE}} clang_analyzer_eval(a != -1); // expected-warning{{TRUE}} clang_analyzer_eval(a > -1); // expected-warning{{TRUE}} @@ -184,6 +184,18 @@ void mixedSignedness(int a, unsigned b) { clang_analyzer_eval(b == uMin && b != sMin); // expected-warning{{FALSE}} } +void mixedSignedness2(int a) { + if (a != -1) + return; + clang_analyzer_eval(a == UINT_MAX); // expected-warning{{TRUE}} +} + +void mixedSignedness3(unsigned a) { + if (a != UINT_MAX) + return; + clang_analyzer_eval(a == -1); // expected-warning{{TRUE}} +} + void multiplicativeSanityTest(int x) { // At one point we were ignoring the *4 completely -- the constraint manager |
