1 #include "check_debug.h" 2 3 unsigned int x; 4 int y; 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