Searched refs:rl_to_sval (Results 1 – 16 of 16) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_buf_size.c | 280 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 D | smatch_common_functions.c | 58 if (rl_to_sval(*rl, &fixed) && sval_cmp(fixed, bound) >= 0) { in match_strnlen()
|
| H A D | smatch_real_absolute.c | 124 if (rl_to_sval(rl, &sval) && !get_state_expr(my_id, expr->left)) in match_assign()
|
| H A D | smatch_ranges.c | 771 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 D | smatch_math.c | 165 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 D | smatch_mtag.c | 270 if (!rl_to_sval(rl, &sval)) in swap_mtag_seed()
|
| H A D | smatch_extra.h | 88 int rl_to_sval(struct range_list *rl, sval_t *sval);
|
| H A D | smatch_bits.c | 62 if (rl_to_sval(rl, &sval)) { in rl_to_binfo()
|
| H A D | check_kernel.c | 247 if (rl_to_sval(arg_rl, &sval)) { in match_fls()
|
| H A D | smatch_parse_call_math.c | 253 if (!rl_to_sval(rl, sval)) in parse_call_math()
|
| H A D | check_debug.c | 407 if (!rl_to_sval(rl, &sval)) in match_buf_size()
|
| H A D | smatch_function_hooks.c | 870 if (rl_to_sval(rl, &sval)) in function_comparison()
|
| H A D | smatch_implied.c | 149 if (!rl_to_sval(rl, &sval)) in create_fake_history()
|
| H A D | check_locking.c | 936 if (!rl_to_sval(rl, &sval)) in is_EINTR()
|
| H A D | smatch_db.c | 1620 if (!rl_to_sval(rl, &sval)) { in split_possible_helper()
|
| H A D | smatch_extra.c | 2843 if (!rl_to_sval(rl, &max)) in set_param_fuzzy_max()
|