| Richard Trieu | 1cd076e | 2015-08-19 21:33:54 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -verify -fsyntax-only -Wno-logical-not-parentheses |
| Justin Bogner | 4f42fc4 | 2014-07-21 18:01:53 +0000 | [diff] [blame] | 2 | |
| 3 | void f(_Atomic(int) a, _Atomic(int) b) { |
| 4 | if (a > b) {} // no warning |
| 5 | if (a < b) {} // no warning |
| 6 | if (a >= b) {} // no warning |
| 7 | if (a <= b) {} // no warning |
| 8 | if (a == b) {} // no warning |
| 9 | if (a != b) {} // no warning |
| 10 | |
| 11 | if (a == 0) {} // no warning |
| 12 | if (a > 0) {} // no warning |
| 13 | if (a > 1) {} // no warning |
| 14 | if (a > 2) {} // no warning |
| 15 | |
| 16 | if (!a > 0) {} // no warning |
| 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}} |
| 19 | if (!a > b) {} // no warning |
| 20 | if (!a > -1) {} // expected-warning {{comparison of constant -1 with boolean expression is always true}} |
| 21 | } |
| David Majnemer | 7800f1f | 2015-05-23 01:32:17 +0000 | [diff] [blame] | 22 | |
| 23 | typedef _Atomic(int) Ty; |
| 24 | void PR23638(Ty *a) { |
| 25 | if (*a == 1) {} // no warning |
| 26 | } |