Symbol: sfun
usr/src/tools/smatch/src/validation/backend/pointer-param.c
2
static int sfun(int a) { return a; }
usr/src/tools/smatch/src/validation/backend/symaddr.c
4
static int sfun(void) { return 0; }