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

13

MY_MACRO(x++);

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

14

MY_MACRO(x+=1);

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

15

MY_MACRO(x=x+1);

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

16

MY_MACRO(x%=y);

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

17

MY_MACRO(x=y);

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

18

MY_MACRO(g(x));

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

19

MY_MACRO((y,g(x)));

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

21

MY_MACRO(x+1);

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

22

MY_MACRO(h(x));

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

23

MY_MACRO(i(x));