Home
last modified time | relevance | path

Searched refs:estate_type (Results 1 – 11 of 11) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_param_limit.c72 return alloc_estate_whole(estate_type(sm->state)); in unmatched_state()
108 if (!estate_type(state) || estate_type(state)->type != SYM_PTR) in generify_mtag_range()
178 orig_vals = get_orig_estate_type(name, sym, estate_type(state)); in extra_mod_hook()
H A Dsmatch_estate.c133 if (is_ptr_type(estate_type(state))) in estate_set_hard_max()
205 struct symbol *estate_type(struct smatch_state *state) in estate_type() function
350 rl = cast_rl(estate_type(state), rl); in clone_partial_estate()
H A Dsmatch_bits.c102 type = estate_type(estate); in unmatched_state()
421 if (is_unknown_binfo(estate_type(estate), binfo)) in struct_member_callback()
H A Dsmatch_param_filter.c72 return alloc_estate_whole(estate_type(sm->state)); in unmatched_state()
H A Dsmatch_extra.c465 set_extra_nomod_helper(rel->name, rel->sym, expr, clone_estate_cast(estate_type(estate), state)); in set_extra_nomod()
768 end = sval_cast(estate_type(sm->state), end); in handle_canonical_for_dec()
879 sval_type_val(estate_type(sm->state), 1)); in __extra_pre_loop_hook_after()
882 sval_type_val(estate_type(sm->state), 1)); in __extra_pre_loop_hook_after()
884 limit = sval_cast(estate_type(sm->state), limit); in __extra_pre_loop_hook_after()
937 return alloc_estate_whole(estate_type(sm->state)); in unmatched_state()
959 set_extra_mod(tmp->name, tmp->sym, expr, alloc_estate_whole(estate_type(tmp->state))); in clear_the_pointed_at()
2275 if (!rl_has_sval(estate_rl(estate), sval_type_val(estate_type(estate), 0))) in implied_not_equal_name_sym()
2841 type = estate_type(state); in set_param_fuzzy_max()
2926 set_state(SMATCH_EXTRA, tmp->var, tmp->sym, alloc_estate_whole(estate_type(state))); in match_link_modify()
H A Dcheck_nospec.c211 type = estate_type(sm->state); in mark_user_data_as_nospec()
H A Dsmatch_implied.c157 true_rl = rl_truncate_cast(estate_type(sm->state), true_rl); in create_fake_history()
158 false_rl = rl_truncate_cast(estate_type(sm->state), false_rl); in create_fake_history()
805 …separate_and_filter(sm, SPECIAL_NOTEQUAL, tmp_range_list(estate_type(sm->state), 0), __get_cur_str… in handle_zero_comparison()
H A Dsmatch_mtag.c153 tag_sval.type = estate_type(state); in get_mtag_return()
H A Dsmatch_extra.h141 struct symbol *estate_type(struct smatch_state *state);
H A Dsmatch_db.c1656 if (!type_signed(estate_type(sm->state))) in has_possible_negative()
1834 if (!type_signed(estate_type(sm->state))) in is_kernel_success_fail()
H A Dsmatch_function_hooks.c901 range_rl = cast_rl(estate_type(db_info->ret_state), range_rl); in call_ranged_return_hooks()