| OLD | NEW |
| 1 // RUN: %clang_cc1 %s -verify -fsyntax-only | 1 // RUN: %clang_cc1 %s -verify -fsyntax-only |
| 2 | 2 |
| 3 void f(_Atomic(int) a, _Atomic(int) b) { | 3 void f(_Atomic(int) a, _Atomic(int) b) { |
| 4 if (a > b) {} // no warning | 4 if (a > b) {} // no warning |
| 5 if (a < b) {} // no warning | 5 if (a < b) {} // no warning |
| 6 if (a >= b) {} // no warning | 6 if (a >= b) {} // no warning |
| 7 if (a <= b) {} // no warning | 7 if (a <= b) {} // no warning |
| 8 if (a == b) {} // no warning | 8 if (a == b) {} // no warning |
| 9 if (a != b) {} // no warning | 9 if (a != b) {} // no warning |
| 10 | 10 |
| 11 if (a == 0) {} // no warning | 11 if (a == 0) {} // no warning |
| 12 if (a > 0) {} // no warning | 12 if (a > 0) {} // no warning |
| 13 if (a > 1) {} // no warning | 13 if (a > 1) {} // no warning |
| 14 if (a > 2) {} // no warning | 14 if (a > 2) {} // no warning |
| 15 | 15 |
| 16 if (!a > 0) {} // no warning | 16 if (!a > 0) {} // no warning |
| 17 if (!a > 1) {} // expected-warning {{comparison of constant 1 with boolean
expression is always false}} | 17 if (!a > 1) {} // expected-warning {{comparison of constant 1 with boolean
expression is always false}} |
| 18 if (!a > 2) {} // expected-warning {{comparison of constant 2 with boolean
expression is always false}} | 18 if (!a > 2) {} // expected-warning {{comparison of constant 2 with boolean
expression is always false}} |
| 19 if (!a > b) {} // no warning | 19 if (!a > b) {} // no warning |
| 20 if (!a > -1) {} // expected-warning {{comparison of constant -1 with boolea
n expression is always true}} | 20 if (!a > -1) {} // expected-warning {{comparison of constant -1 with boolea
n expression is always true}} |
| 21 } | 21 } |
| 22 |
| 23 typedef _Atomic(int) Ty; |
| 24 void PR23638(Ty *a) { |
| 25 if (*a == 1) {} // no warning |
| 26 } |
| OLD | NEW |