usr/src/tools/smatch/src/validation/sm_skb2.c

27

__smatch_user_rl(*skb->data);

usr/src/tools/smatch/src/validation/sm_skb2.c

28

__smatch_user_rl(skb->data + 1);

usr/src/tools/smatch/src/validation/sm_skb2.c

29

__smatch_user_rl(*(int *)skb->data);

usr/src/tools/smatch/src/validation/sm_skb2.c

30

__smatch_user_rl(skb->data - skb_network_header(skb));

usr/src/tools/smatch/src/validation/sm_skb2.c

36

__smatch_user_rl(p->a);

usr/src/tools/smatch/src/validation/sm_skb2.c

37

__smatch_user_rl(x);

usr/src/tools/smatch/src/validation/sm_skb2.c

38

__smatch_user_rl(y);

usr/src/tools/smatch/src/validation/sm_skb3.c

17

__smatch_user_rl(p->a);

usr/src/tools/smatch/src/validation/sm_user_data1.c

21

__smatch_user_rl(foo.x);

usr/src/tools/smatch/src/validation/sm_user_data2.c

22

__smatch_user_rl(a->x);

usr/src/tools/smatch/src/validation/sm_user_data3.c

19

__smatch_user_rl(b->y);

usr/src/tools/smatch/src/validation/sm_user_data3.c

21

__smatch_user_rl(b->y);

usr/src/tools/smatch/src/validation/sm_user_data3.c

23

__smatch_user_rl(b->y);

usr/src/tools/smatch/src/validation/sm_user_data4.c

30

__smatch_user_rl(x);

usr/src/tools/smatch/src/validation/sm_user_data4.c

32

__smatch_user_rl(p);

usr/src/tools/smatch/src/validation/sm_user_data4.c

33

__smatch_user_rl(p->x);