usr/src/tools/smatch/src/check_atomic_inc_dec.c

309

if (!is_whole_rl(rl) && sval_is_negative(rl_min(rl)))

usr/src/tools/smatch/src/check_nospec.c

209

if (is_whole_rl(estate_rl(sm->state)))

usr/src/tools/smatch/src/smatch_address.c

186

if (!orig || is_whole_rl(orig)) {

usr/src/tools/smatch/src/smatch_address.c

328

!is_whole_rl(unop_rl)) {

usr/src/tools/smatch/src/smatch_assigned_expr.c

76

if (is_whole_rl(rl))

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

120

if (!rl || is_whole_rl(rl))

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

627

if (rl && !is_whole_rl(rl))

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

840

if (is_whole_rl(rl))

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

1441

if (get_implied_rl(expr, &rl) && !is_whole_rl(rl)) {

usr/src/tools/smatch/src/smatch_estate.c

258

return is_whole_rl(estate_rl(state));

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

1866

!is_whole_rl(rl)) {

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

1873

!is_whole_rl(rl)) {

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

2548

is_whole_rl(orig) &&

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

2784

if (!is_whole_rl(rl)) {

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

81

int is_whole_rl(struct range_list *rl);

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

583

if (!passed || is_whole_rl(passed)) {

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

593

if (!limit || is_whole_rl(limit))

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

159

if (is_whole_rl(true_rl) || is_whole_rl(false_rl) ||

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

289

if (is_whole_rl(left_rl) || is_whole_rl(right_rl))

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

718

if (state && !is_whole_rl(estate_rl(state))) {

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

970

if (!state || is_whole_rl(estate_rl(state))) {

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

976

if (get_db_type_rl(expr, &rl) && !is_whole_rl(rl))

usr/src/tools/smatch/src/smatch_mtag_data.c

291

if (!db_info.rl || is_whole_rl(db_info.rl)) {

usr/src/tools/smatch/src/smatch_param_filter.c

143

if (is_whole_rl(estate_rl(sm->state)))

usr/src/tools/smatch/src/smatch_param_set.c

243

if (is_whole_rl(rl) && parent_set(set_list, sm->name))

usr/src/tools/smatch/src/smatch_param_set.c

56

if (!is_whole_rl(estate_rl(state)))

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

1711

if (is_whole_rl(right))

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

712

if (is_whole_rl(rl))

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

121

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

usr/src/tools/smatch/src/smatch_strlen.c

303

if (!rl || is_whole_rl(rl))

usr/src/tools/smatch/src/smatch_strlen.c

319

if (!is_whole_rl(rl))

usr/src/tools/smatch/src/smatch_type_val.c

118

if (is_whole_rl(tmp))