Symbol: f02
usr/src/tools/smatch/src/validation/c11-atomic.c
11
void f02(int *dst) { } /* check-should-fail */
usr/src/tools/smatch/src/validation/restrict.c
11
void f02(void **dst) { } /* check-should-fail */