Symbol: f01
usr/src/tools/smatch/src/validation/c11-atomic.c
2
void f01(int _Atomic *dst);
usr/src/tools/smatch/src/validation/restrict.c
2
void f01(void *restrict *dst);