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