1static unsigned int ok1  = !1 &&  2;
2static unsigned int bad1 = !1 &   2;
3static unsigned int ok2  = !1 ||  2;
4static unsigned int bad2 = !1 |   2;
5static unsigned int ok3  =  1 && !2;
6static unsigned int bad3 =  1 &  !2;
7static unsigned int ok4  =  1 || !2;
8static unsigned int bad4 =  1 |  !2;
9static unsigned int ok5  = !1 && !2;
10static unsigned int bad5 = !1 &  !2;
11static unsigned int ok6  = !1 || !2;
12static unsigned int bad6 = !1 |  !2;
13/*
14 * check-name: Dubious bitwise operation on !x
15 *
16 * check-error-start
17dubious-bitwise-with-not.c:2:31: warning: dubious: !x & y
18dubious-bitwise-with-not.c:4:31: warning: dubious: !x | y
19dubious-bitwise-with-not.c:6:31: warning: dubious: x & !y
20dubious-bitwise-with-not.c:8:31: warning: dubious: x | !y
21dubious-bitwise-with-not.c:10:31: warning: dubious: !x & !y
22dubious-bitwise-with-not.c:12:31: warning: dubious: !x | !y
23 * check-error-end
24 */
25