]> git.ipfire.org Git - thirdparty/gcc.git/blob - gcc/testsuite/c-c++-common/Wbool-operation-1.c
re PR c/77490 (bit-not (~) on boolean should be warned about)
[thirdparty/gcc.git] / gcc / testsuite / c-c++-common / Wbool-operation-1.c
1 /* PR c/77490 */
2 /* { dg-do compile } */
3 /* { dg-options "-Wall" } */
4
5 #ifndef __cplusplus
6 # define bool _Bool
7 #endif
8
9 typedef volatile bool T;
10 typedef int __attribute__ ((vector_size (4 * sizeof (int)))) v4si;
11 extern bool foo (void);
12
13 int
14 fn (bool b, bool b2, T b3, int n, v4si v)
15 {
16 int r = 0;
17
18 r += ~b; /* { dg-warning "on an expression of type bool|on a boolean expression" } */
19 r += n + ~b; /* { dg-warning "on an expression of type bool|on a boolean expression" } */
20 r += ~(n == 1); /* { dg-warning "on an expression of type bool|on a boolean expression" } */
21 r += ~(n || 1); /* { dg-warning "on an expression of type bool|on a boolean expression" } */
22 r += ~b == 1; /* { dg-warning "on an expression of type bool|on a boolean expression" } */
23 r += ~(++n, n == 1); /* { dg-warning "on an expression of type bool|on a boolean expression" } */
24 r += ~(++n, n > 1); /* { dg-warning "on an expression of type bool|on a boolean expression" } */
25 r += ~(++n, n && 1); /* { dg-warning "on an expression of type bool|on a boolean expression" } */
26 r += (++n, ~b); /* { dg-warning "on an expression of type bool|on a boolean expression" } */
27 r += ~b3; /* { dg-warning "on an expression of type bool|on a boolean expression" } */
28 r += ~foo (); /* { dg-warning "on an expression of type bool|on a boolean expression" } */
29 r += ~(bool) !1; /* { dg-warning "on an expression of type bool|on a boolean expression" } */
30
31 v = ~v;
32 r += ~(int) b;
33 r += -b;
34
35 return r;
36 }