Searched refs:sval_cast (Results 1 – 9 of 9) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_sval.c | 83 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 D | smatch_ranges.c | 151 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 D | check_kernel.c | 226 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 D | check_64bit_shift.c | 80 bits = sval_cast(&ullong_ctype, bits); in match_shift_assignment()
|
H A D | smatch_extra.c | 669 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 D | smatch_math.c | 168 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 D | smatch.h | 1174 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 D | smatch_flow.c | 790 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 D | smatch_db.c | 1432 sval = sval_cast(cur_func_return_type(), sval); in get_return_ranges_str()
|