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