From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id CECCA399C033; Fri, 18 Jun 2021 00:17:41 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org CECCA399C033 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r12-1604] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: b376b1ef38971b84975ad1540bf5d2ae0b924e76 X-Git-Newrev: 688359a27d835bbdab554fdf5eb207f1bd678371 Message-Id: <20210618001741.CECCA399C033@sourceware.org> Date: Fri, 18 Jun 2021 00:17:41 +0000 (GMT) X-BeenThere: libstdc++-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libstdc++-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 18 Jun 2021 00:17:41 -0000 https://gcc.gnu.org/g:688359a27d835bbdab554fdf5eb207f1bd678371 commit r12-1604-g688359a27d835bbdab554fdf5eb207f1bd678371 Author: GCC Administrator Date: Fri Jun 18 00:16:58 2021 +0000 Daily bump. Diff: --- ChangeLog | 5 + contrib/ChangeLog | 5 + gcc/ChangeLog | 173 ++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 346 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/cp/ChangeLog | 11 ++ gcc/testsuite/ChangeLog | 32 +++++ libgomp/ChangeLog | 89 +++++++++++++ libitm/ChangeLog | 5 + libstdc++-v3/ChangeLog | 39 ++++++ 10 files changed, 706 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 9fc6e165fc1..fba4c8400f8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2021-06-17 Aldy Hernandez + + * MAINTAINERS (Various Maintainers): Add Andrew and myself + as *vrp and ranger maintainers. + 2021-06-05 Jeff Law * MAINTAINERS: Adjust my entry in the DCO section so that it does diff --git a/contrib/ChangeLog b/contrib/ChangeLog index d8df6be9f33..6d5a2e486eb 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,8 @@ +2021-06-17 Jason Merrill + + * mklog.py: Add an initial component: [PRnnnnn] line when + we have a PR. + 2021-06-13 Tobias Burnus * gcc-changelog/git_commit.py (pr_regex): Add ?P for group('pr'). diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 61a714d6ec0..6cd9445ec04 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,176 @@ +2021-06-17 Aaron Sawdey + + * config/rs6000/genfusion.pl (gen_logical_addsubf): Add + earlyclobber to alts 0/1. + (gen_addadd): Add earlyclobber to alts 0/1. + * config/rs6000/fusion.md: Regenerate file. + +2021-06-17 Trevor Saunders + + * cfgloopanal.c (get_loop_hot_path): Make path an auto_vec. + +2021-06-17 Andrew MacLeod + + * gimple-range-cache.cc: Comment cleanups. + * gimple-range-gori.cc: Comment cleanups. + * gimple-range.cc: Comment/spacing cleanups + * value-range.h: Comment cleanups. + +2021-06-17 H.J. Lu + + PR target/100704 + * calls.c (expand_call): Replace PUSH_ARGS with + targetm.calls.push_argument (0). + (emit_library_call_value_1): Likewise. + * defaults.h (PUSH_ARGS): Removed. + (PUSH_ARGS_REVERSED): Replace PUSH_ARGS with + targetm.calls.push_argument (0). + * expr.c (block_move_libcall_safe_for_call_parm): Likewise. + (emit_push_insn): Pass the number bytes to push to + targetm.calls.push_argument and pass 0 if ARGS_ADDR is 0. + * hooks.c (hook_bool_uint_true): New. + * hooks.h (hook_bool_uint_true): Likewise. + * rtlanal.c (nonzero_bits1): Replace PUSH_ARGS with + targetm.calls.push_argument (0). + * target.def (push_argument): Add a targetm.calls hook. + * targhooks.c (default_push_argument): New. + * targhooks.h (default_push_argument): Likewise. + * config/bpf/bpf.h (PUSH_ARGS): Removed. + * config/cr16/cr16.c (TARGET_PUSH_ARGUMENT): New. + * config/cr16/cr16.h (PUSH_ARGS): Removed. + * config/i386/i386.c (ix86_push_argument): New. + (TARGET_PUSH_ARGUMENT): Likewise. + * config/i386/i386.h (PUSH_ARGS): Removed. + * config/m32c/m32c.c (TARGET_PUSH_ARGUMENT): New. + * config/m32c/m32c.h (PUSH_ARGS): Removed. + * config/nios2/nios2.h (PUSH_ARGS): Likewise. + * config/pru/pru.h (PUSH_ARGS): Likewise. + * doc/tm.texi.in: Remove PUSH_ARGS documentation. Add + TARGET_PUSH_ARGUMENT hook. + * doc/tm.texi: Regenerated. + +2021-06-17 Uroš Bizjak + + PR target/97194 + * config/i386/i386-expand.c (expand_vector_set_var): + Handle V2FS mode remapping. Pass TARGET_MMX_WITH_SSE to + ix86_expand_vector_init_duplicate. + (ix86_expand_vector_init_duplicate): Emit insv_1 for + QImode for !TARGET_PARTIAL_REG_STALL. + * config/i386/predicates.md (vec_setm_mmx_operand): New predicate. + * config/i386/mmx.md (vec_setv2sf): Use vec_setm_mmx_operand + as operand 2 predicate. Call ix86_expand_vector_set_var + for non-constant index operand. + (vec_setv2si): Ditto. + (vec_setv4hi): Ditto. + (vec_setv8qi): ditto. + +2021-06-17 Aldy Hernandez + + PR tree-optimization/100790 + * gimple-range.cc (range_of_builtin_call): Cleanup clz and ctz + code. + +2021-06-17 Martin Liska + + * doc/invoke.texi: Use consistently -O1 instead of -O. + +2021-06-17 Martin Liska + + * gcov-io.h: Update documentation entry about string format. + +2021-06-17 Marius Hillenbrand + + PR target/100871 + * config/s390/vecintrin.h (vec_doublee): Fix to use + __builtin_s390_vflls. + (vec_floate): Fix to use __builtin_s390_vflrd. + +2021-06-17 Trevor Saunders + + * dominance.c (get_dominated_to_depth): Return auto_vec. + * dominance.h (get_dominated_to_depth): Likewise. + (get_all_dominated_blocks): Likewise. + * cfgcleanup.c (delete_unreachable_blocks): Adjust. + * gcse.c (hoist_code): Likewise. + * tree-cfg.c (remove_edge_and_dominated_blocks): Likewise. + * tree-parloops.c (oacc_entry_exit_ok): Likewise. + * tree-ssa-dce.c (eliminate_unnecessary_stmts): Likewise. + * tree-ssa-phiprop.c (pass_phiprop::execute): Likewise. + +2021-06-17 Trevor Saunders + + * dominance.c (get_dominated_by_region): Return auto_vec. + * dominance.h (get_dominated_by_region): Likewise. + * tree-cfg.c (gimple_duplicate_sese_region): Adjust. + (gimple_duplicate_sese_tail): Likewise. + (move_sese_region_to_fn): Likewise. + +2021-06-17 Trevor Saunders + + * dominance.c (get_dominated_by): Return auto_vec. + * dominance.h (get_dominated_by): Likewise. + * auto-profile.c (afdo_find_equiv_class): Adjust. + * cfgloopmanip.c (duplicate_loop_to_header_edge): Likewise. + * loop-unroll.c (unroll_loop_runtime_iterations): Likewise. + * tree-cfg.c (test_linear_chain): Likewise. + (test_diamond): Likewise. + +2021-06-17 Trevor Saunders + + * cfgloop.h (get_loop_hot_path): Return auto_vec. + * cfgloopanal.c (get_loop_hot_path): Likewise. + * tree-ssa-loop-ivcanon.c (tree_estimate_loop_size): Likewise. + +2021-06-17 Trevor Saunders + + * cgraph.c (cgraph_node::collect_callers): Return + auto_vec. + * cgraph.h (cgraph_node::collect_callers): Likewise. + * ipa-cp.c (create_specialized_node): Adjust. + (decide_about_value): Likewise. + (decide_whether_version_node): Likewise. + * ipa-sra.c (process_isra_node_results): Likewise. + +2021-06-17 Trevor Saunders + + * vec.h (vl_ptr>::using_auto_storage): Handle null m_vec. + (auto_vec::auto_vec): Define move constructor, and delete copy + constructor. + (auto_vec::operator=): Define move assignment and delete copy + assignment. + +2021-06-17 Aldy Hernandez + + * gimple-range.cc (debug_seed_ranger): New. + (dump_ranger): New. + (debug_ranger): New. + +2021-06-17 Richard Biener + + PR tree-optimization/54400 + * tree-vectorizer.h (enum slp_instance_kind): Add + slp_inst_kind_bb_reduc. + (reduction_fn_for_scalar_code): Declare. + * tree-vect-data-refs.c (vect_slp_analyze_instance_dependence): + Check SLP_INSTANCE_KIND instead of looking at the + representative. + (vect_slp_analyze_instance_alignment): Likewise. + * tree-vect-loop.c (reduction_fn_for_scalar_code): Export. + * tree-vect-slp.c (vect_slp_linearize_chain): Split out + chain linearization from vect_build_slp_tree_2 and generalize + for the use of BB reduction vectorization. + (vect_build_slp_tree_2): Adjust accordingly. + (vect_optimize_slp): Elide permutes at the root of BB reduction + instances. + (vectorizable_bb_reduc_epilogue): New function. + (vect_slp_prune_covered_roots): Likewise. + (vect_slp_analyze_operations): Use them. + (vect_slp_check_for_constructors): Recognize associatable + chains for BB reduction vectorization. + (vectorize_slp_instance_root_stmt): Generate code for the + BB reduction epilogue. + 2021-06-17 Andrew MacLeod * gimple-range-gori.cc (gori_compute::has_edge_range_p): Check with diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index f84fbffe108..1c09ea68c98 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20210617 +20210618 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f102600bbc9..1927007b235 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,349 @@ +2021-06-17 Arnaud Charlet + + * sem_ch3.adb (Check_Ops_From_Incomplete_Type): Protect against + no Primitive_Operations. + +2021-06-17 Vadim Godunko + + * libgnat/a-strunb__shared.ads (Allocate): Additional parameter + to provide additional amount of space to be allocated. + * libgnat/a-strunb__shared.adb (Aligned_Max_Length): Limit + length to Natural'Last when requested length is larger than it. + (Allocate): Merge two slightly different implementations into + one. + +2021-06-17 Gary Dismukes + + * checks.adb (Discrete_Range_Cond): For an index subtype that + has a fixed lower bound, require that the range's lower bound + match that of the subtype. + (Selected_Range_Checks): Warn about the case where a static + lower bound does not equal an index subtype's fixed lower bound. + * einfo.ads (Is_Fixed_Lower_Bound_Array_Subtype, + Is_Fixed_Lower_Bound_Index_Subtype): Document new entity flag. + * exp_ch4.adb (Expand_N_Type_Conversion): If the operand is of + an unconstrained array subtype with fixed lower bound, then + Expand_Sliding_Conversion is applied to the operand. + * exp_ch6.adb (Expand_Simple_Function_Return): If the result + subtype is an unconstrained array subtype with fixed lower + bound, then Expand_Sliding_Conversion is applied to the return + object. + * exp_util.ads (Expand_Sliding_Conversion): New procedure for + applying a sliding subtype conversion to an array object of a + fixed-lower-bound subtype when needed. + * exp_util.adb: Add with_clause for Freeze. + (Expand_Sliding_Conversion): New procedure for applying a + sliding subtype conversion to an array object of a + fixed-lower-bound subtype when needed. It traverses the indexes + of the unconstrained array type/subtype to create a target + constrained subtype and rewrites the array object to be a + conversion to that subtype, when there's at least one index + whose lower bound does not statically match the fixed-lower + bound of the target subtype. + * gen_il-fields.ads (type Opt_Field_Enum): Add literals + Is_Fixed_Lower_Bound_Array_Subtype and + Is_Fixed_Lower_Bound_Index_Subtype for new flags on type + entities. + * gen_il-gen-gen_entities.adb: Add calls to + Create_Semantic_Field for the new fixed-lower-bound flags on + type entities. + * par-ch3.adb (P_Array_Type_Definition): Add handling for + parsing of fixed-lower-bound index ranges in unconstrained array + types. Report an error if such an index is encountered and GNAT + language extensions are not enabled. + (P_Index_Subtype_Def_With_Fixed_Lower_Bound): Support procedure + for parsing unconstrained index ranges. + (P_Index_Or_Discriminant_Constraint): Add handling for parsing + of index constraints that specify ranges with fixed lower + bounds. Report an error if such an index is encountered and GNAT + language extensions are not enabled. + * sem_ch3.adb (Analyze_Object_Declaration): If the object's + nominal subtype is an array subtype with fixed lower bound, then + Expand_Sliding_Conversion is applied to the object. + (Array_Type_Declaration): Mark the array type and the subtypes + of any indexes that specify a fixed lower bound as being + fixed-lower-bound subtypes, and set the High_bound of the range + of such an index to the upper bound of the named subtype. + (Constrain_Array): For an array subtype with one or more index + ranges specifying a fixed lower bound, set Is_Constrained to + False and set the array subtype's + Is_Fixed_Lower_Bound_Array_Subtype flag to True. + (Constrain_Index): Mark the subtypes of an index that specifies + a fixed lower bound as being a fixed-lower-bound index subtype, + and set the High_bound of the range of such an index to the + upper bound of the base type of the array type's corresponding + index. + * sem_res.adb (Resolve_Actuals): If a formal is of an + unconstrained array subtype with fixed lower bound, then + Expand_Sliding_Conversion is applied to the actual. + * sem_util.adb (Build_Actual_Subtype): If the actual subtype + corresponds to an unconstrained array subtype having any indexes + with fixed lower bounds, then set the lower bounds of any such + indexes of the actual subtype to the appropriate fixed lower + bound of the formal subtype (rather than taking it from the + formal itself). + * sprint.adb (Sprint_Node_Actual, case N_Range): If a range's + Etype has a fixed lower bound, then print "<>" rather than the + High_Bound of the range. + +2021-06-17 Bob Duff + + * sem_util.adb, sem_util.ads (Has_Access_Values): New formal + Include_Internal to indicate whether internal types should be + included. + * sem_warn.adb (Check_References): Change E_Out_Parameter to + Formal_Kind, to match the comment about Spec_Entity. Pass + Include_Internal => False to Has_Access_Values, so that we warn + on types with access values that happen to be in internal types, + such as Unbounded_String. + * sem_attr.adb (Attribute_Has_Access_Values): Pass + Include_Internal => True to Has_Access_Values, to preserve + existing behavior. + * libgnat/g-rewdat.adb (Do_Output): Change B from 'in out' to + 'in', to avoid warning enabled by the change to sem_warn.adb. + * libgnat/s-objrea.adb (Check_Read_Offset): Change S from 'in + out' to 'in', to avoid warning enabled by the change to + sem_warn.adb. + +2021-06-17 Steve Baird + + * exp_ch5.adb + (Expand_N_Case_Statement.Expand_General_Case_Statement): New + subprogram. + (Expand_N_Case_Statement): If extensions are allowed and the + case selector is not of a discrete type, then call + Expand_General_Case_Statement to generate expansion instead of + flagging the non-discrete selector as an error. + * sem_case.ads (Is_Case_Choice_Pattern): New Boolean-valued + function for testing whether a given expression occurs as part + of a case choice pattern. + * sem_case.adb (Composite_Case_Ops): New package providing + support routines for the new form of case statements. This + includes a nested package, Composite_Case_Ops.Value_Sets, which + encapsulates the "representative values" implementation of + composite value sets. + (Check_Choices.Check_Case_Pattern_Choices): New procedure for + semantic checking of non-discrete case choices. This includes + the checks pertaining to coverage and overlapping. + (Check_Choices.Check_Composite_Case_Selector): New procedure for + semantic checking of non-discrete case selectors. + (Check_Choices): If extensions are allowed then a non-discrete + selector type no longer implies that an error must have been + flagged earlier. Instead of simply returning, call + Check_Composite_Case_Selector and Check_Case_Pattern_Choices. + (Is_Case_Choice_Pattern): Body of new function declared in + sem_case.ads . + * sem_ch5.adb (Analyze_Case_Statement): If extensions are + allowed, then we can't use RM 5.4's "The selecting_expression is + expected to be of any discrete type" name resolution rule. + Handle the case where the type of the selecting expression is + not discrete, as well as the new ambiguous-name-resolution error + cases made possible by this change. + * sem_res.adb (Resolve_Entity_Name): It is ok to treat the name + of a type or subtype as an expression if it is part of a case + choice pattern, as in "(Field1 => Positive, Field2 => <>)". + * exp_aggr.adb (Expand_Record_Aggregate): Do not expand case + choice aggregates. + * gen_il-fields.ads: Define two new node attributes, + Binding_Chars and Multidefined_Bindings. + * gen_il-gen-gen_nodes.adb: The new Multidefined_Bindings + attribute is Boolean-valued and may be set on + N_Case_Statement_Alternative nodes. The new Binding_Chars + attribute is Name_Id-valued and may be set on + N_Component_Association nodes. + * par-ch4.adb (P_Record_Or_Array_Component_Association): When + parsing a component association, check for both new syntax forms + used to specify a bound value in a case-choice aggregate. In + the case of a box value, an identifier may occur within the box, + as in "Foo => " instead of "Foo => <>". In the more general + case, an expression (or a box) may be followed by "is + ", as in + "Foo => Bar is Abc" instead of just "Foo => Bar". + * sem_aggr.adb (Resolve_Record_Aggregate): Do not transform box + component values in a case-choice aggregate. + * sinfo.ads: Provide comments for the new attributes added in + gen_il-fields.ads. + * doc/gnat_rm/implementation_defined_pragmas.rst: Describe this + new feature in documentation for pragma Extensions_Allowed. + * gnat_rm.texi: Regenerate. + +2021-06-17 Arnaud Charlet + + * exp_ch4.adb (Expand_N_Expression_With_Actions.Process_Action): + Do not abandon processing on a nested N_Expression_With_Actions + or N_Loop_Statement, otherwise we may miss some transient + declarations. + +2021-06-17 Arnaud Charlet + + * exp_util.adb (Find_Hook_Context): Do not stop on an aggregate + node. + +2021-06-17 Piotr Trojanek + + * sem_util.adb (Is_Valid_Renaming): Check not only indexed + components, but slices too. + +2021-06-17 Piotr Trojanek + + * sem_ch3.adb (Analyze_Private_Extension_Declaration): Check + No_Wide_Characters restriction after rejecting illegal parent + types. + (Derived_Type_Declaration): Likewise. + (Find_Type_Of_Subtype_Indic): Remove check for + No_Wide_Characters restriction, which was done too early. + +2021-06-17 Piotr Trojanek + + * sem_util.adb (Is_Valid_Renaming): Body moved from its nested + routine. + +2021-06-17 Gary Dismukes + + * sem_ch12.adb (Instantiate_Type): If the actual type for an + incomplete formal type is also incomplete, but has a Full_View, + use the Full_View of the actual type rather than the incomplete + view. + +2021-06-17 Piotr Trojanek + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst + (-gnatw.I): Remove double period at the end of sentence. + * gnat_ugn.texi: Regenerate. + +2021-06-17 Piotr Trojanek + + * sem_util.adb (Denotes_Same_Object): Call Get_Index_Bounds with + the range of a slice object, not its type. + +2021-06-17 Piotr Trojanek + + * sem_warn.adb (Warn_On_Overlapping_Actuals): Fix style; + refactor repeated calls to Nkind; remove early RETURN. + +2021-06-17 Piotr Trojanek + + * sem_warn.adb (Warn_On_Overlapping_Actuals): Ignore formal of + generic types, but keep examining other parameters. + +2021-06-17 Piotr Trojanek + + * sem_warn.adb (Warn_On_Overlapping_Actuals): Remove dead code. + +2021-06-17 Piotr Trojanek + + * sem_warn.adb (Warn_On_Overlapping_Actuals): Remove repeated + code. + +2021-06-17 Piotr Trojanek + + * checks.adb (Overlap_Check): Replace Set_Casing with + Adjust_Name_Case and adapt surrounding code as needed. + +2021-06-17 Arnaud Charlet + + * libgnat/s-putaim.ads, libgnat/s-putaim.adb: Move... + * libgnarl/s-putaim.ads, libgnarl/s-putaim.adb: ... here. + +2021-06-17 Arnaud Charlet + + * uintp.ads, uintp.adb (UI_To_Unsigned_64): New. + +2021-06-17 Piotr Trojanek + + * sem_prag.adb (Get_Overflow_Mode): Reword error message. + * switch-c.adb (Get_Overflow_Mode): Likewise. + +2021-06-17 Richard Kenner + + * exp_util.adb (Expand_Static_Predicates_In_Choices): Handle + Others_Discrete_Choices in N_Others_Choice. + +2021-06-17 Arnaud Charlet + + * atree.adb: Remove redundant comment with spec. + * sem_warn.adb: Fix typo in comment. + +2021-06-17 Arnaud Charlet + + * atree.adb: Do not suppress checks. + +2021-06-17 Justin Squirek + + * exp_ch3.adb (Check_Missing_Others): Add comment. + (Build_Initialization_Call): Remove inaccurate accessibility + comment. + * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Remove + test for Ada2012. + (Analyze_Package_Instantiation): Remove speculative comment. + (Inline_Instance_Body): Add comments for loops. + (Build_Subprogram_Renaming): Remove comment about fix being + partial and "ugly." + (Instantiate_Subprogram_Body): Remove comment referencing DEC + related internal issue. + (Subtypes_Match): Add comment and simplify anonymous access + test. + (Is_Global): Add test for when E is an expanded name, and + calculate the scope accordingly. + * sem_ch6.adb (Analyze_Function_Return): Update comment + regarding accessibility, and add check for + Warn_On_Ada_2012_Compatibility. + (Mask_Type_Refs): Add comments. + (Analyze_Subprogram_Declaration): Remove mysterious suppression + of elaboration checks. + * sem_ch7.adb (Preserve_Full_Attributes): Preserve Is_Atomic + value. + * sem_ch8.adb (Most_Descendant_Use_Clause): Remove comment. + (Note_Redundant_Use): Fix calls to Find_First_Use to be + Find_Most_Prev. + (Get_Object_Name): Modify error message to be more descriptive. + (Known_But_Visible): Remove mysterious special case for + GNAT_Mode. + (Find_First_Use): Removed. + (Find_Most_Prev): Renamed from Find_First_Use. + * sem_prag.adb (Check_Static_Constraint): Add comments to + routine. + +2021-06-17 Bob Duff + + * treepr.adb (Print_Node): Display the Entity or Associated_Node + fields if appropriate. + * sinfo-utils.ads (F_Associated_Node, F_Entity): Remove. These + are no longer needed. + +2021-06-17 Piotr Trojanek + + * checks.adb (Apply_Parameter_Aliasing_Checks): Replace calls to + Is_Object_Reference with calls to Is_Name_Reference; remove + asymmetric condition that only detected an aggregate as the + first actual (aggregate objects were just a special case of an + object reference that was not a name). + +2021-06-17 Bob Duff + + * gen_il-gen.adb, gen_il-internals.ads: Generate field + enumeration literals with "F_" prefix. Update all generated + references accordingly. + * atree.adb, einfo-utils.adb, sem_ch3.adb, sem_ch5.adb, + sem_ch6.adb, sem_ch8.adb, sinfo-cn.adb, sinfo-utils.adb, + sinfo-utils.ads, treepr.adb: Add "F_" prefix to all uses of the + field enumeration literals. + +2021-06-17 Arnaud Charlet + + * libgnat/i-c.ads, libgnat/i-cexten.ads, + libgnat/i-cexten__128.ads: bool renamed C_bool. + +2021-06-17 Piotr Trojanek + + * sem_ch4.adb (Analyze_Allocator): Reject allocators in + restricted contexts. + +2021-06-17 Arnaud Charlet + + * gcc-interface/Make-lang.in: Use libgnat.so if libgnat.a cannot + be found. + 2021-06-16 Piotr Trojanek * sem_util.adb (Is_Volatile_Function): Follow the exact wording diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 8d14d38bf77..5142210197a 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,14 @@ +2021-06-17 Jason Merrill + + PR c++/101106 + * decl.c (duplicate_decls): Make 'deleted after first declaration' + pedwarn on by default. + +2021-06-17 Jason Merrill + + PR c++/101029 + * init.c (build_vec_init): Preserve the type of base. + 2021-06-16 Jason Merrill PR c++/101078 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c6e8817fedb..1c7b730fc30 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,35 @@ +2021-06-17 Jason Merrill + + PR c++/101106 + * g++.dg/cpp0x/deleted15.C: New test. + +2021-06-17 H.J. Lu + + PR target/100704 + * gcc.target/i386/pr100704-1.c: New test. + * gcc.target/i386/pr100704-2.c: Likewise. + * gcc.target/i386/pr100704-3.c: Likewise. + +2021-06-17 Uroš Bizjak + + PR target/97194 + * gcc.target/i386/sse4_1-vec-set-1.c: New test. + * gcc.target/i386/sse4_1-vec-set-2.c: ditto. + +2021-06-17 Aldy Hernandez + + * gcc.dg/pr100790.c: New test. + +2021-06-17 Marius Hillenbrand + + * gcc.target/s390/zvector/vec-doublee.c: New test. + * gcc.target/s390/zvector/vec-floate.c: New test. + +2021-06-17 Richard Biener + + PR tree-optimization/54400 + * gcc.dg/vect/bb-slp-pr54400.c: New testcase. + 2021-06-16 Jason Merrill PR c++/101078 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 975406a6ba5..98b85a09a3e 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,92 @@ +2021-06-17 Chung-Lin Tang + + * hashtab.h (htab_clear): New function with initialization code + factored out from... + (htab_create): ...here, adjust to use htab_clear function. + * libgomp.h (REFCOUNT_SPECIAL): New symbol to denote range of + special refcount values, add comments. + (REFCOUNT_INFINITY): Adjust definition to use REFCOUNT_SPECIAL. + (REFCOUNT_LINK): Likewise. + (REFCOUNT_STRUCTELEM): New special refcount range for structure + element siblings. + (REFCOUNT_STRUCTELEM_P): Macro for testing for structure element + sibling maps. + (REFCOUNT_STRUCTELEM_FLAG_FIRST): Flag to indicate first sibling. + (REFCOUNT_STRUCTELEM_FLAG_LAST): Flag to indicate last sibling. + (REFCOUNT_STRUCTELEM_FIRST_P): Macro to test _FIRST flag. + (REFCOUNT_STRUCTELEM_LAST_P): Macro to test _LAST flag. + (struct splay_tree_key_s): Add structelem_refcount and + structelem_refcount_ptr fields into a union with dynamic_refcount. + Add comments. + (gomp_map_vars): Delete declaration. + (gomp_map_vars_async): Likewise. + (gomp_unmap_vars): Likewise. + (gomp_unmap_vars_async): Likewise. + (goacc_map_vars): New declaration. + (goacc_unmap_vars): Likewise. + * oacc-mem.c (acc_map_data): Adjust to use goacc_map_vars. + (goacc_enter_datum): Likewise. + (goacc_enter_data_internal): Likewise. + * oacc-parallel.c (GOACC_parallel_keyed): Adjust to use goacc_map_vars + and goacc_unmap_vars. + (GOACC_data_start): Adjust to use goacc_map_vars. + (GOACC_data_end): Adjust to use goacc_unmap_vars. + * target.c (hash_entry_type): New typedef. + (htab_alloc): New function hook for hashtab.h. + (htab_free): Likewise. + (htab_hash): Likewise. + (htab_eq): Likewise. + (hashtab.h): Add file include. + (gomp_increment_refcount): New function. + (gomp_decrement_refcount): Likewise. + (gomp_map_vars_existing): Add refcount_set parameter, adjust to use + gomp_increment_refcount. + (gomp_map_fields_existing): Add refcount_set parameter, adjust calls + to gomp_map_vars_existing. + (gomp_map_vars_internal): Add refcount_set parameter, add local openmp_p + variable to guard OpenMP specific paths, adjust calls to + gomp_map_vars_existing, add structure element sibling splay_tree_key + sequence creation code, adjust Fortran map case to avoid increment + under OpenMP. + (gomp_map_vars): Adjust to static, add refcount_set parameter, manage + local refcount_set if caller passed in NULL, adjust call to + gomp_map_vars_internal. + (gomp_map_vars_async): Adjust and rename into... + (goacc_map_vars): ...this new function, adjust call to + gomp_map_vars_internal. + (gomp_remove_splay_tree_key): New function with code factored out from + gomp_remove_var_internal. + (gomp_remove_var_internal): Add code to handle removing multiple + splay_tree_key sequence for structure elements, adjust code to use + gomp_remove_splay_tree_key for splay-tree key removal. + (gomp_unmap_vars_internal): Add refcount_set parameter, adjust to use + gomp_decrement_refcount. + (gomp_unmap_vars): Adjust to static, add refcount_set parameter, manage + local refcount_set if caller passed in NULL, adjust call to + gomp_unmap_vars_internal. + (gomp_unmap_vars_async): Adjust and rename into... + (goacc_unmap_vars): ...this new function, adjust call to + gomp_unmap_vars_internal. + (GOMP_target): Manage refcount_set and adjust calls to gomp_map_vars and + gomp_unmap_vars. + (GOMP_target_ext): Likewise. + (gomp_target_data_fallback): Adjust call to gomp_map_vars. + (GOMP_target_data): Likewise. + (GOMP_target_data_ext): Likewise. + (GOMP_target_end_data): Adjust call to gomp_unmap_vars. + (gomp_exit_data): Add refcount_set parameter, adjust to use + gomp_decrement_refcount, adjust to queue splay-tree keys for removal + after main loop. + (GOMP_target_enter_exit_data): Manage refcount_set and adjust calls to + gomp_map_vars and gomp_exit_data. + (gomp_target_task_fn): Likewise. + * testsuite/libgomp.c-c++-common/refcount-1.c: New testcase. + * testsuite/libgomp.c-c++-common/struct-elem-1.c: New testcase. + * testsuite/libgomp.c-c++-common/struct-elem-2.c: New testcase. + * testsuite/libgomp.c-c++-common/struct-elem-3.c: New testcase. + * testsuite/libgomp.c-c++-common/struct-elem-4.c: New testcase. + * testsuite/libgomp.c-c++-common/struct-elem-5.c: New testcase. + 2021-06-15 Tobias Burnus PR fortran/92568 diff --git a/libitm/ChangeLog b/libitm/ChangeLog index 7b3dff0b718..cffd7e1afa9 100644 --- a/libitm/ChangeLog +++ b/libitm/ChangeLog @@ -1,3 +1,8 @@ +2021-06-17 Jonathan Wakely + + PR libstdc++/91488 + * testsuite/libitm.c++/libstdc++-pr91488.C: New test. + 2021-01-15 Jakub Jelinek PR target/70454 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index eaebcea0c15..0223a74f8b0 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,42 @@ +2021-06-17 Jonathan Wakely + + PR libstdc++/91488 + * include/bits/basic_string.h (__cpp_lib_constexpr_string): Only + define when is_constant_evaluated is available. + * include/bits/char_traits.h (__cpp_lib_constexpr_char_traits): + Likewise. + (__constant_string_p, __constant_array_p): Remove. + (char_traits): Use is_constant_evaluated directly. + * include/std/version (__cpp_lib_constexpr_char_traits) + (__cpp_lib_constexpr_string): Only define when + is_constant_evaluated is available. + +2021-06-17 Patrick Palka + + PR libstdc++/100940 + * include/std/ranges (__adaptor::_Partial): For the "simple" + forwarding partial specializations, also require that + the extra arguments are trivially copyable. + * testsuite/std/ranges/adaptors/100577.cc (test04): New test. + +2021-06-17 Patrick Palka + + PR libstdc++/100940 + * include/std/ranges (__adaptor::_RangeAdaptor): Document the + template form of _S_has_simple_extra_args. + (__adaptor::__adaptor_has_simple_extra_args): Add _Args template + parameter pack. Try to treat _S_has_simple_extra_args as a + variable template parameterized by _Args. + (__adaptor::_Partial): Pass _Arg/_Args to the constraint + __adaptor_has_simple_extra_args. + (views::_Take::_S_has_simple_extra_args): Templatize according + to the type of the extra argument. + (views::_Drop::_S_has_simple_extra_args): Likewise. + (views::_Split::_S_has_simple_extra_args): Define. + * testsuite/std/ranges/adaptors/100577.cc (test01, test02): + Adjust after changes to _S_has_simple_extra_args mechanism. + (test03): Define. + 2021-06-16 Jonathan Wakely * include/bits/iterator_concepts.h (__decay_copy): Name type.