- 22 Aug, 2014 40 commits
-
-
gcc/ 2014-08-22 David Malcolm <dmalcolm@redhat.com> * sched-deps.c (maybe_add_or_update_dep_1): Strengthen locals "elem", "insn" from rtx to rtx_insn *. (change_spec_dep_to_hard): Likewise. (get_back_and_forw_lists): Likewise for local "con". (sd_add_dep): Likewise for locals "elem", "insn". (sd_resolve_dep): Likewise for locals "pro", "con". (sd_unresolve_dep): Likewise. (sd_delete_dep): Likewise. (chain_to_prev_insn): Likewise for local "pro". (find_inc): Likewise for locals "pro", "con". From-SVN: r214374
David Malcolm committed -
gcc/ 2014-08-22 David Malcolm <dmalcolm@redhat.com> * rtlanal.c (reg_used_between_p): Strengthen local "insn" from rtx to rtx_insn *. (reg_set_between_p): Strengthen local "insn" from const_rtx to const rtx_insn *. (modified_between_p): Strengthen local "insn" from rtx to rtx_insn *. (remove_reg_equal_equiv_notes_for_regno): Likewise. (keep_with_call_p): Strengthen local "i2" from const_rtx to const rtx_insn *. From-SVN: r214373
David Malcolm committed -
gcc/ * resource.c (next_insn_no_annul): Strengthen local "next" from rtx to rtx_insn *. (mark_referenced_resources): Likewise for local "insn". From-SVN: r214372
David Malcolm committed -
From-SVN: r214371
Mike Stump committed -
gcc/ * reload.h (struct insn_chain): Strengthen field "insn" from rtx to rtx_insn *. (find_reloads): Likewise for param 1. (subst_reloads): Likewise for sole param. (find_equiv_reg): Likwise for param 2. (regno_clobbered_p): Likwise for param 2. (reload): Likewise for param 1. * caller-save.c (save_call_clobbered_regs): Strengthen local "insn" from rtx to rtx_insn *. (insert_one_insn): Likewise for local "insn". * reload.c (this_insn): Likewise for this global. (find_reloads): Likewise for param "insn". (find_reloads_toplev): Likewise. (find_reloads_address): Likewise. (subst_reg_equivs): Likewise. (update_auto_inc_notes): Likewise. (find_reloads_address_1): Likewise. (find_reloads_subreg_address): Likewise. (subst_reloads): Likewise. (find_equiv_reg): Likewise, also for local "p". (regno_clobbered_p): Likewise for param "insn". * reload1.c (reg_reloaded_insn): Likewise for the elements of this array. (spill_reg_store): Likewise for the elements of this array. (remove_init_insns): Likewise for local "equiv_insn". (will_delete_init_insn_p): Likewise for param "insn". (reload): Likewise for param ""first" and local "insn". (calculate_needs_all_insns): Strengthen local "insn" from rtx to rtx_insn *. (calculate_elim_costs_all_insns): Likewise. (delete_caller_save_insns): Likewise. (spill_failure): Likewise for param "insn". (delete_dead_insn): Likewise. (set_label_offsets): Likewise. (eliminate_regs_in_insn): Likewise, also for locals "base_insn" and "prev_insn". (elimination_costs_in_insn): Likewise for param "insn". (set_initial_eh_label_offset): Replace use of NULL_RTX with NULL when referring to an insn. (set_initial_label_offsets): Likewise. (set_offsets_for_label): Strengthen param "insn" from rtx to rtx_insn *. (init_eliminable_invariants): Likewise for param "first" and local "insn". (fixup_eh_region_note): Likewise for param "insn". (reload_as_needed): Likewise for locals "prev", "insn", "old_next", "old_prev", "next". (gen_reload_chain_without_interm_reg_p): Likewise for locals "insn", "last". (reload_inheritance_insn): Strengthen elements of this array from rtx to rtx_insn *. (failed_reload): Likewise for param "insn". (choose_reload_regs): Likewise for local "insn". Replace use of NULL_RTX with NULL when referring to an insn. (input_reload_insns): Strengthen elements of this array from rtx to rtx_insn *. (other_input_address_reload_insns): Likewise for this global. (other_input_reload_insns): Likewise for this global. (input_address_reload_insns): Likwise for the elements of this array. (inpaddr_address_reload_insns): Likwise for the elements of this array. (output_reload_insns): Likewise for the elements of this array. (output_address_reload_insns): Likewise for the elements of this array. (outaddr_address_reload_insns): Likewise for the elements of this array. (operand_reload_insns): Likewise for this global. (other_operand_reload_insns): Likewise for this global. (other_output_reload_insns): Likewise for the elements of this array. (new_spill_reg_store): Likewise for the elements of this array. (emit_input_reload_insns): Likewise for locals "insn", "temp". Strengthen local "where" from rtx * to rtx_insn **. (emit_output_reload_insns): Strengthen locals "insn", "p", "next" from rtx to rtx_insn *. (do_input_reload): Likewise for local "insn". (do_output_reload): Likewise for local "insn". (emit_reload_insns): Likewise for locals "insn" and "store_insn". (emit_insn_if_valid_for_reload): Likewise for return type and local "last". Add checked cast to rtx_insn when returning "insn" since this has been through emit_insn. (gen_reload): Strengthen return type and locals "last", "insn", "set" from rtx to rtx_insn *. Add checked cast to rtx_insn when returning "insn" since it's been through emit_insn_if_valid_for_reload at this point. (delete_output_reload): Strengthen param "insn" and locals "output_reload_insn", "i2" from rtx to rtx_insn *. (delete_address_reloads): Likewise for params "dead_insn", "current_insn" and locals "prev", "next". (delete_address_reloads_1): Likewise for params "dead_insn", "current_insn" and locals "prev", "i2". (inc_for_reload): Likewise for locals "last", "add_insn". (add_auto_inc_notes): Strengthen param "insn" from rtx to rtx_insn *. * config/arc/arc-protos.h (regno_clobbered_p): Likewise for 2nd param of this duplicate of the prototype from reload.h From-SVN: r214370
David Malcolm committed -
gcc/ * regstat.c (regstat_bb_compute_ri): Strengthen local "insn" from rtx to rtx_insn *. (regstat_bb_compute_calls_crossed): Likewise. From-SVN: r214369
David Malcolm committed -
gcc/ * regrename.c (create_new_chain): Strengthen param "insn" from rtx to rtx_insn *. (init_rename_info): Replace use of NULL_RTX with NULL when dealing with an insn. (regrename_analyze): Strengthen local "insn" from rtx to rtx_insn *. (scan_rtx_reg): Likewise for param "insn". (scan_rtx_address): Likewise. (scan_rtx): Likewise. (restore_operands): Likewise. (record_out_operands): Likewise. (build_def_use): Likewise for local "insn". Replace use of NULL_RTX with NULL when dealing with an insn. From-SVN: r214368
David Malcolm committed -
gcc/ * rtl.h (reg_scan): Strengthen param "f" from rtx to rtx_insn *. * reginfo.c (reg_scan): Likewise, also for local "insn". (reg_scan_mark_refs): Likewise for param "insn". (init_subregs_of_mode): Likewise for local "insn". From-SVN: r214367
David Malcolm committed -
gcc/ * regcprop.c (struct queued_debug_insn_change): Strengthen field "insn" from rtx to rtx_insn *. (replace_oldest_value_reg): Likewise for param "insn". (replace_oldest_value_addr): Likewise. (replace_oldest_value_mem): Likewise. (apply_debug_insn_changes): Likewise for local "last_insn". (copyprop_hardreg_forward_1): Likewise for local "insn". From-SVN: r214366
David Malcolm committed -
gcc/ * reg-stack.c (next_flags_user): Strengthen return type and param "insn" from rtx to rtx_insn *. (straighten_stack): Likewise for param "insn". (check_asm_stack_operands): Likewise. (remove_regno_note): Likewise. (emit_pop_insn): Likewise for return type, param "insn", local "pop_insn". (emit_swap_insn): Strengthen param "insn" and locals "i1", "tmp", "limit" from rtx to rtx_insn *. (swap_to_top): Likewise for param "insn". (move_for_stack_reg): Likewise. (move_nan_for_stack_reg): Likewise. (swap_rtx_condition): Likewise. (compare_for_stack_reg): Likewise. (subst_all_stack_regs_in_debug_insn): Likewise. (subst_stack_regs_pat): Likewise, and local "insn2". (subst_asm_stack_regs): Strengthen param "insn" from rtx to rtx_insn *. (subst_stack_regs): Likewise. (change_stack): Likewise. (convert_regs_1): Likewise for locals "insn", "next". From-SVN: r214365
David Malcolm committed -
gcc/ * ree.c (struct ext_cand): Strengthen field "insn" from rtx to rtx_insn *. (combine_set_extension): Likewise for param "curr_insn". (transform_ifelse): Likewise for param "def_insn". (get_defs): Likewise for param "def_insn". Strengthen param "dest" from vec<rtx> * to vec<rtx_insn *> *. (is_cond_copy_insn): Likewise for param "insn". (struct ext_state): Strengthen the four vec fields from vec<rtx> to vec<rtx_insn *>. (make_defs_and_copies_lists): Strengthen param "extend_insn" and local "def_insn" from rtx to rtx_insn *. (get_sub_rtx): Likewise for param "def_insn". (merge_def_and_ext): Likewise. (combine_reaching_defs): Likewise. (add_removable_extension): Likewise for param "insn". (find_removable_extensions): Likewise for local "insn". (find_and_remove_re): Likewise for locals "curr_insn" and "def_insn". Strengthen locals "reinsn_del_list" and "reinsn_del_list" from auto_vec<rtx> to auto_vec<rtx_insn *>. From-SVN: r214364
David Malcolm committed -
gcc/ * recog.c (split_insn): Strengthen param "insn" and locals "first", "last" from rtx to rtx_insn *. (split_all_insns): Likewise for locals "insn", "next". (split_all_insns_noflow): Likewise. From-SVN: r214363
David Malcolm committed -
gcc/ * rtl.h (debug_rtx_list): Strengthen param 1 "x" from const_rtx to const rtx_insn *. (debug_rtx_range): Likewise for params 1 and 2 "start" and "end". (debug_rtx_find): Likewise for param 1 "x". * print-rtl.c (debug_rtx_list): Strengthen param 1 "x" from const_rtx to const rtx_insn *. Likewise for local "insn". (debug_rtx_range): Likewise for params 1 and 2 "start" and "end". (debug_rtx_find): Likewise for param 1 "x". (print_rtl): Likewise for local "tmp_rtx", adding a checked cast from const_rtx to const rtx_insn * within the appropriate cases of the switch statement. * config/rs6000/rs6000.c (rs6000_debug_legitimize_address): Strengthen local "insns" from rtx to rtx_insn * since this is passed to a call to debug_rtx_list. From-SVN: r214362
David Malcolm committed -
gcc/ * predict.h (predict_insn_def): Strengthen param "insn" from rtx to rtx_insn *. * function.c (stack_protect_epilogue): Add checked cast to rtx_insn for now when invoking predict_insn_def. * predict.c (predict_insn): Strengthen param "insn" from rtx to rtx_insn *. (predict_insn_def): Likewise. (rtl_predict_edge): Likewise for local "last_insn". (can_predict_insn_p): Strengthen param "insn" from const_rtx to const rtx_insn *. (combine_predictions_for_insn): Strengthen param "insn" from rtx to rtx_insn *. (bb_estimate_probability_locally): Likewise for local "last_insn". (expensive_function_p): Likewise for local "insn". * config/cris/cris.c (cris_emit_trap_for_misalignment): Likewise for local "jmp", since this is used when invoking predict_insn_def. From-SVN: r214361
David Malcolm committed -
PR c++/62199 * doc/invoke.texi: Update -Wlogical-not-parentheses description. c-family/ * c-common.c (warn_logical_not_parentheses): Don't check LHS. Don't check for vector types. Drop LHS argument. * c-common.h (warn_logical_not_parentheses): Adjust. c/ * c-typeck.c (parser_build_binary_op): Adjust call to warn_logical_not_parentheses. cp/ * parser.c (cp_parser_binary_expression): Check each LHS if it's preceded with logical not. Adjust call to warn_logical_not_parentheses. testsuite/ * c-c++-common/pr62199.c: New test. * c-c++-common/pr62199-2.c: New test. * g++.dg/warn/Wparentheses-25.C: Drop XFAILs. From-SVN: r214360
Marek Polacek committed -
PR c/61271 * ira-color.c (coalesced_pseudo_reg_slot_compare): Wrap LHS of a comparison in parens. * lra-spills.c (pseudo_reg_slot_compare): Wrap LHS of a comparison in parens. From-SVN: r214359
Marek Polacek committed -
gcc/ * rtl.h (fis_get_condition): Strengthen param "jump" from rtx to rtx_insn *. * cprop.c (fis_get_condition): Likewise. * postreload.c (reload_cse_regs): Likewise for param "first". (reload_cse_simplify): Likewise for param "insn". (reload_cse_regs_1): Likewise for local "insn". (reload_cse_simplify_set): Likewise for param "insn". (reload_cse_simplify_operands): Likewise. (struct reg_use): Likewise for field "insn". (reload_combine_purge_insn_uses): Likewise for param "insn". (fixup_debug_insns): Likewise for params "from", "to" and local "insn". (try_replace_in_use): Likewise for local "use_insn". (reload_combine_recognize_const_pattern): Likewise for param "insn" and locals "add_moved_after_insn", "use_insn". (reload_combine_recognize_pattern): Likewise for param "insn" and local "prev". (reload_combine): Likewise for locals "insn", "prev". (reload_combine_note_use): Likewise for param "insn". (move2add_use_add2_insn): Likewise. (move2add_use_add3_insn): Likewise. (reload_cse_move2add): Likewise, also for local "next". (move2add_note_store): Likewise for local "insn". From-SVN: r214358
David Malcolm committed -
gcc/cp/ChangeLog: 2014-08-22 Manuel López-Ibáñez <manu@gcc.gnu.org> PR c++/57709 * name-lookup.c (pushdecl_maybe_friend_1): Do not warn if a declaration shadows a function declaration, unless the former declares a function, pointer to function or pointer to member function, because this is a common and valid case in real-world code. * cp-tree.h (TYPE_PTRFN_P,TYPE_REFFN_P,TYPE_PTRMEMFUNC_P): Improve description. gcc/testsuite/ChangeLog: 2014-08-22 Manuel López-Ibáñez <manu@gcc.gnu.org> PR c++/57709 * g++.dg/Wshadow.C: New test. From-SVN: r214357
Manuel López-Ibáñez committed -
gcc/ * postreload-gcse.c (struct occr): Strengthen field "insn" from rtx to rtx_insn *. (struct unoccr): Likewise. (struct modifies_mem): Likewise. (alloc_mem): Likewise for local "insn". (insert_expr_in_table): Likewise for param "insn". (dump_expr_hash_table_entry): Likewise for local "insn". (oprs_unchanged_p): Likewise for param "insn". (load_killed_in_block_p): Likewise for local "setter". (record_last_reg_set_info): Likewise for param "insn". (record_last_reg_set_info_regno): Likewise. (record_last_mem_set_info): Likewise. (record_last_set_info): Likewise for local "last_set_insn". (record_opr_changes): Likewise for param "insn". (hash_scan_set): Likewise. (compute_hash_table): Likewise for local "insn". (get_avail_load_store_reg): Likewise for param "insn". (eliminate_partially_redundant_load): Likewise, also for locals "avail_insn", "next_pred_bb_end". Replace use of NULL_RTX with RTX for insns. (eliminate_partially_redundant_loads): Likewise for local "insn". From-SVN: r214356
David Malcolm committed -
gcc/ * optabs.c (expand_doubleword_shift): Strengthen local "insn" from rtx to rtx_insn *. (expand_binop): Likewise for locals "entry_last", "last", "insns" (expand_twoval_unop): Likewise for locals entry_last", "last". (expand_twoval_binop): Likewise. (expand_twoval_binop_libfunc): Likewise for local "insns". (widen_leading): Likewise for local "last". (expand_doubleword_clz): Likewise for local "seq". Strengthen locals "hi0_label", "after_label" from rtx to rtx_code_label *. (widen_bswap): Strengthen local "last" from rtx to rtx_insn *. (expand_parity): Likewise for locals "last" and "seq". (expand_ffs): Likewise for local "seq". Strengthen local "nonzero_label" from rtx to rtx_code_label *. (expand_absneg_bit): Strengthen local "insns" from rtx to rtx_insn *. (expand_unop_direct): Likewise for local "last". (expand_unop): Likewise for locals "last", "insns". (expand_abs_nojump): Likewise for local "last". (expand_abs): Strengthen local "op1" from rtx to rtx_code_label *. (expand_one_cmpl_abs_nojump): Strengthen local "last" from rtx to rtx_insn *. (expand_copysign_absneg): Strengthen local "label" from rtx to rtx_code_label *. (expand_copysign_bit): Strengthen local "insns" from rtx to rtx_insn *. (struct no_conflict_data): Likewise for fields "first", "insn". (emit_libcall_block_1): Likewise for param "insns" and locals "next", "last", "insn". (emit_libcall_block): For now, add a checked cast to rtx_insn * on "insns" when invoking emit_libcall_block_1. Ultimately we want to strengthen insns itself. (prepare_cmp_insn): Strengthen local "last" from rtx to rtx_insn *. (emit_cmp_and_jump_insn_1): Likewise for local "insn". (prepare_float_lib_cmp): Likewise for local "insns". (emit_conditional_move): Likewise for local "last". (emit_conditional_add): Likewise. (have_sub2_insn): Likewise for local "seq". (expand_float): Likewise for local "insns". Strengthen locals "label", "neglabel" from rtx to rtx_code_label *. (expand_fix): Likewise for locals "last", "insn", "insns" (to rtx_insn *) and locals "lab1", "lab2" (to rtx_code_label *). (expand_fixed_convert): Likewise for local "insns" (to rtx_insn *). (expand_sfix_optab): Likewise for local "last". (expand_compare_and_swap_loop): Strengthen local "label" from rtx to rtx_code_label *. (maybe_emit_sync_lock_test_and_set): Strengthen local "last_insn" from rtx to rtx_insn *. (expand_atomic_fetch_op): Likewise for local "insn". (maybe_legitimize_operand_same_code): Likewise for local "last". (maybe_legitimize_operands): Likewise. From-SVN: r214355
David Malcolm committed -
gcc/ * modulo-sched.c (struct ps_reg_move_info): Strengthen field "insn" from rtx to rtx_insn *. (ps_rtl_insn): Likewise for return type. (doloop_register_get): Likewise for params "head", "tail" and locals "insn", "first_insn_not_to_check". (schedule_reg_move): Likewise for local "this_insn". (schedule_reg_moves): Add a checked cast to rtx_insn * to result of gen_move_insn for now. (reset_sched_times): Strengthen local "insn" from rtx to rtx_insn *. (permute_partial_schedule): Likewise. (duplicate_insns_of_cycles): Likewise for local "u_insn". (dump_insn_location): Likewise for param "insn". (loop_canon_p): Likewise for local "insn". (sms_schedule): Likewise. (print_partial_schedule): Likewise. (ps_has_conflicts): Likewise. From-SVN: r214354
David Malcolm committed -
PR c++/62129 * class.c (outermost_open_class): Fix logic. * decl.c (complete_vars): Fix logic. From-SVN: r214353
Jason Merrill committed -
gcc/ * sched-int.h (get_ebb_head_tail): Strengthen params "headp" and "tailp" from rtx * to rtx_insn **. * ddg.c (build_intra_loop_deps): Strengthen locals head", "tail" from rtx to rtx_insn *. * haifa-sched.c (get_ebb_head_tail): Strengthen params "headp" and "tailp" from rtx * to rtx_insn **. Strengthen locals "beg_head", "beg_tail", "end_head", "end_tail", "note", "next", "prev" from rtx to rtx_insn *. * modulo-sched.c (const_iteration_count): Strengthen return type and locals "insn", "head", "tail" from rtx to rtx_insn *. Replace use of NULL_RTX with NULL when working with insns. (loop_single_full_bb_p): Strengthen locals "head", "tail" from rtx to rtx_insn *. (sms_schedule): Likewise. * sched-rgn.c (init_ready_list): Likewise, also for locals "src_head" and "src_next_tail". (compute_block_dependences): Likewise. (free_block_dependencies): Likewise. (debug_rgn_dependencies): Likewise. (free_rgn_deps): Likewise. (compute_priorities): Likewise. (schedule_region): Likewise. * sel-sched.c (find_ebb_boundaries): Likewise. * config/sh/sh.c (find_insn_regmode_weight): Strengthen locals "insn", "next_tail", "head", "tail" from rtx to rtx_insn *. From-SVN: r214352
David Malcolm committed -
fortran/ PR fortran/62135 * resolve.c (resolve_select): Fix list traversal in case the last element of the CASE list was dropped as unreachable code. testsuite/ PR fortran/62135 * gfortran.dg/pr62135.f90: New test. From-SVN: r214351
Steven Bosscher committed -
gcc/c-family/ChangeLog: 2014-08-22 Manuel López-Ibáñez <manu@gcc.gnu.org> * c.opt (Wcomment): Use CPP, Var and LangEnabledBy. (Wmultichar): Likewise. (Wdate-time): Use C-family languages instead of Common. Use CPP and Var. * c-opts.c (c_common_handle_option): Do not handle the above options here. (sanitize_cpp_opts): Likewise. gcc/testsuite/ChangeLog: 2014-08-22 Manuel López-Ibáñez <manu@gcc.gnu.org> * g++.dg/warn/wdate-time.C: Remove. * gcc.dg/wdate-time.c: Move from here... * c-c++-common/wdate-time.c: ... to here. From-SVN: r214350
Manuel López-Ibáñez committed -
gcc/ * mode-switching.c (struct seginfo): Strengthen field "insn_ptr" from rtx to rtx_insn *. (new_seginfo): Likewise for param "insn". (create_pre_exit): Likewise for locals "last_insn", "before_return_copy", "return_copy". (optimize_mode_switching): Likewise for locals "insn", "ins_pos", "mode_set". From-SVN: r214349
David Malcolm committed -
gcc/ * lra-int.h (struct lra_insn_recog_data): Strengthen field "insn" from rtx to rtx_insn *. (lra_push_insn): Likewise for 1st param. (lra_push_insn_and_update_insn_regno_info): Likewise. (lra_pop_insn): Likewise for return type. (lra_invalidate_insn_data): Likewise for 1st param. (lra_set_insn_deleted): Likewise. (lra_delete_dead_insn): Likewise. (lra_process_new_insns): Likewise for first 3 params. (lra_set_insn_recog_data): Likewise for 1st param. (lra_update_insn_recog_data): Likewise. (lra_set_used_insn_alternative): Likewise. (lra_invalidate_insn_regno_info): Likewise. (lra_update_insn_regno_info): Likewise. (lra_former_scratch_operand_p): Likewise. (lra_eliminate_regs_1): Likewise. (lra_get_insn_recog_data): Likewise. * lra-assigns.c (assign_by_spills): Strengthen local "insn" from rtx to rtx_insn *. * lra-coalesce.c (move_freq_compare_func): Likewise for locals "mv1" and "mv2". (substitute_within_insn): New. (lra_coalesce): Strengthen locals "mv", "insn", "next" from rtx to rtx_insn *. Strengthen sorted_moves from rtx * to rxt_insn **. Replace call to "substitute" with call to substitute_within_insn. * lra-constraints.c (curr_insn): Strengthen from rtx to rtx_insn *. (get_equiv_with_elimination): Likewise for param "insn". (match_reload): Strengthen params "before" and "after" from rtx * to rtx_insn **. (emit_spill_move): Likewise for return type. Add a checked cast to rtx_insn * on result of gen_move_insn for now. (check_and_process_move): Likewise for local "before". Replace NULL_RTX with NULL when referring to insns. (process_addr_reg): Strengthen params "before" and "after" from rtx * to rtx_insn **. (insert_move_for_subreg): Likewise. (simplify_operand_subreg): Strengthen locals "before" and "after" from rtx to rtx_insn *. (process_address_1): Strengthen params "before" and "after" from rtx * to rtx_insn **. Strengthen locals "insns", "last_insn" from rtx to rtx_insn *. (process_address): Strengthen params "before" and "after" from rtx * to rtx_insn **. (emit_inc): Strengthen local "last" from rtx to rtx_insn *. (curr_insn_transform): Strengthen locals "before" and "after" from rtx to rtx_insn *. Replace NULL_RTX with NULL when referring to insns. (loc_equivalence_callback): Update cast of "data", changing resulting type from rtx to rtx_insn *. (substitute_pseudo_within_insn): New. (inherit_reload_reg): Strengthen param "insn" from rtx to rtx_insn *; likewise for local "new_insns". Replace NULL_RTX with NULL when referring to insns. Add a checked cast to rtx_insn * when using usage_insn to invoke lra_update_insn_regno_info. (split_reg): Strengthen param "insn" from rtx to rtx_insn *; likewise for locals "restore", "save". Add checked casts to rtx_insn * when using usage_insn to invoke lra_update_insn_regno_info and lra_process_new_insns. Replace NULL_RTX with NULL when referring to insns. (split_if_necessary): Strengthen param "insn" from rtx to rtx_insn *. (update_ebb_live_info): Likewise for params "head", "tail" and local "prev_insn". (get_last_insertion_point): Likewise for return type and local "insn". (get_live_on_other_edges): Likewise for local "last". (inherit_in_ebb): Likewise for params "head", "tail" and locals "prev_insn", "next_insn", "restore". (remove_inheritance_pseudos): Likewise for local "prev_insn". (undo_optional_reloads): Likewise for local "insn". * lra-eliminations.c (lra_eliminate_regs_1): Likewise for param "insn". (lra_eliminate_regs): Replace NULL_RTX with NULL when referring to insns. (eliminate_regs_in_insn): Strengthen param "insn" from rtx to rtx_insn *. (spill_pseudos): Likewise for local "insn". (init_elimination): Likewise. (process_insn_for_elimination): Likewise for param "insn". * lra-lives.c (curr_insn): Likewise.; * lra-spills.c (assign_spill_hard_regs): Likewise for local "insn". (remove_pseudos): Likewise for param "insn". (spill_pseudos): Likewise for local "insn". (lra_final_code_change): Likewise for locals "insn", "curr". * lra.c (lra_invalidate_insn_data): Likewise for param "insn". (lra_set_insn_deleted): Likewise. (lra_delete_dead_insn): Likewise, and for local "prev". (new_insn_reg): Likewise for param "insn". (lra_set_insn_recog_data): Likewise. (lra_update_insn_recog_data): Likewise. (lra_set_used_insn_alternative): Likewise. (get_insn_freq): Likewise. (invalidate_insn_data_regno_info): Likewise. (lra_invalidate_insn_regno_info): Likewise. (lra_update_insn_regno_info): Likewise. (lra_constraint_insn_stack): Strengthen from vec<rtx> to vec<rtx_insn *>. (lra_push_insn_1): Strengthen param "insn" from rtx to rtx_insn *. (lra_push_insn): Likewise. (lra_push_insn_and_update_insn_regno_info): Likewise. (lra_pop_insn): Likewise for return type and local "insn". (push_insns): Likewise for params "from", "to", and local "insn". (setup_sp_offset): Likewise for params "from", "last" and locals "before", "insn". (lra_process_new_insns): Likewise for params "insn", "before", "after" and local "last". (struct sloc): Likewise for field "insn". (lra_former_scratch_operand_p): Likewise for param "insn". (remove_scratches): Likewise for locals "insn", "last". (check_rtl): Likewise for local "insn". (add_auto_inc_notes): Likewise for param "insn". (update_inc_notes): Likewise for local "insn". (lra): Replace NULL_RTX with NULL when referring to insn. From-SVN: r214348
David Malcolm committed -
gcc/ * lower-subreg.c (simple_move): Strengthen param "insn" from rtx to rtx_insn *. (resolve_reg_notes): Likewise. (resolve_simple_move): Likewise for return type, param "insn", and locals "insns", "minsn". (resolve_clobber): Strengthen param "insn" from rtx to rtx_insn *. (resolve_use): Likewise. (resolve_debug): Likewise. (find_decomposable_shift_zext): Likewise. (resolve_shift_zext): Likewise for return type, param "insn", and locals "insns", "in". Eliminate use of NULL_RTX in favor of NULL. (decompose_multiword_subregs): Likewise for local "insn", "orig_insn", "decomposed_shift", "end". From-SVN: r214346
David Malcolm committed -
gcc/ * basic-block.h (basic_block split_edge_and_insert): Strengthen param "insns" from rtx to rtx_insn *. * loop-unroll.c (struct iv_to_split): Strengthen field "insn" from rtx to rtx_insn *. (struct iv_to_split): Likewise. (loop_exit_at_end_p): Likewise for local "insn". (split_edge_and_insert): Likewise for param "insns". (compare_and_jump_seq): Likewise for return type, param "cinsn", and locals "seq", "jump". (unroll_loop_runtime_iterations): Likewise for locals "init_code", "branch_code"; update invocations of compare_and_jump_seq to eliminate NULL_RTX in favor of NULL. (referenced_in_one_insn_in_loop_p): Strengthen local "insn" from rtx to rtx_insn *. (reset_debug_uses_in_loop): Likewise. (analyze_insn_to_expand_var): Likewise for param "insn". (analyze_iv_to_split_insn): Likewise. (analyze_insns_in_loop): Likewise for local "insn". (insert_base_initialization): Likewise for param "insn" and local "seq". (split_iv): Likewise for param "insn" and local "seq". (expand_var_during_unrolling): Likewise for param "insn". (insert_var_expansion_initialization): Likewise for local "seq". (combine_var_copies_in_loop_exit): Likewise. (combine_var_copies_in_loop_exit): Likewise for locals "seq" and "insn". (maybe_strip_eq_note_for_split_iv): Likewise for param "insn". (apply_opt_in_copies): Likewise for locals "insn", "orig_insn", "next". From-SVN: r214345
David Malcolm committed -
gcc/ * cfgloop.h (iv_analyze): Strengthen param 1 "insn" from rtx to rtx_insn *. (iv_analyze_result): Likewise. (iv_analyze_expr): Likewise. (biv_p): Likewise. * loop-iv.c (iv_get_reaching_def): Strengthen param "insn" and local "def_insn" from rtx to rtx_insn *. (get_biv_step_1): Likewise for local "insn". (iv_analyze_expr): Likewise for param "insn". (iv_analyze_def): Likewise for local "insn". (iv_analyze_op): Likewise for param "insn". (iv_analyze): Likewise. (iv_analyze_result): Likewise. (biv_p): Likewise. (suitable_set_for_replacement): Likewise. (simplify_using_initial_values): Likewise for local "insn". (iv_number_of_iterations): Likewise for param "insn". (check_simple_exit): Add checked cast to rtx_insn when invoking iv_number_of_iterations for now (until get_condition is strengthened). * loop-unroll.c (analyze_iv_to_split_insn): Strengthen param "insn" from rtx to rtx_insn *. (analyze_insns_in_loop): Likewise for local "insn". From-SVN: r214344
David Malcolm committed -
gcc/ * loop-invariant.c (struct use): Strengthen field "insn" from rtx to rtx_insn *. (struct invariant): Likewise. (hash_invariant_expr_1): Likewise for param "insn". (invariant_expr_equal_p): Likewise for param "insn1", "insn2". (find_exits): Likewise for local "insn". (create_new_invariant): Likewise for param "insn". (check_dependencies): Likewise. (find_invariant_insn): Likewise. (record_uses): Likewise. (find_invariants_insn): Likewise. (find_invariants_bb): Likewise for local "insn". (get_pressure_class_and_nregs): Likewise for param "insn". (calculate_loop_reg_pressure): Likewise for local "insn". From-SVN: r214343
David Malcolm committed -
gcc/ * loop-doloop.c (doloop_valid_p): Strengthen local "insn" from rtx to rtx_insn *. (add_test): Likewise for locals "seq", "jump". (doloop_modify): Likewise for locals "sequence", "jump_insn". From-SVN: r214342
David Malcolm committed -
gcc/ * rtl.h (rebuild_jump_labels): Strengthen param "f" from rtx to rtx_insn *. (rebuild_jump_labels_chain): Likewise for param "chain". * cfgexpand.c (pass_expand::execute): Add checked cast to rtx_insn * when calling rebuild_jump_labels_chain in region where we know e->insns.r is non-NULL. * jump.c (rebuild_jump_labels_1): Strengthen param "f" from rtx to rtx_insn *. (rebuild_jump_labels): Likewise. (rebuild_jump_labels_chain): Likewise for param "chain". (cleanup_barriers): Likewise for locals "insn", "next", "prev". (init_label_info): Likewise for param "f". (maybe_propagate_label_ref): Likewise for params "jump_insn", "prev_nonjump_insn". (mark_all_labels): Likewise for param "f" and locals "insn", "prev_nonjump_insn". From-SVN: r214341
David Malcolm committed -
gcc/ * ira-int.h (struct ira_allocno_copy): Strengthen field "insn" from rtx to rtx_insn *insn. (ira_create_copy): Strengthen param "insn" from rtx to rtx_insn *. (ira_add_allocno_copy): Likewise. * ira-build.c (find_allocno_copy): Strengthen param "insn" from rtx to rtx_insn *. (ira_create_copy): Likewise. (ira_add_allocno_copy): Likewise. (create_bb_allocnos): Likewise for local "insn". * ira-conflicts.c (process_regs_for_copy): Likewise for param "insn". (process_reg_shuffles): Update NULL_RTX to NULL in invocation of process_regs_for_copy for rtx_insn * param. (add_insn_allocno_copies): Strengthen param "insn" from rtx to rtx_insn *insn. Update NULL_RTX to NULL in invocation of process_regs_for_copy for rtx_insn * param. (add_copies): Strengthen local "insn" from rtx to rtx_insn *insn. * ira-costs.c (record_reg_classes): Likewise for param "insn". (record_operand_costs): Likewise. (scan_one_insn): Likewise for return type, and for param "insn". (process_bb_for_costs): Likewise for local "insn". (process_bb_node_for_hard_reg_moves): Likewise. * ira-emit.c (struct move): Likewise for field "insn". (create_move): Eliminate use of NULL_RTX when dealing with an rtx_insn *. (emit_move_list): Strengthen return type and locals "result", "insn" from rtx to rtx_insn *insn. (emit_moves): Likewise for locals "insns", "tmp". (ira_emit): Likewise for local "insn". * ira-lives.c (mark_hard_reg_early_clobbers): Likewise for param "insn". (find_call_crossed_cheap_reg): Likewise. (process_bb_node_lives): Likewise for local "insn". * ira.c (decrease_live_ranges_number): Likewise. (compute_regs_asm_clobbered): Likewise. (build_insn_chain): Likewise. (find_moveable_pseudos): Likewise, also locals "def_insn", "use_insn", "x". Also strengthen local "closest_uses" from rtx * to rtx_insn **. Add a checked cast when assigning from "closest_use" into closest_uses array in a region where we know it's a non-NULL insn. (interesting_dest_for_shprep): Strengthen param "insn" from rtx to rtx_insn *. (split_live_ranges_for_shrink_wrap): Likewise for locals "insn", "last_interesting_insn", "uin". (move_unallocated_pseudos): Likewise for locals "def_insn", "move_insn", "newinsn". From-SVN: r214339
David Malcolm committed -
gcc/ * internal-fn.c (ubsan_expand_si_overflow_addsub_check): Strengthen locals "done_label", "do_error" from rtx to rtx_code_label *. (ubsan_expand_si_overflow_addsub_check): Strengthen local "last" from rtx to rtx_insn *. Strengthen local "sub_check from rtx to rtx_code_label *. (ubsan_expand_si_overflow_neg_check): Likewise for locals "done_label", "do_error" to rtx_code_label * and local "last" to rtx_insn *. (ubsan_expand_si_overflow_mul_check): Likewise for locals "done_label", "do_error", "large_op0", "small_op0_large_op1", "one_small_one_large", "both_ops_large", "after_hipart_neg", "after_lopart_neg", "do_overflow", "hipart_different" to rtx_code_label * and local "last" to rtx_insn *. From-SVN: r214338
David Malcolm committed -
gcc/ * init-regs.c (initialize_uninitialized_regs): Strengthen locals "insn" and "move_insn" from rtx to rtx_insn *. From-SVN: r214337
David Malcolm committed -
gcc/ * ifcvt.c (count_bb_insns): Strengthen local "insn" from rtx to rtx_insn *. (cheap_bb_rtx_cost_p): Likewise. (first_active_insn): Likewise for return type and local "insn". (last_active_insn): Likewise for return type and locals "insn", "head". (struct noce_if_info): Likewise for fields "jump", "insn_a", "insn_b". (end_ifcvt_sequence): Likewise for return type and locals "insn", "seq". (noce_try_move): Likewise for local "seq". (noce_try_store_flag): Likewise. (noce_try_store_flag_constants): Likewise. (noce_try_addcc): Likewise. (noce_try_store_flag_mask): Likewise. (noce_try_cmove): Likewise. (noce_try_minmax): Likewise. (noce_try_abs): Likewise. (noce_try_sign_mask): Likewise. (noce_try_bitop): Likewise. (noce_can_store_speculate_p): Likewise for local "insn". (noce_process_if_block): Likewise for locals "insn_a", "insn_b", seq". (check_cond_move_block): Likewise for local "insn". (cond_move_convert_if_block): Likewise. (cond_move_process_if_block): Likewise for locals "seq", "loc_insn". (noce_find_if_block): Likewise for local "jump". (merge_if_block): Likewise for local "last". (block_jumps_and_fallthru_p): Likewise for locals "insn", "end". (find_cond_trap): Likewise for locals "trap", "jump", "newjump". (block_has_only_trap): Likewise for return type and local "trap". (find_if_case_1): Likewise for local "jump". (dead_or_predicable): Likewise for locals "head", "end", "jump", "insn". From-SVN: r214335
David Malcolm committed -
gcc/ * hw-doloop.h (struct hwloop_info_d): Strengthen fields "last_insn", "loop_end" from rtx to rtx_insn *. * hw-doloop.c (scan_loop): Likewise for local "insn". (discover_loop): Likewise for param "tail_insn". (discover_loops): Likewise for local "tail". * config/bfin/bfin.c (hwloop_optimize): For now, add a checked cast to rtx_insn * when assigning from an rtx local to a hwloop_info's "last_insn" field. From-SVN: r214334
David Malcolm committed -
PR c++/62129 * class.c (outermost_open_class): New. * cp-tree.h: Declare it. * decl.c (maybe_register_incomplete_var): Use it. (complete_vars): Handle any constant variable. * expr.c (cplus_expand_constant): Handle CONSTRUCTOR. From-SVN: r214333
Jason Merrill committed -
gcc/ * haifa-sched.c (bb_header): Strengthen from rtx * to rtx_insn **. (add_delay_dependencies): Strengthen local "pro" from rtx to rtx_insn *. (recompute_todo_spec): Likewise. (dep_cost_1): Likewise for locals "insn", "used". (schedule_insn): Likewise for local "dbg". (schedule_insn): Likewise for locals "pro", "next". (unschedule_insns_until): Likewise for local "con". (restore_pattern): Likewise for local "next". (estimate_insn_tick): Likewise for local "pro". (resolve_dependencies): Likewise for local "next". (fix_inter_tick): Likewise. (fix_tick_ready): Likewise for local "pro". (add_to_speculative_block): Likewise for locals "check", "twin", "pro". (sched_extend_bb): Likewise for locals "end", "insn". (init_before_recovery): Likewise for local "x". (sched_create_recovery_block): Likewise for local "barrier". (create_check_block_twin): Likewise for local "pro". (fix_recovery_deps): Likewise for locals "note", "insn", "jump", "consumer". (unlink_bb_notes): Update for change to type of bb_header. Strengthen locals "prev", "label", "note", "next" from rtx to rtx_insn *. (clear_priorities): Likewise for local "pro". From-SVN: r214332
David Malcolm committed
-