Symbol: fun1
usr/src/tools/smatch/src/validation/backend/fn-ref.c
13
return fun1;
usr/src/tools/smatch/src/validation/backend/fn-ref.c
2
extern int fun1(int a);