Symbol: set_unfresh
usr/src/tools/smatch/src/smatch_fresh_alloc.c
152
set_unfresh(expr->right);
usr/src/tools/smatch/src/smatch_fresh_alloc.c
160
set_unfresh(arg);