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

10

__smatch_compare(a, c);

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

16

__smatch_compare(a, d);

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

18

__smatch_compare(a, d);

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

19

__smatch_compare(a, b + c);

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

21

__smatch_compare(a, b + c);

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

24

__smatch_compare(a, b + c);

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

12

__smatch_compare(x, y);

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

15

__smatch_compare(x, y);

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

8

__smatch_compare(x, y);

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

20

__smatch_compare(a, xxx);

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

13

__smatch_compare(a, b);

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

18

__smatch_compare(b, c);

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

28

__smatch_compare(g, e);

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

29

__smatch_compare(e, g);

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

12

__smatch_compare(x, y);

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

13

__smatch_compare(g, e);

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

9

__smatch_compare(a, b);

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

7

__smatch_compare(a, b);

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

7

__smatch_compare(a, b);