Lines Matching refs:right
279 call_ranged_call_backs(same_range_call_backs, fn, expr->right, expr); in assign_ranged_funcs()
390 struct expression *arg, *left, *right, *tmp, *fake_assign; in fake_a_param_assignment() local
399 right = expr->right; in fake_a_param_assignment()
401 while (right->type == EXPR_ASSIGNMENT) in fake_a_param_assignment()
402 right = strip_expr(right->right); in fake_a_param_assignment()
403 if (!right || right->type != EXPR_CALL) in fake_a_param_assignment()
427 arg = get_argument_from_call_expr(right->args, param); in fake_a_param_assignment()
445 right = gen_expression_from_key(arg, buf); in fake_a_param_assignment()
446 if (!right) /* Mostly fails for binops like [$0 + 4032] */ in fake_a_param_assignment()
448 fake_assign = assign_expression(left, '=', right); in fake_a_param_assignment()
556 expr = strip_expr(expr->right); in impossible_limit()
623 expr = strip_expr(expr->right); in func_type_mismatch()
736 …tes_callbacks(struct expression *left, int comparison, struct expression *right, struct stree *imp… in compare_db_return_states_callbacks() argument
754 var_expr = right; in compare_db_return_states_callbacks()
757 call_expr = right; in compare_db_return_states_callbacks()
845 void function_comparison(struct expression *left, int comparison, struct expression *right) in function_comparison() argument
861 var_expr = right; in function_comparison()
864 call_expr = right; in function_comparison()
873 compare_db_return_states_callbacks(left, comparison, right, implied_true, implied_false); in function_comparison()
887 expr = strip_expr(expr->right); in call_ranged_return_hooks()
957 …call_results_to_rl(db_info->expr->right, get_type(strip_expr(db_info->expr->right)), ret_str, &ret… in db_assign_return_states_callback()
959 ret_range = alloc_whole_rl(get_type(strip_expr(db_info->expr->right))); in db_assign_return_states_callback()
960 ret_range = cast_rl(get_type(db_info->expr->right), ret_range); in db_assign_return_states_callback()
964 __add_return_comparison(strip_expr(db_info->expr->right), ret_str); in db_assign_return_states_callback()
965 __add_comparison_info(db_info->expr->left, strip_expr(db_info->expr->right), ret_str); in db_assign_return_states_callback()
981 struct expression *right; in db_return_states_assign() local
986 right = strip_expr(expr->right); in db_return_states_assign()
997 right, db_assign_return_states_callback, &db_info); in db_return_states_assign()
1022 call_return_states_after_hooks(right); in db_return_states_assign()
1031 if (!get_implied_return(expr->right, &rl)) in handle_implied_return()
1042 struct expression *right; in match_assign_call() local
1049 right = strip_expr(expr->right); in match_assign_call()
1050 if (right->fn->type != EXPR_SYMBOL || !right->fn->symbol) { in match_assign_call()
1056 if (is_fake_call(right)) { in match_assign_call()
1061 fn = right->fn->symbol->ident->name; in match_assign_call()
1091 get_absolute_rl(expr->right, &rl); in match_assign_call()
1254 struct expression *right; in match_macro_assign() local
1256 right = strip_expr(expr->right); in match_macro_assign()
1257 macro = get_macro_name(right->pos); in match_macro_assign()