diff options
Diffstat (limited to 'clang/test/Analysis/additive-folding.c')
| -rw-r--r-- | clang/test/Analysis/additive-folding.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/test/Analysis/additive-folding.c b/clang/test/Analysis/additive-folding.c index 713f788ac0d..e4a56513396 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) // expected-warning{{always true}} + if (a >= 0) free(b); return; // no-warning } void tautologyLT (unsigned a) { char* b = malloc(1); - if (a < 0) // expected-warning{{always false}} + if (a < 0) return; // expected-warning{{never executed}} free(b); } |

