Searched refs:alloc_estate_sval (Results 1 – 8 of 8) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_conditions.c | 577 set_extra_expr_mod(expr->left, alloc_estate_sval(sval_type_val(get_type(expr->left), 1))); in __handle_condition_assigns() 593 set_extra_expr_mod(expr->left, alloc_estate_sval(sval_type_val(get_type(expr->left), 0))); in __handle_condition_assigns()
|
H A D | smatch_strlen.c | 43 return alloc_estate_sval(sval); in size_to_estate()
|
H A D | smatch_estate.c | 389 struct smatch_state *alloc_estate_sval(sval_t sval) in alloc_estate_sval() function
|
H A D | smatch_extra.h | 122 struct smatch_state *alloc_estate_sval(sval_t sval);
|
H A D | smatch_extra.c | 857 set_extra_mod(sm->name, sm->sym, condition->unop, alloc_estate_sval(after_value)); in while_count_down_after() 891 state = alloc_estate_sval(limit); in __extra_pre_loop_hook_after() 1050 set_state(SMATCH_EXTRA, name, sym, alloc_estate_sval(sval_cast(type, sval))); in save_chunk_info() 1110 state = alloc_estate_sval(sval_cast(left_type, sval)); in match_vanilla_assign() 1120 state = alloc_estate_sval(sval); in match_vanilla_assign()
|
H A D | smatch_container_of.c | 544 set_state_stree(&db_info.stree, SMATCH_EXTRA, arg->ident->name, arg, alloc_estate_sval(sval)); in load_tag_info_sym()
|
H A D | smatch_buf_size.c | 80 return alloc_estate_sval(sval); in size_to_estate()
|
H A D | smatch_db.c | 1533 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_sval(sval)); in call_return_state_hooks_compare() 1547 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_sval(sval)); in call_return_state_hooks_compare()
|