From cfe82a0cbe72baa723f7d89502cdf59c0e87fff4 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Fri, 7 May 2021 00:16:33 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 114 +++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 196 ++++++++++++++++++++++++++++++++++++++++ gcc/fortran/ChangeLog | 17 ++++ gcc/testsuite/ChangeLog | 62 +++++++++++++ include/ChangeLog | 4 + libcpp/ChangeLog | 9 ++ libiberty/ChangeLog | 4 + libstdc++-v3/ChangeLog | 39 ++++++++ 9 files changed, 446 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d1cc60a78e0..eb05020f98e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,117 @@ +2021-05-06 Martin Jambor + + * ipa-sra.c (ipa_sra_dump_all_summaries): Dump edge summaries even + when there is no function summary. + (ipa_sra_summarize_function): produce edge summaries even when + bailing out early. + +2021-05-06 Tom Tromey + + * godump.c (string_hash_eq): Remove. + (go_finish): Use htab_eq_string. + +2021-05-06 Tom Tromey + + * gengtype-state.c (read_state): Use htab_eq_string. + (string_eq): Remove. + +2021-05-06 Tom Tromey + + * gensupport.c (htab_eq_string): Remove. + +2021-05-06 Bernd Edlinger + + PR ipa/97937 + * debug.h (gcc_debug_hooks): Add set_ignored_loc function pointer. + * dwarf2out.h (dw_fde_node::ignored_debug): New data item. + * dbxout.c (dbx_debug_hooks, xcoff_debug_hooks): Add dummy + set_ignored_loc callbacks. + * debug.c (do_nothing_debug_hooks): Likewise. + * vmsdbgout.c (vmsdbg_debug_hooks): Likewise. + * dwarf2out.c (text_section_used, cold_text_section_used): Remove. + (in_text_section_p, last_text_label, last_cold_label, + switch_text_ranges, switch_cold_ranges): New data items. + (dwarf2out_note_section_used): Remove. + (dwarf2out_begin_prologue): Set fde->ignored_debug and + in_text_section_p. + (mark_ignored_debug_section): New helper function. + (dwarf2out_end_epilogue, dwarf2out_switch_text_section): Call + mark_ignored_debug_section. + (dwarf2_debug_hooks): Use dwarf2out_set_ignored_loc. + (dwarf2_lineno_debug_hooks): Use dummy for set_ignored_loc. + (size_of_aranges): Adjust formula for multi-part text ranges size. + (output_aranges): Output multi-part text ranges. + (dwarf2out_set_ignored_loc): New callback function. + (dwarf2out_finish): Output multi-part text ranges. + (dwarf2out_c_finalize): Clear new data items. + * final.c (final_start_function_1): Call set_ignored_loc callback. + (final_scan_insn_1): Likewise. + * ggc-page.c (gt_ggc_mx): New helper function. + * stringpool.c (gt_pch_nx): Likewise. + +2021-05-06 Richard Biener + + * timevar.def (TV_TREE_INSERT_PHI_NODES): Remove. + (TV_TREE_SSA_REWRITE_BLOCKS): Likewise. + (TV_TREE_INTO_SSA): New. + * tree-into-ssa.c (insert_phi_nodes): Do not account separately. + (rewrite_blocks): Likewise. + (pass_data_build_ssa): Account to TV_TREE_INTO_SSA. + +2021-05-06 Jakub Jelinek + + * tree-ssa-phiopt.c (value_replacement, minmax_replacement, + abs_replacement, xor_replacement, + cond_removal_in_popcount_clz_ctz_pattern, + replace_phi_edge_with_variable): Change type of phi argument from + gimple * to gphi *. + +2021-05-06 Richard Biener + + * tree-ssa-loop-split.c (split_loop): Delay updating SSA form. + Output an opt-info message. + (do_split_loop_on_cond): Likewise. + (tree_ssa_split_loops): Update SSA form here. + +2021-05-06 Richard Biener + + * tree-inline.c (tree_function_versioning): Fix DECL_BY_REFERENCE + return variable removal. + +2021-05-06 Marius Hillenbrand + + * config/s390/s390-builtins.def (O_M5, O1_M5, ...): Remove unused macros. + (s390_vec_permi_s64, s390_vec_permi_b64, s390_vec_permi_u64) + (s390_vec_permi_dbl, s390_vpdi): Use the O3_U2 type for the immediate + operand. + * config/s390/s390.c (s390_const_operand_ok): Remove unused + values. + +2021-05-06 Jakub Jelinek + + PR tree-optimization/94589 + * tree-ssa-phiopt.c (tree_ssa_phiopt_worker): Call + spaceship_replacement. + (cond_only_block_p, spaceship_replacement): New functions. + +2021-05-06 Richard Biener + + PR ipa/100373 + * tree-emutls.c (gen_emutls_addr): Pass in whether we're + dealing with a debug use and only query existing addresses + if so. + (lower_emutls_1): Avoid splitting out addresses for debug + stmts, reset the debug stmt when we fail to find existing + lowered addresses. + (lower_emutls_phi_arg): Set wi.stmt. + +2021-05-06 Christoph Muellner + + PR target/100266 + * config/riscv/riscv.c (riscv_block_move_loop): Use cbranch helper. + * config/riscv/riscv.md (cbranch4): Generate helpers. + (stack_protect_test): Use cbranch helper. + 2021-05-05 Eric Botcazou PR target/100402 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 8e159d53420..b5beafed7df 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20210506 +20210507 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 534ab11e8bc..5c867361d05 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,199 @@ +2021-05-06 Javier Miranda + + * exp_disp.adb (Build_Class_Wide_Check): Extending the + functionality of this routine to climb to the ancestors + searching for the enclosing overridden dispatching primitive + that has a class-wide precondition to generate the check. + +2021-05-06 Piotr Trojanek + + * sem_ch3.adb (Constraint_Index): Remove redundant problematic + analysis. + +2021-05-06 Arnaud Charlet + + * exp_unst.adb (Note_Uplevel_Bound): Exclude + E_Enumeration_Literal. + +2021-05-06 Arnaud Charlet + + * exp_ch4.adb (Expand_N_If_Expression): + Apply_Arithmetic_Overflow_Check will not deal with + Then/Else_Actions so skip minimizing overflow checks if any + actions are present. + +2021-05-06 Boris Yakobowski + + * gnat1drv.adb (Adjust_Global_Switches): Simplify logic. + +2021-05-06 Arnaud Charlet + + * libgnat/i-c.ads (bool): New type. + * libgnat/i-cexten.ads, libgnat/i-cexten__128.ads (bool): Now + a subtype of Interfaces.C.bool. + * libgnarl/s-interr__vxworks.adb (Interrupt_Manager): Qualify + False. + * libgnarl/s-interr.adb, libgnarl/s-interr__hwint.adb, + libgnarl/s-tasini.adb, libgnarl/s-tasren.adb, + libgnarl/s-tassta.adb, libgnarl/s-tpobmu.adb, + libgnarl/s-tpobop.adb, libgnarl/s-tpopmo.adb: Replace + Assert (False) by Assert (Standard.False). + +2021-05-06 Ghjuvan Lacambre + + * make.adb (Compute_Executable): Document parameter. + +2021-05-06 Eric Botcazou + + * libgnat/s-fatgen.adb (Scaling): Use single handling of + underflow. Add pragma Annotate. + +2021-05-06 Ghjuvan Lacambre + + * sem_eval.adb (Is_OK_Static_Subtype): Call Is_Static_Subtype, + remove redundant checks. + +2021-05-06 Piotr Trojanek + + * sem_res.adb (First_Last_Ref): Simplify "if [condition] then + return True" in "return [condition]". + (Resolve_Range): Remove calls appearing in IF condition from the + THEN statements. + +2021-05-06 Piotr Trojanek + + * sem_case.adb (Missing_Choice): Fix typo in comment. + (Lit_Of): Simplify with Make_Character_Literal. + (Check_Choices): Remove extra spaces in parameter + specifications. + * sem_case.ads: Same reformatting. + +2021-05-06 Ed Schonberg + + * exp_aggr.adb (Expand_Array_Aggregate): If the expression in an + Others_Clause has not been analyzed because previous analysis of + the enclosing aggregate showed the clause to be ineffective i.e. + cover a null range, analyze it now to detect a possible type + illegality. + +2021-05-06 Eric Botcazou + + * libgnat/s-fatgen.adb (Scaling): Fix off-by-one bug for underflow. + +2021-05-06 Arnaud Charlet + + * sem_ch6.adb (Is_Inline_Pragma): Protect against N not being a + list member in both branches. + +2021-05-06 Piotr Trojanek + + * libgnat/a-cofove.adb (Insert_Space): Remove hardcoded pragma + Warnings. + +2021-05-06 Piotr Trojanek + + * sem_ch4.adb (Analyze_Selected_Component): Remove explicit call + to Set_Raises_Constraint_Error on statically missing component. + * sem_eval.adb (Eval_Arithmetic_Op): Likewise for static + divisions by integer and real zeros. + * sem_util.adb (Apply_Compile_Time_Constraint_Error): Call + Set_Raises_Constraint_Error before exiting early in GNATprove + mode. + +2021-05-06 Justin Squirek + + * checks.adb (Make_Discriminant_Constraint_Check): Add check for + null when the type being converted is an access type. + +2021-05-06 Arnaud Charlet + + * exp_pakd.adb (Expand_Packed_Eq): Fix handling of PATs. + +2021-05-06 Piotr Trojanek + + * osint.adb (Read_Library_Info_From_Full): Cleanup unused + initial value. + +2021-05-06 Eric Botcazou + + * doc/gnat_rm/implementation_defined_characteristics.rst (3.5.7): + Mention the IEEE standard explicitly. Use current format names. + Document assumed rounding mode and new features of I/O support. + * gnat_rm.texi: Regenerate. + +2021-05-06 Eric Botcazou + + * init.c (__gnat_init_float): Use full version on Linux too. + +2021-05-06 Eric Botcazou + + * libgnat/s-fatgen.adb (Valid): Do a bit comparison with 0.0 + when denormalized numbers are not supported. + +2021-05-06 Piotr Trojanek + + * sem_attr.adb (Check_Enum_Image): Reword comment; add + Check_Enumeration_Maps parameter. Now this routine combines + both referencing enumeration literals and checking restriction + No_Enumeration_Maps, if required. + (Analyze_Attribute): Remove duplicated code and instead call + Check_Enum_Image. + +2021-05-06 Piotr Trojanek + + * sem_attr.adb (Analyze_Image_Attribute): Remove redundant + condition; add a missing header box. + +2021-05-06 Gary Dismukes + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Add + mention of underscore and fix grammar error in doc for -gnatd. + * gnat_ugn.texi: Regenerate. + +2021-05-06 Eric Botcazou + + * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add s-exponr, s-exnflt + and s-exnlfl. + * exp_ch4.adb (Expand_N_Op_Expon): Use RE_Exn_Float for Short_Float. + * rtsfind.ads (RTU_Id): Add System_Exn_Flt and System_Exn_LFlt. + (RE_Id): Adjust entries for RE_Exn_Float and RE_Exn_Long_Float. + (RE_Unit_Table): Likewise. + * libgnat/s-exnflt.ads: New file. + * libgnat/s-exnlfl.ads: Likewise. + * libgnat/s-exnllf.ads: Change to mere instantiation. + * libgnat/s-exnllf.adb: Move implementation to... + * libgnat/s-exponr.ads: New generic unit. + * libgnat/s-exponr.adb: ...here and also make it generic. + (Expon): Do the computation in double precision internally. + +2021-05-06 Piotr Trojanek + + * lib-writ.adb, osint.adb, osint.ads: Cleanup. + +2021-05-06 Piotr Trojanek + + * exp_ch3.adb (Expand_Freeze_Array_Type): Remove excessive + condition. + (Expand_N_Object_Declaration): Likewise. + (Build_Equivalent_Aggregate): Likewise. + (Initialization_Warning): Likewise; change another excessive + condition into assertion. + * freeze.adb (Freeze_Entity): Remove excessive condition. + +2021-05-06 Ed Schonberg + + * sem_res.adb (Resolve_If_Expression): If the context of the + expression is an indexed_component, resolve the expression and + its dependent_expressions with the base type of the index, to + ensure that an index check is generated when resolving the + enclosing indexxed_component, and avoid an improper use of + discriminants out of scope, when the index type is + discriminant-dependent. + +2021-05-06 Arnaud Charlet + + * einfo.ads, exp_prag.adb, exp_util.adb: Fix typos. + 2021-05-05 Piotr Trojanek * exp_attr.adb (Expand_N_Attribute_Reference): Fix expansion of diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 17367c4e6a7..042f532f697 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,20 @@ +2021-05-06 Paul Thomas + + PR fortran/46691 + PR fortran/99819 + * class.c (gfc_build_class_symbol): Remove the error that + disables assumed size class arrays. Class array types that are + not deferred shape or assumed rank are given a unique name and + placed in the procedure namespace. + * trans-array.c (gfc_trans_g77_array): Obtain the data pointer + for class arrays. + (gfc_trans_dummy_array_bias): Suppress the runtime error for + extent violations in explicit shape class arrays because it + always fails. + * trans-expr.c (gfc_conv_procedure_call): Handle assumed size + class actual arguments passed to non-descriptor formal args by + using the data pointer, stored as the symbol's backend decl. + 2021-05-05 Harald Anlauf PR fortran/100274 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 70c5d505c67..dcd47527afd 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,65 @@ +2021-05-06 Joseph Myers + + PR c++/83873 + PR preprocessor/97604 + * g++.dg/cpp1y/digit-sep-neg-2.C, + g++.dg/cpp1y/digit-sep-pp-number.C: New tests. + * g++.dg/cpp1y/digit-sep-line-neg.C, g++.dg/cpp1y/digit-sep-neg.C: + Adjust expected messages. + +2021-05-06 Martin Jambor + + * gcc.dg/ipa/ipa-sra-1.c (main): Revert change done by + 05193687dde, make the argv again pointer to an array. + +2021-05-06 Eric Botcazou + + * gnat.dg/opt93.adb: Compile only for LP64 targets. + +2021-05-06 Robin Dapp + + * lib/target-supports.exp: Add s390 checks for vect conversions. + +2021-05-06 Robin Dapp + + * gcc.dg/vect/pr56541.c: Add vect_floatint_cvt. + +2021-05-06 Paul Thomas + + PR fortran/46691 + PR fortran/99819 + * gfortran.dg/class_dummy_6.f90: New test. + * gfortran.dg/class_dummy_7.f90: New test. + +2021-05-06 Christophe Lyon + + PR testsuite/100355 + * gcc.c-torture/execute/ieee/cdivchkld.x: New. + +2021-05-06 Marius Hillenbrand + + * gcc.target/s390/zvector/imm-range-error-1.c: Fix test for + __builtin_s390_vpdi. + * gcc.target/s390/zvector/vec-permi.c: New test for builtin + vec_permi. + +2021-05-06 Jakub Jelinek + + PR tree-optimization/94589 + * gcc.dg/pr94589-1.c: New test. + * gcc.dg/pr94589-2.c: New test. + * gcc.dg/pr94589-3.c: New test. + * gcc.dg/pr94589-4.c: New test. + * g++.dg/opt/pr94589-1.C: New test. + * g++.dg/opt/pr94589-2.C: New test. + * g++.dg/opt/pr94589-3.C: New test. + * g++.dg/opt/pr94589-4.C: New test. + +2021-05-06 Richard Biener + + PR ipa/100373 + * gcc.dg/pr100373.c: New testcase. + 2021-05-05 Eric Botcazou * gcc.c-torture/execute/20210505-1.c: New test. diff --git a/include/ChangeLog b/include/ChangeLog index db80ae17ced..8fef1f9e60d 100644 --- a/include/ChangeLog +++ b/include/ChangeLog @@ -1,3 +1,7 @@ +2021-05-06 Tom Tromey + + * hashtab.h (htab_eq_string): Declare. + 2021-03-31 Patrick Palka PR c++/88115 diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog index 1974e37dc59..cb31a760527 100644 --- a/libcpp/ChangeLog +++ b/libcpp/ChangeLog @@ -1,3 +1,12 @@ +2021-05-06 Joseph Myers + + PR c++/83873 + PR preprocessor/97604 + * lex.c (lex_number): Reject adjacent digit separators here. Do + not allow digit separators before '.' or an exponent with sign. + * expr.c (cpp_classify_number): Do not check for adjacent digit + separators here. + 2021-05-03 H.J. Lu PR bootstrap/99703 diff --git a/libiberty/ChangeLog b/libiberty/ChangeLog index fa64ab3b8dd..d1dae213fd7 100644 --- a/libiberty/ChangeLog +++ b/libiberty/ChangeLog @@ -1,3 +1,7 @@ +2021-05-06 Tom Tromey + + * hashtab.c (htab_eq_string): New function. + 2021-05-04 Eric Botcazou * configure.ac: Make test for variables more robust. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index f6dbad089ed..53164d67778 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,42 @@ +2021-05-06 Jonathan Wakely + + * include/bits/stl_algobase.h (__copy_move, __copy_move_backward): + Improve static_assert messages. + * testsuite/25_algorithms/copy/58982.cc: Adjust expected output. + * testsuite/25_algorithms/copy_n/58982.cc: Likewise. + +2021-05-06 Patrick Palka + + * include/std/ranges (filter_view::_Iterator::base): Make the + const& overload unconstrained and return a const reference as + per LWG 3533. Make unconditionally noexcept. + (transform_view::_Iterator::base): Likewise. + (elements_view::_Iterator::base): Likewise. + +2021-05-06 Patrick Palka + + * include/bits/stl_iterator.h (move_iterator::base): Make the + const& overload unconstrained and return a const reference as + per LWG 3391. Make unconditionally noexcept. + (counted_iterator::base): Likewise. + * testsuite/24_iterators/move_iterator/lwg3391.cc: New test. + * testsuite/24_iterators/move_iterator/move_only.cc: Adjust + has_member_base concept to decay-copy the result of base(). + +2021-05-06 Jonathan Wakely + + * include/std/type_traits (remove_cvref_t): Define in terms of + remove_cvref. + * testsuite/20_util/remove_cvref/value.cc: Check alias. + +2021-05-06 Jonathan Wakely + + Revert: + 2021-05-05 Jonathan Wakely + + * include/std/charconv (__from_chars_alnum): Pass unsigned + char to std::isdigit. + 2021-05-05 Patrick Palka * include/bits/ranges_util.h (enable_borrowed_range):