usr/src/tools/smatch/src/check_debug.c

407

if (!rl_to_sval(rl, &sval))

usr/src/tools/smatch/src/check_kernel.c

247

if (rl_to_sval(arg_rl, &sval)) {

usr/src/tools/smatch/src/check_locking.c

936

if (!rl_to_sval(rl, &sval))

usr/src/tools/smatch/src/smatch_bits.c

62

if (rl_to_sval(rl, &sval)) {

usr/src/tools/smatch/src/smatch_buf_size.c

280

if (rl_to_sval(rl, &sval) && sval.value == 0)

usr/src/tools/smatch/src/smatch_buf_size.c

534

if (rl_to_sval(ret, &sval) && sval.value == -1)

usr/src/tools/smatch/src/smatch_buf_size.c

548

if (!rl_to_sval(rl, &sval))

usr/src/tools/smatch/src/smatch_buf_size.c

804

if (!rl_to_sval(rl, &sval))

usr/src/tools/smatch/src/smatch_buf_size.c

879

rl_to_sval(rl, &sval) &&

usr/src/tools/smatch/src/smatch_common_functions.c

58

if (rl_to_sval(*rl, &fixed) && sval_cmp(fixed, bound) >= 0) {

usr/src/tools/smatch/src/smatch_db.c

1620

if (!rl_to_sval(rl, &sval)) {

usr/src/tools/smatch/src/smatch_extra.c

2843

if (!rl_to_sval(rl, &max))

usr/src/tools/smatch/src/smatch_extra.h

88

int rl_to_sval(struct range_list *rl, sval_t *sval);

usr/src/tools/smatch/src/smatch_function_hooks.c

870

if (rl_to_sval(rl, &sval))

usr/src/tools/smatch/src/smatch_implied.c

149

if (!rl_to_sval(rl, &sval))

usr/src/tools/smatch/src/smatch_math.c

1004

if (!rl_to_sval(rl, res_sval))

usr/src/tools/smatch/src/smatch_math.c

1475

if (sval.type || (rl && rl_to_sval(rl, &sval))) {

usr/src/tools/smatch/src/smatch_math.c

1616

if (!res_sval->type && !rl_to_sval(rl, res_sval))

usr/src/tools/smatch/src/smatch_math.c

1626

!rl_to_sval(rl, sval))

usr/src/tools/smatch/src/smatch_math.c

1643

rl_to_sval(rl, sval))

usr/src/tools/smatch/src/smatch_math.c

165

if (!sval.type && !rl_to_sval(rl, &sval))

usr/src/tools/smatch/src/smatch_mtag.c

270

if (!rl_to_sval(rl, &sval))

usr/src/tools/smatch/src/smatch_parse_call_math.c

253

if (!rl_to_sval(rl, sval))

usr/src/tools/smatch/src/smatch_ranges.c

1742

if (rl_to_sval(left, &l_sval) && rl_to_sval(right, &r_sval)) {

usr/src/tools/smatch/src/smatch_ranges.c

1848

if ((rl_to_sval(left, &sval) || rl_to_sval(right, &sval)) &&

usr/src/tools/smatch/src/smatch_ranges.c

1930

if (!rl_to_sval(right_orig, &shift) || sval_is_negative(shift))

usr/src/tools/smatch/src/smatch_ranges.c

1973

if (!rl_to_sval(right_orig, &shift) || sval_is_negative(shift))

usr/src/tools/smatch/src/smatch_ranges.c

2005

if (rl_to_sval(left, &left_sval) && rl_to_sval(right, &right_sval)) {

usr/src/tools/smatch/src/smatch_real_absolute.c

124

if (rl_to_sval(rl, &sval) && !get_state_expr(my_id, expr->left))