Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_conditions.c577 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 Dsmatch_strlen.c43 return alloc_estate_sval(sval); in size_to_estate()
H A Dsmatch_estate.c389 struct smatch_state *alloc_estate_sval(sval_t sval) in alloc_estate_sval() function
H A Dsmatch_extra.h122 struct smatch_state *alloc_estate_sval(sval_t sval);
H A Dsmatch_extra.c857 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 Dsmatch_container_of.c544 set_state_stree(&db_info.stree, SMATCH_EXTRA, arg->ident->name, arg, alloc_estate_sval(sval)); in load_tag_info_sym()
H A Dsmatch_buf_size.c80 return alloc_estate_sval(sval); in size_to_estate()
H A Dsmatch_db.c1533 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()