Home
last modified time | relevance | path

Searched refs:PARAM_FREED (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_frees_param.c85 sql_insert_return_implies(PARAM_FREED, param, param_name, "1"); in process_states()
101 select_return_implies_hook(PARAM_FREED, &set_param_freed); in check_frees_param()
H A Dcheck_frees_param_strict.c138 sql_insert_return_states(return_id, return_ranges, PARAM_FREED, in param_freed_info()
157 select_return_states_hook(PARAM_FREED, &set_param_freed); in check_frees_param_strict()
H A Dcheck_free.c300 select_return_implies_hook(PARAM_FREED, &set_param_freed); in check_free()
H A Dcheck_free_strict.c363 select_return_states_hook(PARAM_FREED, &set_param_freed); in check_free_strict()
H A Dsmatch.h836 PARAM_FREED = 1013, enumerator