From 9a5b7438c85a926a0dba9dc980039f3d67571763 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Thu, 4 Jun 2020 00:16:34 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 97 ++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 250 ++++++++++++++++++++++++++++++++++++++++ gcc/c-family/ChangeLog | 20 ++++ gcc/c/ChangeLog | 19 +++ gcc/cp/ChangeLog | 39 +++++++ gcc/fortran/ChangeLog | 14 +++ gcc/jit/ChangeLog | 6 + gcc/lto/ChangeLog | 4 + gcc/po/ChangeLog | 4 + gcc/testsuite/ChangeLog | 69 +++++++++++ libgcc/ChangeLog | 8 ++ 12 files changed, 531 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3fc8a8e55cc..edbcaf2bc4d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,100 @@ +2020-06-03 Vitor Guidi + + * match.pd (tanh/sinh -> 1/cosh): New simplification. + +2020-06-03 Aaron Sawdey + + PR target/95347 + * config/rs6000/rs6000.c (is_stfs_insn): Rename to + is_lfs_stfs_insn and make it recognize lfs as well. + (prefixed_store_p): Use is_lfs_stfs_insn(). + (prefixed_load_p): Use is_lfs_stfs_insn() to recognize lfs. + +2020-06-03 Jan Hubicka + + * ipa-devirt.c: Include data-streamer.h, lto-streamer.h and + streamer-hooks.h. + (odr_enums): New static var. + (struct odr_enum_val): New struct. + (class odr_enum): New struct. + (odr_enum_map): New hashtable. + (odr_types_equivalent_p): Drop code testing TYPE_VALUES. + (add_type_duplicate): Likewise. + (free_odr_warning_data): Do not free TYPE_VALUES. + (register_odr_enum): New function. + (ipa_odr_summary_write): New function. + (ipa_odr_read_section): New function. + (ipa_odr_summary_read): New function. + (class pass_ipa_odr): New pass. + (make_pass_ipa_odr): New function. + * ipa-utils.h (register_odr_enum): Declare. + * lto-section-in.c: (lto_section_name): Add odr_types section. + * lto-streamer.h (enum lto_section_type): Add odr_types section. + * passes.def: Add odr_types pass. + * lto-streamer-out.c (DFS::DFS_write_tree_body): Do not stream + TYPE_VALUES. + (hash_tree): Likewise. + * tree-streamer-in.c (lto_input_ts_type_non_common_tree_pointers): + Likewise. + * tree-streamer-out.c (write_ts_type_non_common_tree_pointers): + Likewise. + * timevar.def (TV_IPA_ODR): New timervar. + * tree-pass.h (make_pass_ipa_odr): Declare. + * tree.c (free_lang_data_in_type): Regiser ODR types. + +2020-06-03 Romain Naour + + * Makefile.in (SELFTEST_DEPS): Move before including language makefile + fragments. + +2020-06-03 Richard Biener + + PR tree-optimization/95487 + * tree-vect-stmts.c (vectorizable_store): Use a truth type + for the scatter mask. + +2020-06-03 Richard Biener + + PR tree-optimization/95495 + * tree-vect-slp.c (vect_slp_analyze_node_operations): Use + SLP_TREE_REPRESENTATIVE in the shift assertion. + +2020-06-03 Tom Tromey + + * spellcheck.c (CASE_COST): New define. + (BASE_COST): New define. + (get_edit_distance): Recognize case changes. + (get_edit_distance_cutoff): Update. + (test_edit_distances): Update. + (get_old_cutoff): Update. + (test_find_closest_string): Add case sensitivity test. + +2020-06-03 Richard Biener + + * tree-vect-slp.c (vect_bb_vectorization_profitable_p): Loop over + the cost vector to unset the visited flag on stmts. + +2020-06-03 Tobias Burnus + + * gimplify.c (omp_notice_variable): Use new hook. + * langhooks-def.h (lhd_omp_predetermined_mapping): Declare. + (LANG_HOOKS_OMP_PREDETERMINED_MAPPING): Define + (LANG_HOOKS_DECLS): Add it. + * langhooks.c (lhd_omp_predetermined_sharing): Remove bogus unused attr. + (lhd_omp_predetermined_mapping): New. + * langhooks.h (struct lang_hooks_for_decls): Add new hook. + +2020-06-03 Jan Hubicka + + * lto-streamer.h (LTO_tags): Reorder so frequent tags has small indexes; + add LTO_first_tree_tag and LTO_first_gimple_tag. + (lto_tag_is_tree_code_p): Update. + (lto_tag_is_gimple_code_p): Update. + (lto_gimple_code_to_tag): Update. + (lto_tag_to_gimple_code): Update. + (lto_tree_code_to_tag): Update. + (lto_tag_to_tree_code): Update. + 2020-06-02 Felix Yang PR target/95459 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 2850e546047..6c883c98853 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20200603 +20200604 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f672e7466c9..6fc01445b8b 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,253 @@ +2020-06-03 Eric Botcazou + + * sem_ch12.adb (Denotes_Previous_Actual): Delete. + (Check_Generic_Actuals): Do not special case array types whose + component type denotes a previous actual. Do not special case + access types whose base type is private. + (Check_Private_View): Remove code dealing with secondary types. + Do not switch the views of an array because of its component. + (Copy_Generic_Node): Add special handling for a comparison + operator on array types. + (Instantiate_Type): Do not special case access types whose + designated type is private. + (Set_Global_Type): Do not special case array types whose + component type is private. + +2020-06-03 Justin Squirek + + * sem_ch10.adb (Process_Body_Clauses): Add loop to interate + through all prefixes in a use_type clause so that all packages + in the expanded name get examined for effectiveness. + +2020-06-03 Eric Botcazou + + * sem_ch12.adb (Check_Private_View): Clean up implementation of + second main case, when the generic sees the private declaration. + +2020-06-03 Arnaud Charlet + + * libgnat/a-nbnbin.ads: Minor reformatting. + * libgnat/a-nbnbre.ads, libgnat/a-nbnbre.adb (Is_Valid): Add + convention Intrinsic. Add detection of uninitialized big reals. + +2020-06-03 Arnaud Charlet + + * sem_util.ads, sem_util.adb (Side_Effect_Free_Statements, + Side_Effect_Free_Loop): New functions. + (Has_Non_Null_Statements): Consider N_Call_Marker as a null + statement. + * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Call + Set_Is_Null_Loop even inside a generic instantiation. + (Analyze_Loop_Statement): Mark for removal loops with no side + effects. + +2020-06-03 Eric Botcazou + + * opt.ads (Allow_Integer_Address): Fix typo in comment. + * stand.ads (Standard_Address): New entity. + * cstand.adb (Create_Standard): Create it. + * sem_ch4.adb (Operator_Check): Convert the operands of an + operation with addresses and integers to Standard_Address + if pragma Allow_Integer_Address is in effect. + +2020-06-03 Eric Botcazou + + * libgnat/s-atopar.adb (Atomic_Fetch_And_Add): Make use of an + equivalent static expression. + (Atomic_Fetch_And_Subtract): Likewise. + (Is_Lock_Free): Likewise. + * libgnat/s-atopex.adb (Atomic_Exchange): Likewise. + (Atomic_Compare_And_Exchange): Likewise. + (Is_Lock_Free): Likewise. + +2020-06-03 Vadim Godunko + + * libgnat/s-parame.ads, libgnat/s-parame__ae653.ads, + libgnat/s-parame__hpux.ads: Fix typos. + +2020-06-03 Eric Botcazou + + * exp_util.adb (Remove_Side_Effects): For a type conversion, do + not remove the side effects of the expression only if it is of + universal integer type. + +2020-06-03 Arnaud Charlet + + * libgnat/s-aotase.ads, libgnat/s-atoope.ads, + libgnat/s-atopar.ads, libgnat/s-atopex.ads: Update header. + +2020-06-03 Eric Botcazou + + * exp_ch4.adb (Expand_N_Unchecked_Type_Conversion): Also fold the + conversion for literals of enumeration types. + +2020-06-03 Yannick Moy + + * rtsfind.adb (Load_RTU): Correctly set/reset global variable to + ignore SPARK_Mode in instances around loading. + * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Accept Off + without prior On. + * sem_ch7.adb (Analyze_Package_Body_Helper): Likewise. + * sem_prag.adb (Analyze_Pragma): Always take into account + SPARK_Mode Off. + +2020-06-03 Arnaud Charlet + + * frontend.adb (Frontend): Call (dummy for now) tree checker. + * debug.adb: Reserve -gnatd_V for the tree checker. + * vast.ads, vast.adb: New files. + * gcc-interface/Make-lang.in: Add vast.o. + +2020-06-03 Justin Squirek + + * libgnat/a-cborse.adb, libgnat/a-cihase.adb, + libgnat/a-ciorse.adb, libgnat/a-coorse.adb: Modified to use + 'Unrestricted_Access in certain cases where static accessibility + errors were triggered. + * exp_ch6.adb (Expand_Simple_Return_Statement): Add generation + of dynamic accessibility checks as determined by + Is_Special_Aliased_Formal_Access. + * sem_attr.adb (Resolve_Attribute): Add call to + Is_Special_Aliased_Formal_Access to avoid performing static + checks where dynamic ones are required. + * sem_ch6.adb (Check_Return_Obj_Accessibility): Handle renamed + objects within component associations requiring special + accessibility checks. + * sem_util.adb, sem_util.ads (Is_Special_Aliased_Formal_Access): + Created to detect the special case where an aliased formal is + being compared against the level of an anonymous access return + object. + (Object_Access_Level): Remove incorrect condition leading to + overly permissive accessibility levels being returned on + explicitly aliased parameters. + +2020-06-03 Eric Botcazou + + * einfo.ads (Enum_Pos_To_Rep): Adjust description. + * exp_attr.adb (Expand_N_Attribute_Reference) : + Reimplement in the case of an enumeration type with non-standard + but contiguous representation. + : Likewise. + : Likewise. + * exp_ch3.adb (Expand_Freeze_Enumeration_Type): Count the + literals in the first loop. If the representation is + contiguous, just build the index type of the array type and set + Enum_Pos_To_Rep to it. + +2020-06-03 Gary Dismukes + + * exp_attr.adb (Expand_Loop_Entry_Attribute): Revise loop that + resets the scopes of entities associated with Loop_Id to the + scope of the new function, so the resetting is not restricted to + itypes, but excludes loop parameters and the function entity + itself. However, this fix is believed to be incomplete and a ??? + comment is added to indicate that. + +2020-06-03 Bob Duff + + * libgnat/s-regexp.ads: Fix comment + +2020-06-03 Eric Botcazou + + * exp_attr.adb (Expand_N_Attribute_Reference) : + In the case of an enumeration type, do an intermediate + conversion to a small integer type. Remove useless stuff. + : Do not hardcode Universal_Integer and + fix a type mismatch in the assignment to the variable. + : Likewise. + : Do not redefine the Ptyp local variable. + : Likewise. + : Likewise. + : Small tweaks. + : For an enumeration type with standard representation, + apply the range check to the expression of a convertion to + Universal_Integer, if any. For an integer type, expand to + a mere conversion. + +2020-06-03 Eric Botcazou + + * libgnat/s-rannum.adb (Random_Discrete): In the 32-bit case, + use the same linear implementation as in the 64-bit case when + the type has a contiguous representation. + +2020-06-03 Gary Dismukes + + * sem_util.adb (Build_Class_Wide_Clone_Decl): Call + Set_Debug_Info_Needed to set the Needs_Debug_Info flag on + Clone_Id if the flag is set on Spec_Id. + +2020-06-03 Yannick Moy + + * inline.adb (Expand_Inlined_Call): Do not suppress checks on + inlined code in GNATprove mode. + +2020-06-03 Eric Botcazou + + * einfo.ads (Has_Contiguous_Rep): Fix typo in comment. + +2020-06-03 Piotr Trojanek + + * checks.adb, einfo.adb, exp_aggr.adb, exp_ch4.adb, exp_ch6.adb, + exp_unst.adb, exp_util.adb, freeze.adb, inline.adb, repinfo.adb, + sem_aggr.adb, sem_attr.adb, sem_aux.adb, sem_ch13.adb, + sem_ch3.adb, sem_ch4.adb, sem_ch8.adb, sem_elab.adb, + sem_eval.adb, sem_prag.adb, sem_res.adb, sem_smem.adb, + sem_util.adb, treepr.adb: Replace uses of Next_ functions with + corresponding procedures. + +2020-06-03 Eric Botcazou + + * exp_attr.adb (Attribute_Valid): Use Standard_Long_Long_Integer + in lieu of Universal_Integer as large integer type. + * exp_ch3.adb (Expand_Freeze_Enumeration_Type): Likewise. + +2020-06-03 Arnaud Charlet + + * libgnat/s-auxdec.ads (Address_Int): New. + +2020-06-03 Arnaud Charlet + + * aspects.adb, aspects.ads, atree.adb, atree.ads, elists.adb, + elists.ads, fname.adb, fname.ads, gnat1drv.adb, lib.adb, + lib.ads, namet.adb, namet.ads, nlists.adb, nlists.ads, opt.adb, + opt.ads, osint-c.adb, osint-c.ads, repinfo.adb, repinfo.ads, + sem_aux.adb, sem_aux.ads, sinput.adb, sinput.ads, stand.ads, + stringt.adb, stringt.ads, switch-c.adb, table.adb, table.ads, + uintp.adb, uintp.ads, urealp.adb, urealp.ads (Tree_Read, + Tree_Write): Remove generation of ASIS trees. + * doc/gnat_ugn/building_executable_programs_with_gnat.rst: + Remove -gnatt and -gnatct documentation. + * gnat_ugn.texi: Regenerate. + * tree_in.ads, tree_in.adb, tree_io.ads, tree_io.adb, + tree_gen.ads, tree_gen.adb, stand.adb: Remove. + * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Remove + references to tree_gen.o tree_in.o tree_io.o. + +2020-06-03 Eric Botcazou + + * opt.ads (Disable_FE_Inline): Move around. + (Disable_FE_Inline_Always): Likewise. + +2020-06-03 Eric Botcazou + + * checks.adb (Is_Single_Attribute_Reference): New predicate. + (Generate_Range_Check): Do not force the evaluation if the + node is a single attribute reference. + * exp_util.adb (Side_Effect_Free_Attribute): New predicate. + (Side_Effect_Free) : Call it. + (Remove_Side_Effects): Remove the side effects of the prefix + for an attribute reference whose prefix is not a name. + +2020-06-03 Arnaud Charlet + + * switch-c.adb (Scan_Front_End_Switches): Remove processing of + -gnatt. + * usage.adb (Usage): Remove mention of -gnatt. + +2020-06-03 Eric Botcazou + + * sinfo.ads: Minor tweaks in commentary. + 2020-06-02 Alexandre Oliva * lib.ads (Compilation_Switches): Remove -auxbase from diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 0ec2b9662a8..a513fdc4958 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,23 @@ +2020-06-03 Mark Wielaard + + * known-headers.cc (get_cp_stdlib_header_for_string_macro_name): + New function. + * known-headers.h (get_cp_stdlib_header_for_string_macro_name): + New function declaration. + +2020-06-03 Mark Wielaard + + * known-headers.cc (get_string_macro_hint): New function. + (get_stdlib_header_for_name): Use get_string_macro_hint. + (get_c_stdlib_header_for_string_macro_name): New function. + * known-headers.h (get_c_stdlib_header_for_string_macro_name): + New function declaration. + +2020-06-03 Tobias Burnus + + * c-common.h (c_omp_predetermined_mapping): Declare. + * c-omp.c (c_omp_predetermined_mapping): New. + 2020-05-22 Mark Wielaard * known-headers.cc (get_stdlib_header_for_name): Add a new diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 7efb6bfc544..abf31e57688 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,22 @@ +2020-06-03 Mark Wielaard + + * c-parser.c (struct c_parser): Add seen_string_literal + bitfield. + (c_parser_consume_token): Reset seen_string_literal. + (c_parser_error_richloc): Add name_hint if seen_string_literal + and next token is a CPP_NAME and we have a missing header + suggestion for the name. + (c_parser_string_literal): Set seen_string_literal. + +2020-06-03 Mark Wielaard + + * c-parser.c (c_parser_postfix_expression_after_primary): Add + scope with matching_parens after CPP_OPEN_PAREN. + +2020-06-03 Tobias Burnus + + * c-objc-common.h (LANG_HOOKS_OMP_PREDETERMINED_MAPPING): Redefine. + 2020-05-28 Nicolas Bértolo * Make-lang.in: Remove extra slash. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 805ed184220..452ab2345f0 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,42 @@ +2020-06-03 Mark Wielaard + + * parser.c (cp_lexer_safe_previous_token): New function. + (cp_parser_error_1): Add name_hint if the previous token is + a string literal and next token is a CPP_NAME and we have a + missing header suggestion for the name. + +2020-06-03 Patrick Palka + + * pt.c (process_partial_specialization): Pass the full set of + generic template arguments to strictly_subsumes. + +2020-06-03 Patrick Palka + + PR c++/92103 + * pt.c (most_specialized_partial_spec): Reorganize the loop over + DECL_TEMPLATE_SPECIALIZATIONS. Check constraints_satisfied_p on + the original template declaration, not on the tsubsted one. + +2020-06-03 Iain Sandoe + + PR c++/95345 + * coroutines.cc (finish_co_await_expr): Revise to allow for + parameter packs. + (finish_co_yield_expr): Likewise. + +2020-06-03 Jason Merrill + + PR c++/95232 + * cp-tree.h (predeclare_vla): Declare. + * cp-gimplify.c (predeclare_vla): Handle getting a decl. + * pt.c (tsubst_expr) [DECL_EXPR]: Use it. + +2020-06-03 Tobias Burnus + + * cp-gimplify.c (cxx_omp_predetermined_mapping): New. + * cp-objcp-common.h (LANG_HOOKS_OMP_PREDETERMINED_MAPPING): Redfine. + * cp-tree.h (cxx_omp_predetermined_mapping): Declare. + 2020-06-02 Jason Merrill PR c++/95193 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index a96acfa17cb..a8789024860 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,17 @@ +2020-06-03 José Rui Faustino de Sousa + + PR fortran/95214 + PR fortran/66833 + PR fortran/67938 + * trans-expr.c (gfc_maybe_dereference_var): Add assumed-rank to + character dummy arguments list of possible attributes. + +2020-06-03 Tobias Burnus + + * f95-lang.c (LANG_HOOKS_OMP_PREDETERMINED_MAPPING): Redefine. + * trans-openmp.c (gfc_omp_predetermined_mapping): New. + * trans.h (gfc_omp_predetermined_mapping): Declare. + 2020-05-31 Thomas Koenig PR fortran/94361 diff --git a/gcc/jit/ChangeLog b/gcc/jit/ChangeLog index c0561d19db4..85edad17e98 100644 --- a/gcc/jit/ChangeLog +++ b/gcc/jit/ChangeLog @@ -1,3 +1,9 @@ +2020-06-03 David Malcolm + + PR jit/95306 + * jit-builtins.c (builtins_manager::make_primitive_type): + Implement BT_CONST_VOLATILE_PTR. + 2020-06-02 David Malcolm PR jit/95426 diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog index 047afbafc80..599d22922d5 100644 --- a/gcc/lto/ChangeLog +++ b/gcc/lto/ChangeLog @@ -1,3 +1,7 @@ +2020-06-03 Jan Hubicka + + * lto-common.c (compare_tree_sccs_1): Do not compare TYPE_VALUES. + 2020-05-22 Jan Hubicka * lto-common.c (lto_read_decls): Do not skip stray refs. diff --git a/gcc/po/ChangeLog b/gcc/po/ChangeLog index 064985a7d7b..8f2e0a644d3 100644 --- a/gcc/po/ChangeLog +++ b/gcc/po/ChangeLog @@ -1,3 +1,7 @@ +2020-06-03 Joseph Myers + + * sv.po: Update. + 2020-05-18 Joseph Myers * sv.po: Update. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 23f21cc8f4d..89a1ad55923 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,72 @@ +2020-06-03 Mark Wielaard + + * g++.dg/spellcheck-inttypes.C: Add string-literal testcases. + +2020-06-03 Mark Wielaard + + * gcc.dg/spellcheck-inttypes.c: New test. + * g++.dg/spellcheck-inttypes.C: Likewise. + +2020-06-03 Mark Wielaard + + * c-c++-common/missing-close-func-paren.c: New test. + +2020-06-03 Vitor Guidi + + * gcc.dg/tanhbysinh.c: New testcase. + +2020-06-03 Patrick Palka + + * g++.dg/cpp2a/concepts-partial-spec8.C: New test. + +2020-06-03 Patrick Palka + + PR c++/92103 + * g++.dg/cpp2a/concepts-partial-spec7.C: New test. + +2020-06-03 Jan Hubicka + + * g++.dg/lto/pr84805_0.C: Update. + +2020-06-03 Iain Sandoe + + PR c++/95345 + * g++.dg/coroutines/pr95345.C: New test. + +2020-06-03 Jason Merrill + + PR c++/95232 + * g++.dg/ubsan/vla-2.C: New test. + +2020-06-03 José Rui Faustino de Sousa + + PR fortran/95214 + PR fortran/66833 + PR fortran/67938 + * gfortran.dg/PR95214.f90: New test. + +2020-06-03 Richard Biener + + PR tree-optimization/95487 + * g++.dg/vect/pr95487.cc: New testcase. + +2020-06-03 David Malcolm + + PR jit/95306 + * jit.dg/test-pr95306-builtin-types.c (create_code): Add + test of getting __atomic_load. + +2020-06-03 Richard Biener + + PR tree-optimization/95495 + * gcc.dg/vect/pr95495.c: New testcase. + +2020-06-03 Thomas Schwinge + Tobias Burnus + + PR middle-end/94874 + * c-c++-common/gomp/pr94874.c: New. + 2020-06-02 David Malcolm PR jit/95426 diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog index 0b4228237bc..3b20f6f86a7 100644 --- a/libgcc/ChangeLog +++ b/libgcc/ChangeLog @@ -1,3 +1,11 @@ +2020-06-03 Martin Liska + + PR gcov-profile/95480 + * libgcov-profiler.c (GCOV_SUPPORTS_ATOMIC): Move to... + * libgcov.h (GCOV_SUPPORTS_ATOMIC): ...here. + (gcov_counter_add): Use GCOV_SUPPORTS_ATOMIC guard. + (gcov_counter_set_if_null): Likewise. + 2020-06-02 Jim Wilson * config/riscv/div.S (__divdi3): For negative arguments, change bgez