Symbol: fun0
usr/src/tools/smatch/src/validation/backend/fn-ref.c
1
extern int fun0(int a);
usr/src/tools/smatch/src/validation/backend/fn-ref.c
7
int v = fun0(a);