Lines Matching refs:rl

91 	struct range_list *rl;  in pre_merge_hook()  local
96 rl = rl_intersection(estate_rl(user), estate_rl(extra)); in pre_merge_hook()
97 state = alloc_estate_rl(clone_rl(rl)); in pre_merge_hook()
108 struct range_list *rl; in extra_nomod_hook() local
113 rl = rl_intersection(estate_rl(user), estate_rl(state)); in extra_nomod_hook()
114 if (rl_equiv(rl, estate_rl(user))) in extra_nomod_hook()
116 new = alloc_estate_rl(rl); in extra_nomod_hook()
155 struct range_list *rl; in user_rl_capped() local
172 if (get_user_rl(expr, &rl)) in user_rl_capped()
181 struct range_list *rl; in user_rl_treat_untagged() local
194 if (get_user_rl(expr, &rl)) in user_rl_treat_untagged()
424 static int get_rl_from_function(struct expression *expr, struct range_list **rl) in get_rl_from_function() argument
434 *rl = alloc_whole_rl(get_type(expr)); in get_rl_from_function()
444 struct range_list *rl; in points_to_user_data() local
457 if (get_rl_from_function(expr, &rl)) in points_to_user_data()
578 struct range_list *rl; in handle_op_assign() local
594 if (!get_user_rl(binop_expr, &rl)) in handle_op_assign()
597 rl = cast_rl(get_type(expr->left), rl); in handle_op_assign()
598 state = alloc_estate_rl(rl); in handle_op_assign()
611 struct range_list *rl; in match_assign() local
639 if (!get_user_rl(expr->right, &rl)) in match_assign()
642 rl = cast_rl(get_type(expr->left), rl); in match_assign()
643 state = alloc_estate_rl(rl); in match_assign()
681 static struct range_list *strip_negatives(struct range_list *rl) in strip_negatives() argument
683 sval_t min = rl_min(rl); in strip_negatives()
686 sval_t max = sval_type_max(rl_type(rl)); in strip_negatives()
688 minus_one.type = rl_type(rl); in strip_negatives()
690 over.type = rl_type(rl); in strip_negatives()
693 if (!rl) in strip_negatives()
696 if (type_unsigned(rl_type(rl)) && type_bits(rl_type(rl)) > 31) in strip_negatives()
697 return remove_range(rl, over, max); in strip_negatives()
699 return remove_range(rl, min, minus_one); in strip_negatives()
817 static int get_user_macro_rl(struct expression *expr, struct range_list **rl) in get_user_macro_rl() argument
841 *rl = alloc_whole_rl(&uint_ctype); in get_user_macro_rl()
845 *rl = alloc_whole_rl(&ushort_ctype); in get_user_macro_rl()
878 static int db_returned_user_rl(struct expression *call, struct range_list **rl) in db_returned_user_rl() argument
889 *rl = estate_rl(state); in db_returned_user_rl()
903 struct range_list *rl; in var_user_rl() local
917 rl = rl_binop(left, '%', right); in var_user_rl()
941 rl = rl_binop(left, '/', abs_right); in var_user_rl()
942 if (sval_cmp(rl_max(left), rl_max(rl)) < 0) in var_user_rl()
949 if (get_rl_from_function(expr, &rl)) in var_user_rl()
952 if (get_user_macro_rl(expr, &rl)) in var_user_rl()
956 rl = alloc_whole_rl(get_type(expr)); in var_user_rl()
962 rl = estate_rl(state); in var_user_rl()
966 if (expr->type == EXPR_CALL && db_returned_user_rl(expr, &rl)) in var_user_rl()
980 rl = var_to_absolute_rl(expr); in var_user_rl()
988 return clone_rl(rl_intersection(rl, absolute_rl)); in var_user_rl()
1003 int get_user_rl(struct expression *expr, struct range_list **rl) in get_user_rl() argument
1010 custom_get_absolute_rl(expr, &var_user_rl, rl); in get_user_rl()
1012 *rl = NULL; in get_user_rl()
1014 return !!*rl; in get_user_rl()
1024 int get_user_rl_var_sym(const char *name, struct symbol *sym, struct range_list **rl) in get_user_rl_var_sym() argument
1030 *rl = estate_rl(state); in get_user_rl_var_sym()
1038 struct range_list *rl; in get_user_rl_str() local
1041 if (!get_user_rl(expr, &rl)) in get_user_rl_str()
1043 rl = cast_rl(type, rl); in get_user_rl_str()
1045 show_rl(rl), in get_user_rl_str()
1073 struct range_list *rl; in struct_member_callback() local
1097 rl = estate_rl(sm->state); in struct_member_callback()
1099 rl = rl_intersection(estate_rl(sm->state), estate_rl(state)); in struct_member_callback()
1101 if (!rl) in struct_member_callback()
1104 snprintf(buf, sizeof(buf), "%s%s%s", show_rl(rl), in struct_member_callback()
1154 struct range_list *rl = NULL; in set_param_user_data() local
1195 str_to_rl(type, value, &rl); in set_param_user_data()
1196 state = alloc_estate_rl(rl); in set_param_user_data()
1241 struct range_list *rl; in store_user_data_return() local
1250 call_results_to_rl(expr, type, value, &rl); in store_user_data_return()
1252 set_state(my_id, buf, NULL, alloc_estate_rl(rl)); in store_user_data_return()
1261 struct range_list *rl = NULL; in set_to_user_data() local
1268 call_results_to_rl(expr, type, value, &rl); in set_to_user_data()
1270 state = alloc_estate_rl(rl); in set_to_user_data()
1344 struct range_list *rl; in param_set_to_user_data() local
1415 if (!return_found && get_user_rl(expr, &rl)) { in param_set_to_user_data()
1417 show_rl(rl), in param_set_to_user_data()