Home
last modified time | relevance | path

Searched refs:rl_to_sval (Results 1 – 16 of 16) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_buf_size.c280 if (rl_to_sval(rl, &sval) && sval.value == 0) in db_returns_buf_size()
534 if (rl_to_sval(ret, &sval) && sval.value == -1) in get_array_size_bytes_rl()
548 if (!rl_to_sval(rl, &sval)) in get_array_size_bytes()
804 if (!rl_to_sval(rl, &sval)) in is_type_bytes()
879 rl_to_sval(rl, &sval) && in print_returned_allocations()
H A Dsmatch_common_functions.c58 if (rl_to_sval(*rl, &fixed) && sval_cmp(fixed, bound) >= 0) { in match_strnlen()
H A Dsmatch_real_absolute.c124 if (rl_to_sval(rl, &sval) && !get_state_expr(my_id, expr->left)) in match_assign()
H A Dsmatch_ranges.c771 int rl_to_sval(struct range_list *rl, sval_t *sval) in rl_to_sval() function
1742 if (rl_to_sval(left, &l_sval) && rl_to_sval(right, &r_sval)) { in ptr_add_mult()
1848 if ((rl_to_sval(left, &sval) || rl_to_sval(right, &sval)) && in handle_OR_rl()
1930 if (!rl_to_sval(right_orig, &shift) || sval_is_negative(shift)) in handle_lshift()
1973 if (!rl_to_sval(right_orig, &shift) || sval_is_negative(shift)) in handle_rshift()
2005 if (rl_to_sval(left, &left_sval) && rl_to_sval(right, &right_sval)) { in rl_binop()
H A Dsmatch_math.c165 if (!sval.type && !rl_to_sval(rl, &sval)) in handle_bitwise_negate()
1004 if (!rl_to_sval(rl, res_sval)) in handle_variable()
1475 if (sval.type || (rl && rl_to_sval(rl, &sval))) { in get_rl_sval()
1616 if (!res_sval->type && !rl_to_sval(rl, res_sval)) in get_implied_value_internal()
1626 !rl_to_sval(rl, sval)) in get_implied_value()
1643 rl_to_sval(rl, sval)) in get_implied_value_fast()
H A Dsmatch_mtag.c270 if (!rl_to_sval(rl, &sval)) in swap_mtag_seed()
H A Dsmatch_extra.h88 int rl_to_sval(struct range_list *rl, sval_t *sval);
H A Dsmatch_bits.c62 if (rl_to_sval(rl, &sval)) { in rl_to_binfo()
H A Dcheck_kernel.c247 if (rl_to_sval(arg_rl, &sval)) { in match_fls()
H A Dsmatch_parse_call_math.c253 if (!rl_to_sval(rl, sval)) in parse_call_math()
H A Dcheck_debug.c407 if (!rl_to_sval(rl, &sval)) in match_buf_size()
H A Dsmatch_function_hooks.c870 if (rl_to_sval(rl, &sval)) in function_comparison()
H A Dsmatch_implied.c149 if (!rl_to_sval(rl, &sval)) in create_fake_history()
H A Dcheck_locking.c936 if (!rl_to_sval(rl, &sval)) in is_EINTR()
H A Dsmatch_db.c1620 if (!rl_to_sval(rl, &sval)) { in split_possible_helper()
H A Dsmatch_extra.c2843 if (!rl_to_sval(rl, &max)) in set_param_fuzzy_max()