From 43868df37b0e1fa19c32175b41dd7dc1e7c515fd Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Fri, 23 Oct 2020 00:16:30 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 122 +++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 318 ++++++++++++++++++++++++++++++++++++++++ gcc/analyzer/ChangeLog | 14 ++ gcc/cp/ChangeLog | 23 +++ gcc/fortran/ChangeLog | 8 + gcc/testsuite/ChangeLog | 81 ++++++++++ libstdc++-v3/ChangeLog | 51 +++++++ 8 files changed, 618 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e82530f66af..c00f7589c7e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,125 @@ +2020-10-22 Alan Modra + + * config/rs6000/rs6000.c (rs6000_emit_xxspltidp_v2df): Delete + debug printf. Remove trailing ".\n" from inform message. + Break long line. + +2020-10-22 Andrew MacLeod + + * gimple-range-gori.cc (is_gimple_logical_p): Use types_compatible_p + for logical compatibility. + (logical_stmt_cache::cacheable_p): Ditto. + +2020-10-22 Jan Hubicka + + * cgraph.c (cgraph_node::get_untransformed_body): Perform lazy + clone materialization. + * cgraph.h (cgraph_node::materialize_clone): Declare. + (symbol_table::materialize_all_clones): Remove. + * cgraphclones.c (cgraph_materialize_clone): Turn to ... + (cgraph_node::materialize_clone): .. this one; move here + dumping from symbol_table::materialize_all_clones. + (symbol_table::materialize_all_clones): Remove. + * cgraphunit.c (mark_functions_to_output): Clear stmt references. + (cgraph_node::expand): Initialize bitmaps early; + do not call execute_all_ipa_transforms if there are no transforms. + * ipa-inline-transform.c (save_inline_function_body): Fix formating. + (inline_transform): Materialize all clones before function is modified. + * ipa-param-manipulation.c (ipa_param_adjustments::modify_call): + Materialize clone if needed. + * ipa.c (class pass_materialize_all_clones): Remove. + (make_pass_materialize_all_clones): Remove. + * passes.c (execute_all_ipa_transforms): Materialize all clones. + * passes.def: Remove pass_materialize_all_clones. + * tree-pass.h (make_pass_materialize_all_clones): Remove. + * tree-ssa-structalias.c (ipa_pta_execute): Clear refs. + +2020-10-22 Will Schmidt + + * config/rs6000/altivec.h (vec_xl_zext, vec_xl_sext, vec_xst_trunc): + New defines. + * config/rs6000/rs6000-builtin.def (BU_P10V_OVERLOAD_X): New builtin + macro. + (BU_P10V_AV_X): New builtin macro. + (se_lxvrhbx, se_lxrbhx, se_lxvrwx, se_lxvrdx): Define internal names + for load and sign extend vector element. + (ze_lxvrbx, ze_lxvrhx, ze_lxvrwx, ze_lxvrdx): Define internal names + for load and zero extend vector element. + (tr_stxvrbx, tr_stxvrhx, tr_stxvrwx, tr_stxvrdx): Define internal names + for truncate and store vector element. + (se_lxvrx, ze_lxvrx, tr_stxvrx): Define internal names for overloaded + load/store rightmost element. + * config/rs6000/rs6000-call.c (altivec_builtin_types): Define the + internal monomorphs P10_BUILTIN_SE_LXVRBX, P10_BUILTIN_SE_LXVRHX, + P10_BUILTIN_SE_LXVRWX, P10_BUILTIN_SE_LXVRDX, + P10_BUILTIN_ZE_LXVRBX, P10_BUILTIN_ZE_LXVRHX, P10_BUILTIN_ZE_LXVRWX, + P10_BUILTIN_ZE_LXVRDX, + P10_BUILTIN_TR_STXVRBX, P10_BUILTIN_TR_STXVRHX, P10_BUILTIN_TR_STXVRWX, + P10_BUILTIN_TR_STXVRDX, + (altivec_expand_lxvr_builtin): New expansion for load element builtins. + (altivec_expand_stv_builtin): Update to for truncate and store builtins. + (altivec_expand_builtin): Add clases for load/store rightmost builtins. + (altivec_init_builtins): Add def_builtin entries for + __builtin_altivec_se_lxvrbx, __builtin_altivec_se_lxvrhx, + __builtin_altivec_se_lxvrwx, __builtin_altivec_se_lxvrdx, + __builtin_altivec_ze_lxvrbx, __builtin_altivec_ze_lxvrhx, + __builtin_altivec_ze_lxvrwx, __builtin_altivec_ze_lxvrdx, + __builtin_altivec_tr_stxvrbx, __builtin_altivec_tr_stxvrhx, + __builtin_altivec_tr_stxvrwx, __builtin_altivec_tr_stxvrdx, + __builtin_vec_se_lxvrx, __builtin_vec_ze_lxvrx, __builtin_vec_tr_stxvrx. + * config/rs6000/vsx.md (vsx_lxvrx, vsx_stxvrx, vsx_stxvrx): + New define_insn entries. + * doc/extend.texi: Add documentation for vsx_xl_sext, vsx_xl_zext, + and vec_xst_trunc. + +2020-10-22 Will Schmidt + + * config/rs6000/vsx.md (enum unspec): Add + UNSPEC_EXTENDDITI2 and UNSPEC_MTVSRD_DITI_W1 entries. + (mtvsrdd_diti_w1, extendditi2_vector): New define_insns. + (extendditi2): New define_expand. + +2020-10-22 Alexandre Oliva + + * config/i386/mingw-w64.h (TARGET_LIBC_HAS_FUNCTION): Enable + sincos optimization. + +2020-10-22 Alan Modra + + * config/rs6000/vsx.md (vec_cntmb_, vec_extract_), + (vec_expand_): Replace with . + +2020-10-22 Richard Biener + + * tree-vect-slp.c (vect_analyze_slp_instance): Refactor so + computing a vector type early is not needed, for store group + splitting compute a new vector type based on the desired + group size. + +2020-10-22 Richard Biener + + PR middle-end/97521 + * expr.c (expand_expr_real_1): Be more careful when + expanding a VECTOR_BOOLEAN_TYPE_P VECTOR_CSTs. + +2020-10-22 David Malcolm + + * ipa-modref-tree.c (selftest::test_insert_search_collapse): Fix + leak. + (selftest::test_merge): Fix leaks. + +2020-10-22 Andreas Krebbel + + PR target/97502 + * config/s390/vector.md ("vec_cmp") + ("vec_cmpu"): New expanders. + +2020-10-22 Andreas Krebbel + + PR rtl-optimization/97439 + * dfp.c (decimal_real_maxval): Set the sign flag in the + generated number. + 2020-10-22 Martin Liska PR c/94722 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index d3ccbf5b38e..b3873063e3e 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20201022 +20201023 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index dceca5b9b9a..a986499f0d2 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,321 @@ +2020-10-22 Eric Botcazou + + * Makefile.rtl (GNATRTL_128BIT_PAIRS): Add i-cexten.ads. + * debug.adb (d.H): Document new usage. + * doc/gnat_rm/representation_clauses_and_pragmas.rst (Size Clauses): + Document new limit on 64-bit platforms. + (Component_Size Clauses): Likewise. + (Pragma Pack for Arrays): Likewise. + (Pragma Pack for Records): Likewise. + (Record Representation Clauses): Likewise. + * gnat_rm.texi: Regenerate. + * gnat1drv.adb (Adjust_Global_Switches): Rewrite code enabling or + disabling the support for 128-bit integer types. + * switch-c.adb (Scan_Front_End_Switches): Do not deal with e128. + * usage.adb (Write_Switch_Char): Do not print -gnate128 switch. + * libgnat/i-cexten__128.ads: New file. + +2020-10-22 Javier Miranda + + * einfo.ads (Has_Limited_View): New synthesized attribute. + * einfo.adb (Has_Limited_View): New synthesized attribute. + (Set_Limited_View): Complete assertion. + * sem_ch10.ads (Is_Visible_Through_Renamings): Make this routine + public to invoke it from Find_Expanded_Name and avoid reporting + spurious errors on renamings of limited-with packages. + (Load_Needed_Body): Moved to have this spec alphabetically + ordered. + * sem_ch10.adb (Is_Visible_Through_Renamings): Moved to library + level. + (Is_Limited_Withed_Unit): New subprogram. + * sem_ch3.adb (Access_Type_Declaration): Adding protection to + avoid reading attribute Entity() when not available. + * sem_ch8.adb (Analyze_Package_Renaming): Report error on + renamed package not visible through context clauses. + (Find_Expanded_Name): Report error on renamed package not + visible through context clauses; handle special case where the + prefix is a renaming of a (now visible) shadow package. + +2020-10-22 Ghjuvan Lacambre + + * exp_prag.adb (Get_Launch_Kernel_Arg_Type): New function. + (Build_Shared_Memory_Declaration): Use + Get_Launch_Kernel_Arg_Type. + (Build_Stream_Declaration): Use Get_Launch_Kernel_Arg_Type. + * rtsfind.ads: Remove RO_IC_Unsigned_Long_Long. + +2020-10-22 Arnaud Charlet + + * libgnat/s-imenne.adb, libgnat/s-imgrea.adb: Add assertions. + +2020-10-22 Arnaud Charlet + + * libgnat/s-imgrea.adb (Set_Image_Real): Update annotations. + +2020-10-22 Steve Baird + + * aspects.ads: Introduce the subtype Nonoverridable_Aspect_Id, + whose Static_Predicate reflects the list of nonoverridable + aspects given in Ada RM 13.1.1(18.7). + * sem_util.ads, sem_util.adb: Add two new visible subprograms, + Check_Inherited_Nonoverridable_Aspects and Is_Confirming. The + former is used to check the consistency of inherited + nonoverridable aspects from multiple sources. The latter + indicates whether two aspect specifications for a nonoverridable + aspect are confirming. Because of compatibility concerns in + compiling QGen, Is_Confirming always returns True if + Relaxed_RM_Semantics (i.e., -gnatd.M) is specified. + * sem_ch3.adb (Derived_Type_Declaration): Call new + Check_Inherited_Nonoverridable_Aspects procedure if interface + list is non-empty. + * sem_ch9.adb (Check_Interfaces): Call new + Check_Inherited_Nonoverridable_Aspects procedure if interface + list is non-empty. + * sem_ch13.adb (Analyze_Aspect_Specifications): When an explicit + aspect specification overrides an inherited nonoverridable + aspect, check that the explicit specification is confirming. + +2020-10-22 Eric Botcazou + + * freeze.ads (Check_Compile_Time_Size): Adjust size limit. + +2020-10-22 Richard Kenner + + * sprint.adb (pg, po, ps): Use {Push,Pop}_Output. + * treepr.adb (pl, pn): Likewise. + +2020-10-22 Eric Botcazou + + * doc/gnat_rm/implementation_advice.rst: Minor fix. + * gnat_rm.texi: Regenerate. + +2020-10-22 Steve Baird + + * sem_util.adb (Is_Container_Aggregate): A new local predicates + which indicates whether a given expression is a container + aggregate. The implementation of this function is incomplete; in + the unusual case of a record aggregate (i.e., not a container + aggregate) of a type whose Aggregate aspect is specified, the + function will incorrectly return True. + (Immediate_Context_Implies_Is_Potentially_Unevaluated): Improve + handling of aggregate components. + (Is_Repeatedly_Evaluated): Test for container aggregate + components along with existing test for array aggregate + components. + +2020-10-22 Eric Botcazou + + * exp_fixd.adb (Fpt_Value): Fold if-then-else with identical arms. + +2020-10-22 Ed Schonberg + + * par-ch4.adb (P_Iterated_Component_Association): If the + construct includes an iterator filter it corresponds to an + Iterated_Element_Association, so build the proper node for it. + * exp_aggr.adb (Expand_Container_Aggregate, Aggregate_Size): If + the component is an Iterated_Element_Association, treat it as + having a non-static size. + +2020-10-22 Ghjuvan Lacambre + + * scng.adb (Scan): Check if any letter of the token is + uppercase. + +2020-10-22 Justin Squirek + + * sem_util.adb (Accessibility_Level_Helper): Conversions to + named access types get the level associated with the named + access type. + +2020-10-22 Eric Botcazou + + * einfo.ads (Has_Constrained_Partial_View): Add "base type" marker. + +2020-10-22 Gary Dismukes + + * einfo.adb (Has_Constrained_Partial_View): Apply Base_Type to Id. + * sem_res.adb (Resolve_Actuals.Check_Aliased_Parameter): Remove + "not Is_Generic_Type" test and call + Object_Type_Has_Constrained_Partial_View instead of + Has_Constrained_Partial_View. Improve related error message to + say "does not statically match" instead of just "does not + match". + +2020-10-22 Steve Baird + + * sem_util.ads, sem_util.adb: Declare and implement a new + predicate, Derivation_Too_Early_To_Inherit. This function + indicates whether a given derived type fails to inherit a given + streaming-related attribute from its parent type because the + declaration of the derived type precedes the corresponding + attribute_definition_clause of the parent. + * exp_tss.adb (Find_Inherited_TSS): Call + Derivation_Too_Early_To_Inherit instead of unconditionally + assuming that a parent type's streaming attribute is available + for inheritance by an immediate descendant type. + * sem_attr.adb (Stream_Attribute_Available): Call + Derivation_Too_Early_To_Inherit instead of unconditionally + assuming that a parent type's streaming attribute is available + for inheritance by an immediate descendant type. + * exp_attr.adb (Default_Streaming_Unavailable): A new predicate; + given a type, indicates whether predefined (as opposed to + user-defined) streaming operations for the type should be + implemented by raising Program_Error. + (Expand_N_Attribute_Reference): For each of the 4 + streaming-related attributes (i.e., Read, Write, Input, Output), + after determining that no user-defined implementation is + available (including a Stream_Convert pragma), call + Default_Streaming_Unavailable; if that call returns True, then + implement the streaming operation as "raise Program_Error;". + +2020-10-22 Eric Botcazou + + * checks.adb (Apply_Float_Conversion_Check): Saturate the bounds + of the check to those of the base type of the expression. + +2020-10-22 Justin Squirek + + * checks.adb (Apply_Accessibility_Check): Modify condition to + avoid flawed optimization and use Get_Accessibility over + Extra_Accessibility. + * exp_attr.adb: Remove inclusion of Exp_Ch2.adb. + * exp_ch2.adb, exp_ch2.ads (Param_Entity): Moved to sem_util. + * exp_ch3.ads (Init_Proc_Level_Formal): New function. + * exp_ch3.adb (Build_Init_Procedure): Add extra accessibility + formal for init procs when the associated type is a limited + record. + (Build_Initialization_Call): Add condition to handle propagation + of the new extra accessibility paramter actual needed for init + procs. + (Init_Proc_Level_Formal): Created to fetch a the extra + accessibility parameter associated with init procs if one + exists. + * exp_ch4.adb (Build_Attribute_Reference): Modify static check + to be dynamic. + * exp_ch6.adb (Add_Cond_Expression_Extra_Actual): Move logic + used to expand conditional expressions used as actuals for + anonymous access formals. + (Expand_Call_Helper): Remove extranious accessibility + calculation logic. + * exp_util.adb: Remove inclusion of Exp_Ch2.adb. + * par-ch3.adb (P_Array_Type_Definition): Properly set + Aliased_Present on access definitions + * sem_attr.adb (Resolve_Attribute): Replace instances for + Object_Access_Level with Static_Accessibility_Level. + * sem_ch13.adb (Storage_Pool): Replace instances for + Object_Access_Level with Static_Accessibility_Level. + * sem_ch6.adb (Check_Return_Construct_Accessibility): Replace + instances for Object_Access_Level with + Static_Accessibility_Level. + * sem_ch9.adb (Analyze_Requeue): Replace instances for + Object_Access_Level with Static_Accessibility_Level. + * sem_res.adb (Check_Aliased_Parameter, + Check_Allocator_Discrim_Accessibility, Valid_Conversion): + Replace instances for Object_Access_Level with + Static_Accessibility_Level. + * sem_util.adb, sem_util.ads (Accessibility_Level_Helper): + Created to centralize calculation of accessibility levels. + (Build_Component_Subtype): Replace instances for + Object_Access_Level with Static_Accessibility_Level. + (Defining_Entity): Add extra parameter to dictate whether an + error is raised or empty is return in the case of an irrelevant + N. + (Dynamic_Accessibility_Level): Rewritten to use + Accessibility_Level_Helper. + (Is_View_Conversion): Check membership against Etype to capture + nodes like explicit dereferences which have types but are not + expanded names or identifers. + (Object_Access_LeveL): Removed. + (Param_Entity): Moved from sem_util. + (Static_Accessibility_Level): Created as a replacement to + Object_Access_Level, it also uses Accessibility_Level_Helper for + its implementation. + * snames.ads-tmpl: Added new name for extra accessibility + parameter in init procs. + +2020-10-22 Piotr Trojanek + + * exp_prag.adb (Expand_Pragma_Contract_Cases, + Expand_Pragma_Loop_Variant): Reuse Append_New_To. + * sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): Fix typo. + (Analyze_Pre_Post_Condition): Refactor repeated calls to + Defining_Entity. + +2020-10-22 Eric Botcazou + + * doc/gnat_rm/implementation_defined_characteristics.rst: Minor + fixes. + * gnat_rm.texi: Regenerate. + +2020-10-22 Piotr Trojanek + + * sem_warn.adb (Check_Unused_Withs): Move local variables from + to a nested procedure; Lunit is passed as a parameter to + Check_System_Aux and its type is refined from Node_Id to + Entity_Id; Cnode is now a constant. + +2020-10-22 Patrick Bernardi + + * libgnat/s-rident.ads (Profile_Info): Use a common profile + definition for Jorvik and GNAT Extended Ravenscar, using the + GNAT Extended Ravenscar definition. + +2020-10-22 Eric Botcazou + + * Makefile.rtl (64-bit platforms): Add GNATRTL_128BIT_PAIRS to + the LIBGNAT_TARGET_PAIRS list and also GNATRTL_128BIT_OBJS to + the EXTRA_GNATRTL_NONTASKING_OBJS list. + +2020-10-22 Ghjuvan Lacambre + + * sem_prag.adb (Process_Convention, + Process_Import_Or_Interface): Fix error message. + +2020-10-22 Ghjuvan Lacambre + + * sem_ch13.adb (Make_Aitem_Pragma): Turn into function. This + removes a side-effect on the Aitem variable. + (Analyze_Aspect_Specifications): Handle Suppress and Unsuppress + aspects differently from the Linker_Section aspect. + (Ceck_Aspect_At_Freeze_Point): Don't expect Suppress/Unsuppress + to be delayed anymore. + +2020-10-22 Ed Schonberg + + * sem_aggr.adb: (Resolve_Container_Aggregate): For an indexed + container, verify that expressions and component associations + are not both present. + * exp_aggr.adb: Code reorganization, additional comments. + (Expand_Container_Aggregate): Use Aggregate_Size for Iterated_ + Component_Associations for indexed aggregates. If present, the + default value of the formal in the constructor function is used + when the size of the aggregate cannot be determined statically. + +2020-10-22 Eric Botcazou + + * sem_attr.adb (Eval_Attribute): Fix oversight for Bit_Position. + +2020-10-22 Ed Schonberg + + * sem_util.ads, sem_util.adb (Check_Ambiguous_Aggregate): When a + subprogram call is found to be ambiguous, check whether + ambiguity is caused by an aggregate actual. and indicate that + it should carry a type qualification. + * sem_ch4.adb (Traverse_Hoonyms, Try_Primitive_Operation): Call + it. + * sem_res.adb (Report_Ambiguous_Argument): Call it. + +2020-10-22 Piotr Trojanek + + * sem_warn.adb (Check_One_Unit): Avoid repeated calls by using a + local variable Lunit; remove local constant Eitem, which was + identical to Lunit. + +2020-10-22 Alexandre Oliva + + * Makefile.rtl (LIBGNAT_TARGET_PAIRS) : Select + nolibm and wraplf variants like other vxworks ports. + 2020-10-22 Martin Liska PR c/94722 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index b6855e8d755..a8e277c8b35 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,17 @@ +2020-10-22 David Malcolm + + PR analyzer/97514 + * engine.cc (exploded_graph::add_function_entry): Handle failure + to create an enode, rather than asserting. + +2020-10-22 David Malcolm + + PR analyzer/97489 + * engine.cc (exploded_graph::add_function_entry): Assert that we + have a function body. + (exploded_graph::on_escaped_function): Reject fndecls that don't + have a function body. + 2020-10-14 David Malcolm PR analyzer/93388 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index aa321fb8a89..5d9fbe125f8 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,26 @@ +2020-10-22 Patrick Palka + + PR c++/97328 + * constexpr.c (init_subob_ctx): Don't punt on RANGE_EXPR + indexes, instead build a sub-aggregate initialization context + with no subobject. + +2020-10-22 Patrick Palka + + PR c++/96575 + * constexpr.c (cxx_eval_constant_expression) + : Lower it to a CONSTRUCTOR. + (potential_constant_expression_1) : Remove + now-redundant handling of COMPOUND_EXPR with EMPTY_CLASS_EXPR + second operand. + : Return true instead of false. + +2020-10-22 Patrick Palka + + PR c++/97511 + * decl.c (duplicate_decls): Return NULL_TREE if + DECL_TEMPLATE_PARM_P differ. + 2020-10-20 Nathan Sidwell * name-lookup.c (push_local_extern_decl_alias): Reconstextualize diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 8b4e3296151..0dd7931076f 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,11 @@ +2020-10-22 Tobias Burnus + + * gfortran.h (enum gfc_omp_memorder): Add. + (gfc_omp_clauses): Use it. + * openmp.c (gfc_match_omp_flush): Match memorder clauses. + * trans-openmp.c (gfc_trans_omp_flush): Handle them. + (gfc_trans_omp_directive): Update call. + 2020-10-21 Tobias Burnus PR fortran/45516 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 888d99c043a..b9bb76183fb 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,84 @@ +2020-10-22 Alan Modra + + * gcc.target/powerpc/vec-splati-runnable.c: Don't abort on + undefined output. + +2020-10-22 David Edelsohn + + * gcc.target/powerpc/rlwimi-2.c: Adjust expected results for lp64. + * gcc.target/powerpc/vec-rlmi-rlnm.c: Remove target and LP64. + Adjust xxlor expected results. + +2020-10-22 Tobias Burnus + + * gfortran.dg/gomp/flush-1.f90: New test. + * gfortran.dg/gomp/flush-2.f90: New test. + +2020-10-22 Will Schmidt + + * gcc.target/powerpc/vsx-load-element-extend-char.c: New test. + * gcc.target/powerpc/vsx-load-element-extend-int.c: New test. + * gcc.target/powerpc/vsx-load-element-extend-longlong.c: New test. + * gcc.target/powerpc/vsx-load-element-extend-short.c: New test. + * gcc.target/powerpc/vsx-store-element-truncate-char.c: New test. + * gcc.target/powerpc/vsx-store-element-truncate-int.c: New test. + * gcc.target/powerpc/vsx-store-element-truncate-longlong.c: New test. + * gcc.target/powerpc/vsx-store-element-truncate-short.c: New test. + +2020-10-22 Eric Botcazou + + * ada/acats/run_all.sh: Define and substitute target_{max,min}_int. + * ada/acats/support/macro.dfs: Parameterize {MAX,MIN}_INT. + * gnat.dg/assert1.adb: Adjust conditionally to 128-bit integer types. + * gnat.dg/size_clause1.adb: Do not expect a warning for LP64 targets. + * gnat.dg/warn11.adb: Likewise. + * gnat.dg/specs/rep_clause5.ads (Array_2_Type): Add alignment clause. + +2020-10-22 Patrick Palka + + PR c++/97328 + * g++.dg/cpp2a/constexpr-init19.C: New test. + * g++.dg/cpp2a/constexpr-init20.C: New test. + +2020-10-22 Patrick Palka + + PR c++/96575 + * g++.dg/cpp1z/constexpr-96575.C: New test. + +2020-10-22 Patrick Palka + + PR c++/97511 + * g++.dg/template/shadow3.C: New test. + +2020-10-22 Richard Biener + + PR middle-end/97521 + * gcc.target/i386/pr97521.c: New testcase. + +2020-10-22 Andreas Krebbel + + * gcc.dg/pr97502.c: New test. + +2020-10-22 Andreas Krebbel + + * gcc.dg/dfp/pr97439.c: New test. + +2020-10-22 David Malcolm + + PR analyzer/97514 + * gcc.dg/analyzer/pr97514.c: New test. + +2020-10-22 David Malcolm + + * g++.dg/analyzer/ctor-dtor-1.C: New test. + * g++.dg/analyzer/dyncast-1.C: New test. + * g++.dg/analyzer/vfunc-1.C: New test. + +2020-10-22 David Malcolm + + PR analyzer/97489 + * g++.dg/analyzer/pr97489.C: New test. + 2020-10-22 Martin Liska PR c/94722 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 1dd1b69f476..2a4b21d2d37 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,54 @@ +2020-10-23 Jonathan Wakely + + * include/experimental/memory_resource: Include . + (polymorphic_allocator::construct): Qualify forward_as_tuple. + * include/std/memory_resource: Likewise. + +2020-10-22 Jonathan Wakely + + * testsuite/30_threads/condition_variable/members/68519.cc: + Define recent_epoch_float_clock::duration to meet the Cpp17Clock + requirements. + +2020-10-22 Jonathan Wakely + + * include/std/shared_mutex: Only include + when pthread_rwlock_t and POSIX timers are not available. + (__cpp_lib_shared_mutex, __cpp_lib_shared_timed_mutex): Change + value to be type 'long'. + * include/std/version (__cpp_lib_shared_mutex) + (__cpp_lib_shared_timed_mutex): Likewise. + +2020-10-22 Jonathan Wakely + + * include/Makefile.am: Add new header. + * include/Makefile.in: Regenerate. + * include/bits/shared_ptr.h: Include . + * include/bits/shared_ptr_base.h: Include required headers here + directly, instead of in . + * include/bits/uses_allocator_args.h: New file. Move utility + functions for uses-allocator construction from to here. + Only define the utility functions when concepts are available. + (__cpp_lib_make_obj_using_allocator): Define non-standard + feature test macro. + * include/std/condition_variable: Remove unused headers. + * include/std/future: Likewise. + * include/std/memory: Remove headers that are not needed + directly, and are now inclkuded where they're needed. Include + new header. + * include/std/memory_resource: Include only the necessary + headers. Use new feature test macro to detect support for the + utility functions. + * include/std/scoped_allocator: Likewise. + * include/std/version (__cpp_lib_make_obj_using_allocator): + Define. + +2020-10-22 Olivier Hainque + + * crossconfig.m4: Turn vxworks matcher into vxworks*. + * configure.host: Likewise. + * configure: Regenerate. + 2020-10-21 Jonathan Wakely * include/bits/shared_ptr.h (shared_ptr(const weak_ptr&, nothrow_t)): -- 2.30.2