summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/additive-folding.c
diff options
context:
space:
mode:
Diffstat (limited to 'clang/test/Analysis/additive-folding.c')
-rw-r--r--clang/test/Analysis/additive-folding.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/test/Analysis/additive-folding.c b/clang/test/Analysis/additive-folding.c
index e4a56513396..713f788ac0d 100644
--- a/clang/test/Analysis/additive-folding.c
+++ b/clang/test/Analysis/additive-folding.c
@@ -183,14 +183,14 @@ void tautologyGT (unsigned a) {
void tautologyGE (unsigned a) {
char* b = malloc(1);
- if (a >= 0)
+ if (a >= 0) // expected-warning{{always true}}
free(b);
return; // no-warning
}
void tautologyLT (unsigned a) {
char* b = malloc(1);
- if (a < 0)
+ if (a < 0) // expected-warning{{always false}}
return; // expected-warning{{never executed}}
free(b);
}
OpenPOWER on IntegriCloud