1 #include "check_debug.h"
2 
3 unsigned int x;
4 int y;
test(void)5 void test(void)
6 {
7 	if (x & 0x1)
8 		__smatch_implied(x);
9 	if (y & 0x4)
10 		__smatch_implied(y);
11 
12 }
13 
14 /*
15  * check-name: smatch bitwise #2
16  * check-command: smatch -I.. sm_bitwise2.c
17  *
18  * check-output-start
19 sm_bitwise2.c:8 test() implied: x = '1-u32max'
20 sm_bitwise2.c:10 test() implied: y = 's32min-(-1),4-s32max'
21  * check-output-end
22  */
23