Symbol: FRESH_ALLOC
usr/src/tools/smatch/src/smatch_fresh_alloc.c
134
sql_insert_return_states(return_id, return_ranges, FRESH_ALLOC, -1, "$", "");
usr/src/tools/smatch/src/smatch_fresh_alloc.c
214
select_return_states_hook(FRESH_ALLOC, &returns_fresh_alloc);
usr/src/tools/smatch/src/smatch_fresh_alloc.c
95
get_static_filter(call->fn->symbol), FRESH_ALLOC);