Home
last modified time | relevance | path

Searched refs:is_whole_rl (Results 1 – 19 of 19) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_address.c186 if (!orig || is_whole_rl(orig)) { in add_offset_to_pointer()
328 !is_whole_rl(unop_rl)) { in get_address_rl()
H A Dsmatch_param_set.c56 if (!is_whole_rl(estate_rl(state))) in parent_is_set()
243 if (is_whole_rl(rl) && parent_set(set_list, sm->name)) in print_return_value_param_helper()
H A Dsmatch_strlen.c303 if (!rl || is_whole_rl(rl)) in set_param_strlen()
319 if (!is_whole_rl(rl)) in match_call()
H A Dsmatch_real_absolute.c121 if (is_whole_rl(rl) && !get_state_expr(my_id, expr->left)) in match_assign()
H A Dsmatch_assigned_expr.c76 if (is_whole_rl(rl)) in match_assignment()
H A Dsmatch_param_filter.c143 if (is_whole_rl(estate_rl(sm->state))) in print_one_mod_param()
H A Dsmatch_buf_size.c120 if (!rl || is_whole_rl(rl)) in set_param_buf_size()
627 if (rl && !is_whole_rl(rl)) in info_record_alloction()
840 if (is_whole_rl(rl)) in match_call()
H A Dsmatch_mtag_data.c291 if (!db_info.rl || is_whole_rl(db_info.rl)) { in get_rl_from_mtag_offset()
H A Dcheck_nospec.c209 if (is_whole_rl(estate_rl(sm->state))) in mark_user_data_as_nospec()
H A Dsmatch_math.c289 if (is_whole_rl(left_rl) || is_whole_rl(right_rl)) in handle_divide_rl()
718 if (state && !is_whole_rl(estate_rl(state))) { in handle_binop_rl()
970 if (!state || is_whole_rl(estate_rl(state))) { in var_to_absolute_rl()
976 if (get_db_type_rl(expr, &rl) && !is_whole_rl(rl)) in var_to_absolute_rl()
H A Dsmatch_estate.c258 return is_whole_rl(estate_rl(state)); in estate_is_whole()
H A Dsmatch_extra.h81 int is_whole_rl(struct range_list *rl);
H A Dcheck_atomic_inc_dec.c309 if (!is_whole_rl(rl) && sval_is_negative(rl_min(rl))) in success_fail_positive()
H A Dsmatch_function_hooks.c583 if (!passed || is_whole_rl(passed)) { in impossible_limit()
593 if (!limit || is_whole_rl(limit)) in impossible_limit()
H A Dsmatch_implied.c159 if (is_whole_rl(true_rl) || is_whole_rl(false_rl) || in create_fake_history()
H A Dsmatch_type_val.c118 if (is_whole_rl(tmp)) in get_db_type_rl()
H A Dsmatch_extra.c1866 !is_whole_rl(rl)) { in do_simple_algebra()
1873 !is_whole_rl(rl)) { in do_simple_algebra()
2548 is_whole_rl(orig) && in basically_the_same()
2784 if (!is_whole_rl(rl)) { in match_call_info()
H A Dsmatch_ranges.c695 int is_whole_rl(struct range_list *rl) in is_whole_rl() function
712 if (is_whole_rl(rl)) in is_unknown_ptr()
1711 if (is_whole_rl(right)) in handle_divide_rl()
H A Dsmatch_db.c1441 if (get_implied_rl(expr, &rl) && !is_whole_rl(rl)) { in get_return_ranges_str()