mtag_data: re-write in terms of mtag/offset
[smatch.git] / validation / sm_bitwise2.c
blobfaa8e3202c6a79e1063c321df244b0504c62a735
1 #include "check_debug.h"
3 unsigned int x;
4 int y;
5 void test(void)
7 if (x & 0x1)
8 __smatch_implied(x);
9 if (y & 0x4)
10 __smatch_implied(y);
15 * check-name: smatch bitwise #2
16 * check-command: smatch -I.. sm_bitwise2.c
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