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

3

int some_func();

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

9

d = some_func();

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

14

*p = some_func();

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

3

int some_func(void);

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

22

ab = some_func();

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

13

p = some_func();

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

18

p2 = some_func();

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

3

char *some_func(void);

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

16

c = some_func();

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

2

int some_func();

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

44

some_func(&seven);

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

47

if (some_func()) {

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

19

a = some_func();

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

21

b = some_func();

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

23

c = some_func();

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

25

d = some_func();