Home
last modified time | relevance | path

Searched refs:sval_cast (Results 1 – 9 of 9) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_sval.c83 return sval_cast(type, ret); in sval_type_fval()
92 ret = sval_cast(get_type(expr), ret); in sval_from_val()
103 ret = sval_cast(get_type(expr), ret); in sval_from_fval()
271 one_cast = sval_cast(type, one); in sval_cmp_t()
272 two_cast = sval_cast(type, two); in sval_cmp_t()
399 return sval_cast(type, ret); in cast_from_fp()
452 sval = sval_cast(sval.type, sval); in sval_preop()
456 sval = sval_cast(sval.type, sval); in sval_preop()
624 return sval_cast(type, ret); in sval_binop()
728 left = sval_cast(type, left); in sval_binop_overflows_no_sign()
[all …]
H A Dsmatch_ranges.c151 add_range(rl, sval_cast(type, min), sval_cast(type, max)); in add_range_t()
157 add_range(rl, sval_cast(type, min), sval_cast(type, max)); in add_range_t()
162 add_range(rl, sval_cast(type, min), sval_cast(type, max)); in add_range_t()
187 max = sval_cast(type, max); in add_range_t()
189 min = sval_cast(type, min); in add_range_t()
199 min = sval_cast(type, min); in add_range_t()
201 max = sval_cast(type, max); in add_range_t()
205 add_range(rl, sval_cast(type, min), sval_cast(type, max)); in add_range_t()
1056 min = sval_cast(rl_type(list), min); in remove_range()
1429 min = sval_cast(type, min); in rl_truncate_cast()
[all …]
H A Dcheck_kernel.c226 min = sval_cast(type, min); in match_next_bit()
227 max = sval_cast(type, max); in match_next_bit()
455 err_ptr_min = sval_cast(&ptr_ctype, err_ptr_min); in check_kernel()
456 err_ptr_max = sval_cast(&ptr_ctype, err_ptr_max); in check_kernel()
H A Dcheck_64bit_shift.c80 bits = sval_cast(&ullong_ctype, bits); in match_shift_assignment()
H A Dsmatch_extra.c669 right = sval_cast(type, right); in handle_canonical_while_count_down()
670 start = sval_cast(type, start); in handle_canonical_while_count_down()
735 start = sval_cast(type, start); in handle_canonical_for_inc()
736 end = sval_cast(type, end); in handle_canonical_for_inc()
745 max = sval_cast(type, max); in handle_canonical_for_inc()
768 end = sval_cast(estate_type(sm->state), end); in handle_canonical_for_dec()
884 limit = sval_cast(estate_type(sm->state), limit); in __extra_pre_loop_hook_after()
1119 sval = sval_cast(left_type, sval); in match_vanilla_assign()
1463 limit = sval_cast(type, limit); in handle_postop_inc()
1932 min = sval_cast(type, min); in handle_integer_overflow_test()
[all …]
H A Dsmatch_math.c168 sval_cast(get_type(expr->unop), sval); in handle_bitwise_negate()
471 right = sval_cast(get_type(expr), right); in handle_mod_rl()
478 *res = alloc_rl(sval_cast(right.type, zero), right); in handle_mod_rl()
923 *max = sval_cast(get_type(expr), estate_get_fuzzy_max(state)); in get_fuzzy_max_helper()
943 *min = sval_cast(get_type(expr), sval); in get_fuzzy_min_helper()
958 *sval = sval_cast(get_type(expr), right); in get_const_value()
1273 *res_sval = sval_cast(type, sval); in handle_cast()
H A Dsmatch.h1174 sval_t sval_cast(struct symbol *type, sval_t sval);
1385 one = sval_cast(type, one); in fp_cmp()
1386 two = sval_cast(type, two); in fp_cmp()
1426 one = sval_cast(type, one); in sval_cmp()
1427 two = sval_cast(type, two); in sval_cmp()
H A Dsmatch_flow.c790 start = sval_cast(switch_type, start); in get_case_rl()
791 end = sval_cast(switch_type, end); in get_case_rl()
794 start = sval_cast(switch_type, start); in get_case_rl()
807 sval = sval_cast(get_type(stmt->switch_expression), sval); in split_known_switch()
H A Dsmatch_db.c1432 sval = sval_cast(cur_func_return_type(), sval); in get_return_ranges_str()