diff options
Diffstat (limited to 'test/Analysis/constant-folding.c')
| -rw-r--r-- | test/Analysis/constant-folding.c | 74 |
1 files changed, 37 insertions, 37 deletions
diff --git a/test/Analysis/constant-folding.c b/test/Analysis/constant-folding.c index 6ed2b39..9191a9e 100644 --- a/test/Analysis/constant-folding.c +++ b/test/Analysis/constant-folding.c @@ -9,51 +9,51 @@ void testComparisons (int a) { // Sema can already catch the simple comparison a==a, // since that's usually a logic error (and not path-dependent). int b = a; - if (!(b==a)) WARN; - if (!(b>=a)) WARN; - if (!(b<=a)) WARN; - if (b!=a) WARN; - if (b>a) WARN; - if (b<a) WARN; + if (!(b==a)) WARN; // expected-warning{{never executed}} + if (!(b>=a)) WARN; // expected-warning{{never executed}} + if (!(b<=a)) WARN; // expected-warning{{never executed}} + if (b!=a) WARN; // expected-warning{{never executed}} + if (b>a) WARN; // expected-warning{{never executed}} + if (b<a) WARN; // expected-warning{{never executed}} } void testSelfOperations (int a) { - if ((a|a) != a) WARN; - if ((a&a) != a) WARN; - if ((a^a) != 0) WARN; - if ((a-a) != 0) WARN; + if ((a|a) != a) WARN; // expected-warning{{never executed}} + if ((a&a) != a) WARN; // expected-warning{{never executed}} + if ((a^a) != 0) WARN; // expected-warning{{never executed}} + if ((a-a) != 0) WARN; // expected-warning{{never executed}} } void testIdempotent (int a) { - if ((a*1) != a) WARN; - if ((a/1) != a) WARN; - if ((a+0) != a) WARN; - if ((a-0) != a) WARN; - if ((a<<0) != a) WARN; - if ((a>>0) != a) WARN; - if ((a^0) != a) WARN; - if ((a&(~0)) != a) WARN; - if ((a|0) != a) WARN; + if ((a*1) != a) WARN; // expected-warning{{never executed}} + if ((a/1) != a) WARN; // expected-warning{{never executed}} + if ((a+0) != a) WARN; // expected-warning{{never executed}} + if ((a-0) != a) WARN; // expected-warning{{never executed}} + if ((a<<0) != a) WARN; // expected-warning{{never executed}} + if ((a>>0) != a) WARN; // expected-warning{{never executed}} + if ((a^0) != a) WARN; // expected-warning{{never executed}} + if ((a&(~0)) != a) WARN; // expected-warning{{never executed}} + if ((a|0) != a) WARN; // expected-warning{{never executed}} } void testReductionToConstant (int a) { - if ((a*0) != 0) WARN; - if ((a&0) != 0) WARN; - if ((a|(~0)) != (~0)) WARN; + if ((a*0) != 0) WARN; // expected-warning{{never executed}} + if ((a&0) != 0) WARN; // expected-warning{{never executed}} + if ((a|(~0)) != (~0)) WARN; // expected-warning{{never executed}} } void testSymmetricIntSymOperations (int a) { - if ((2+a) != (a+2)) WARN; - if ((2*a) != (a*2)) WARN; - if ((2&a) != (a&2)) WARN; - if ((2^a) != (a^2)) WARN; - if ((2|a) != (a|2)) WARN; + if ((2+a) != (a+2)) WARN; // expected-warning{{never executed}} + if ((2*a) != (a*2)) WARN; // expected-warning{{never executed}} + if ((2&a) != (a&2)) WARN; // expected-warning{{never executed}} + if ((2^a) != (a^2)) WARN; // expected-warning{{never executed}} + if ((2|a) != (a|2)) WARN; // expected-warning{{never executed}} } void testAsymmetricIntSymOperations (int a) { - if (((~0) >> a) != (~0)) WARN; - if ((0 >> a) != 0) WARN; - if ((0 << a) != 0) WARN; + if (((~0) >> a) != (~0)) WARN; // expected-warning{{never executed}} + if ((0 >> a) != 0) WARN; // expected-warning{{never executed}} + if ((0 << a) != 0) WARN; // expected-warning{{never executed}} // Unsigned right shift shifts in zeroes. if ((((unsigned)(~0)) >> ((unsigned) a)) != ((unsigned)(~0))) @@ -62,11 +62,11 @@ void testAsymmetricIntSymOperations (int a) { void testLocations (char *a) { char *b = a; - if (!(b==a)) WARN; - if (!(b>=a)) WARN; - if (!(b<=a)) WARN; - if (b!=a) WARN; - if (b>a) WARN; - if (b<a) WARN; - if (b-a) WARN; + if (!(b==a)) WARN; // expected-warning{{never executed}} + if (!(b>=a)) WARN; // expected-warning{{never executed}} + if (!(b<=a)) WARN; // expected-warning{{never executed}} + if (b!=a) WARN; // expected-warning{{never executed}} + if (b>a) WARN; // expected-warning{{never executed}} + if (b<a) WARN; // expected-warning{{never executed}} + if (b-a) WARN; // expected-warning{{never executed}} } |
