Home
last modified time | relevance | path

Searched refs:alloc_estate_empty (Results 1 – 8 of 8) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_imaginary_absolute.c41 return alloc_estate_empty(); in empty_state()
46 return alloc_estate_empty(); in merge_is_empty()
51 set_state(my_id, sm->name, sm->sym, alloc_estate_empty()); in reset()
H A Dsmatch_param_filter.c67 return alloc_estate_empty(); in unmatched_state()
108 set_state(my_id, name, sym, alloc_estate_empty()); in extra_mod_hook()
H A Dsmatch_kernel_user_data.c83 return alloc_estate_empty(); in empty_state()
655 set_state_expr(my_id, expr->left, alloc_estate_empty()); in match_assign()
672 expr->op == SPECIAL_EQUAL ? alloc_estate_empty() : NULL, in handle_eq_noteq()
673 expr->op == SPECIAL_EQUAL ? NULL : alloc_estate_empty()); in handle_eq_noteq()
676 expr->op == SPECIAL_EQUAL ? alloc_estate_empty() : NULL, in handle_eq_noteq()
677 expr->op == SPECIAL_EQUAL ? NULL : alloc_estate_empty()); in handle_eq_noteq()
1133 set_state(my_id, name, sym, alloc_estate_empty()); in db_param_set()
H A Dsmatch_real_absolute.c74 return alloc_estate_empty(); in empty_state()
H A Dsmatch_param_set.c44 return alloc_estate_empty(); in unmatched_state()
H A Dsmatch_estate.c362 struct smatch_state *alloc_estate_empty(void) in alloc_estate_empty() function
H A Dsmatch_extra.h121 struct smatch_state *alloc_estate_empty(void);
H A Dsmatch_extra.c934 return alloc_estate_empty(); in unmatched_state()