11f5207b7SJohn Levon #include "check_debug.h" 21f5207b7SJohn Levon 31f5207b7SJohn Levon unsigned int x; test(void)41f5207b7SJohn Levonvoid test(void) 51f5207b7SJohn Levon { 61f5207b7SJohn Levon __smatch_implied(x & 0x1); 71f5207b7SJohn Levon __smatch_implied(x & 0x2); 81f5207b7SJohn Levon __smatch_implied(x & ~(0xffU)); 91f5207b7SJohn Levon __smatch_implied(x & ~(0xff)); 101f5207b7SJohn Levon } 111f5207b7SJohn Levon 121f5207b7SJohn Levon /* 131f5207b7SJohn Levon * check-name: smatch bitwise #1 141f5207b7SJohn Levon * check-command: smatch -I.. sm_bitwise1.c 151f5207b7SJohn Levon * 161f5207b7SJohn Levon * check-output-start 171f5207b7SJohn Levon sm_bitwise1.c:6 test() implied: x & 1 = '0-1' 181f5207b7SJohn Levon sm_bitwise1.c:7 test() implied: x & 2 = '0,2' 191f5207b7SJohn Levon sm_bitwise1.c:8 test() implied: x & ~(255) = '0,256-4294967040' 20*efe51d0cSJohn Levon sm_bitwise1.c:9 test() implied: x & ~(255) = '0,256-4294967040' 211f5207b7SJohn Levon * check-output-end 221f5207b7SJohn Levon */ 23