public inbox for libstdc++-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r12-1657] Daily bump.
@ 2021-06-19 0:17 GCC Administrator
0 siblings, 0 replies; only message in thread
From: GCC Administrator @ 2021-06-19 0:17 UTC (permalink / raw)
To: gcc-cvs, libstdc++-cvs
https://gcc.gnu.org/g:c5581d4842efff98060c6caf270c6f6c55e9888a
commit r12-1657-gc5581d4842efff98060c6caf270c6f6c55e9888a
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Sat Jun 19 00:16:33 2021 +0000
Daily bump.
Diff:
---
ChangeLog | 4 +
gcc/ChangeLog | 92 ++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 286 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/analyzer/ChangeLog | 35 ++++++
gcc/fortran/ChangeLog | 7 ++
gcc/testsuite/ChangeLog | 32 ++++++
libstdc++-v3/ChangeLog | 116 ++++++++++++++++++++
8 files changed, 573 insertions(+), 1 deletion(-)
diff --git a/ChangeLog b/ChangeLog
index fba4c8400f8..5a88b740ade 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2021-06-18 Antoni Boucher <bouanto@zoho.com>
+
+ * MAINTAINERS (Write After Approval): Add myself.
+
2021-06-17 Aldy Hernandez <aldyh@redhat.com>
* MAINTAINERS (Various Maintainers): Add Andrew and myself
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6cd9445ec04..4597e5992ce 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,95 @@
+2021-06-18 Jeff Law <jeffreyalaw@gmail.com>
+
+ * config/h8300/h8300.c (h8300_select_cc_mode): Handle SYMBOL_REF.
+ * config/h8300/logical.md (<code><mode>3 logcial expander): Generate
+ more efficient code when the source can be trivially simplified.
+
+2021-06-18 Andrew MacLeod <amacleod@redhat.com>
+
+ * gimple-range-cache.cc (ranger_cache::range_of_def): Calculate
+ a range if global is not available.
+ (ranger_cache::entry_range): Fallback to range_of_def.
+ * gimple-range-cache.h (range_of_def): Adjust prototype.
+
+2021-06-18 Andrew MacLeod <amacleod@redhat.com>
+
+ PR tree-optimization/101014
+ * gimple-range-cache.cc (ranger_cache::ranger_cache): Remove poor
+ value list.
+ (ranger_cache::~ranger_cache): Ditto.
+ (ranger_cache::enable_new_values): Delete.
+ (ranger_cache::push_poor_value): Delete.
+ (ranger_cache::range_of_def): Remove poor value processing.
+ (ranger_cache::entry_range): Ditto.
+ (ranger_cache::fill_block_cache): Ditto.
+ * gimple-range-cache.h (class ranger_cache): Remove poor value members.
+ * gimple-range.cc (gimple_ranger::range_of_expr): Remove call.
+ * gimple-range.h (class gimple_ranger): Adjust.
+
+2021-06-18 Srinath Parvathaneni <srinath.parvathaneni@arm.com>
+
+ PR target/100856
+ * common/config/arm/arm-common.c (arm_canon_arch_option_1): New function
+ derived from arm_canon_arch.
+ (arm_canon_arch_option): Call it.
+ (arm_canon_arch_multilib_option): New function.
+ * config/arm/arm-cpus.in (IGNORE_FOR_MULTILIB): New fgroup.
+ * config/arm/arm.h (arm_canon_arch_multilib_option): New prototype.
+ (CANON_ARCH_MULTILIB_SPEC_FUNCTION): New macro.
+ (MULTILIB_ARCH_CANONICAL_SPECS): New macro.
+ (DRIVER_SELF_SPECS): Add MULTILIB_ARCH_CANONICAL_SPECS.
+ * config/arm/arm.opt (mlibarch): New option.
+ * config/arm/t-rmprofile (MULTILIB_MATCHES): For armv8*-m, replace use
+ of march on RHS with mlibarch.
+
+2021-06-18 Marcel Vollweiler <marcel@codesourcery.com>
+
+ * config.in: Regenerate.
+ * config/gcn/gcn.c (print_operand_address): Fix for global_load assembler
+ functions.
+ * configure: Regenerate.
+ * configure.ac: Fix for global_load assembler functions.
+
+2021-06-18 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/101112
+ * tree-vect-slp.c (vect_slp_linearize_chain): Fix condition
+ to lookup a pattern stmt def.
+
+2021-06-18 Jakub Jelinek <jakub@redhat.com>
+
+ PR middle-end/101062
+ * stor-layout.c (finish_bitfield_layout): Don't add bitfield
+ representatives in QUAL_UNION_TYPE.
+
+2021-06-18 Andrew Pinski <apinski@marvell.com>
+
+ * tree-ssa-phiopt.c (replace_phi_edge_with_variable):
+ Add counting of how many times it is done.
+ (factor_out_conditional_conversion): Likewise.
+ (match_simplify_replacement): Likewise.
+ (value_replacement): Likewise.
+ (spaceship_replacement): Likewise.
+ (cond_store_replacement): Likewise.
+ (cond_if_else_store_replacement_1): Likewise.
+ (hoist_adjacent_loads): Likewise.
+
+2021-06-18 Andrew Pinski <apinski@marvell.com>
+
+ * tree-cfg.c (verify_gimple_assign_unary): Reject point and offset
+ types on NEGATE_EXPR, ABS_EXPR, BIT_NOT_EXPR, PAREN_EXPR and CNONJ_EXPR.
+ (verify_gimple_assign_binary): Reject point and offset types on
+ MULT_EXPR, MULT_HIGHPART_EXPR, TRUNC_DIV_EXPR, CEIL_DIV_EXPR,
+ FLOOR_DIV_EXPR, ROUND_DIV_EXPR, TRUNC_MOD_EXPR, CEIL_MOD_EXPR,
+ FLOOR_MOD_EXPR, ROUND_MOD_EXPR, RDIV_EXPR, and EXACT_DIV_EXPR.
+
+2021-06-18 Michael Meissner <meissner@linux.ibm.com>
+
+ * config/rs6000/rs6000.c (rs6000_emit_minmax): Add support for ISA
+ 3.1 IEEE 128-bit floating point xsmaxcqp/xsmincqp instructions.
+ * config/rs6000/rs6000.md (s<minmax><mode>3, IEEE128 iterator):
+ New insns.
+
2021-06-17 Aaron Sawdey <acsawdey@linux.ibm.com>
* config/rs6000/genfusion.pl (gen_logical_addsubf): Add
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 1c09ea68c98..a522144b0f9 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20210618
+20210619
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 1927007b235..baf0dbd0c8b 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,289 @@
+2021-06-18 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch3.adb (Constrain_Array): Add error checking for
+ fixed-lower-bound and constrained index ranges applied
+ inappropriately on subtypes of unconstrained and
+ fixed-lower-bound array types.
+ (Constrain_Index): Correct and refine comment related to
+ fixed-lower-bound index ranges.
+
+2021-06-18 Bob Duff <duff@adacore.com>
+
+ * gen_il-gen.adb: Improve comments.
+ * snames.ads-tmpl (Convention_Id): Remove "-- Plenty of space
+ for expansion", because that's irrelevant now that we are no
+ longer laying out node fields by hand.
+
+2021-06-18 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_util.adb (Denotes_Same_Object): Handle character literals
+ just like integer literals.
+
+2021-06-18 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_util.adb (Denotes_Same_Object): Explicitly test for node
+ kinds being the same; deal with renamings one-by-one; adjust
+ numbers in references to the Ada RM.
+
+2021-06-18 Bob Duff <duff@adacore.com>
+
+ * sprint.adb (Write_Source_Line): Check for EOF in
+ Line_Terminator loop. Note that when a source file is read in,
+ an EOF character is added to the end.
+
+2021-06-18 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_aux.adb (Package_Specification): Add assertions to confirm
+ the kind of the of parameter and returned node.
+ * sem_ch12.adb (Remove_Parent): Reorder conditions; this change
+ appears to be semantically neutral, but is enough to avoid the
+ problematic call to Package_Specification.
+ * sem_util.adb (Is_Incomplete_Or_Private_Type): Replace loop
+ with a call to Package_Specification.
+
+2021-06-18 Bob Duff <duff@adacore.com>
+
+ * sem_attr.adb (Eval_Attribute): For Enum_Lit'Size, use
+ Enum_Type'Object_Size.
+
+2021-06-18 Olivier Hainque <hainque@adacore.com>
+
+ * sigtramp-vxworks-target.inc (__aarch64__): Sync
+ REGNO_PC_OFFSET with the back-end DWARF_ALT_FRAME_RETURN_COLUMN.
+ In CFI_COMMON_REGS, leave r18 alone, VxWorks private.
+
+2021-06-18 Javier Miranda <miranda@adacore.com>
+
+ * contracts.adb (Process_Spec_Postconditions): Add missing
+ support for aliased subprograms and handle wrappers of
+ class-wide pre/post conditions.
+ (Process_Inherited_Preconditions): Add missing support for
+ aliased subprograms and handle wrappers of class-wide pre/post
+ conditions.
+ * einfo.ads (Class_Wide_Clone): Fix typo.
+ (Is_Class_Wide_Clone): Removed since it is not referenced.
+ (Is_Wrapper): Documenting new flag.
+ (LSP_Subprogram): Documenting new attribute.
+ * exp_ch3.adb (Make_Controlling_Function_Wrappers): Decorate
+ wrapper as Is_Wrapper and adjust call to
+ Override_Dispatching_Operation.
+ * freeze.adb (Build_Inherited_Condition_Pragmas): Fix typo in
+ documentation.
+ (Check_Inherited_Conditions): Handle LSP wrappers; ensure
+ correct decoration of LSP wrappers.
+ * gen_il-fields.ads (Is_Class_Wide_Clone): Removed.
+ (Is_Wrapper): Added.
+ (LSP_Subprogram): Added.
+ * gen_il-gen-gen_entities.adb (Is_Class_Wide_Clone): Removed.
+ (Is_Wrapper): Added.
+ (LSP_Subprogram): Added.
+ * gen_il-internals.adb (Image): Adding uppercase image of
+ LSP_Subprogram.
+ * sem_ch6.adb (New_Overloaded_Entity): Fix decoration of LSP
+ wrappers.
+ * sem_disp.ads (Override_Dispatching_Operation): Remove
+ parameter Is_Wrapper; no longer needed.
+ * sem_disp.adb (Check_Dispatching_Operation): Adjust assertion.
+ (Override_Dispatching_Operation): Remove parameter Is_Wrapper;
+ no longer needed.
+ * treepr.adb (Image): Adding uppercase image of LSP_Subprogram.
+
+2021-06-18 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Quantified_Expression): Ensure the type
+ of the name of a "for of" loop is frozen.
+ * exp_disp.adb (Check_Premature_Freezing): Complete condition to
+ take into account a private type completed by another private
+ type now that the freezing rule are better implemented.
+ * freeze.adb (Freeze_Entity.Freeze_Profile): Do not perform an
+ early freeze on types if not in the proper scope. Special case
+ expression functions that requires access to the dispatch table.
+ (Should_Freeze_Type): New.
+ * sem_ch13.adb (Resolve_Aspect_Expressions): Prevent assert
+ failure in case of an invalid tree (previous errors detected).
+ * sem_res.adb (Resolve): Remove kludge related to entities
+ causing incorrect premature freezing.
+ * sem_util.adb (Ensure_Minimum_Decoration): Add protection
+ against non base types.
+
+2021-06-18 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch3.adb (Constrain_Index): Set the High_Bound of a
+ fixed-lower-bound subtype's range to T (the subtype of the FLB
+ index being constrained) rather than Base_Type (T).
+
+2021-06-18 Bob Duff <duff@adacore.com>
+
+ * ada_get_targ.adb, aspects.ads, checks.adb, cstand.adb,
+ einfo.ads, exp_attr.adb, freeze.adb, get_targ.adb,
+ libgnat/a-textio.ads, libgnat/g-memdum.ads,
+ libgnat/s-scaval__128.adb, libgnat/s-scaval.adb, make.adb,
+ osint.ads, par-prag.adb, sem_ch13.adb, sem_prag.adb,
+ sem_prag.ads, set_targ.adb, set_targ.ads, snames.ads-tmpl,
+ targparm.ads, types.ads: Remove AAMP-specific code.
+ * switch.ads: Minor reformatting.
+ * gen_il-fields.ads, gen_il-gen.adb,
+ gen_il-gen-gen_entities.adb, gen_il-types.ads, einfo-utils.adb,
+ einfo-utils.ads: Package Types now contains "type Float_Rep_Kind
+ is (IEEE_Binary);", which used to also have an enumeral AAMP.
+ Gen_IL can't handle fields of this type, which would be zero
+ sized. Therefore, we move the Float_Rep field into Einfo.Utils
+ as a synthesized attribute. (We do not delete the field
+ altogether, in case we want new floating-point representations
+ in the future.)
+ * doc/gnat_rm/implementation_defined_pragmas.rst,
+ doc/gnat_rm/implementation_defined_aspects.rst,
+ doc/gnat_ugn/building_executable_programs_with_gnat.rst,
+ doc/gnat_ugn/the_gnat_compilation_model.rst: Remove
+ AAMP-specific documentation.
+ * gnat_rm.texi, gnat_ugn.texi: Regenerate.
+
+2021-06-18 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_util.adb (Expand_Sliding_Conversion): Move test of
+ Is_Fixed_Lower_Bound_Subtype to an assertion. Exclude string
+ literals from sliding expansion.
+
+2021-06-18 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_warn.adb (Warn_On_Overlapping_Actuals): Cleanup conditions
+ related to Ada_Version.
+
+2021-06-18 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_util.adb (Address_Value): Simplify.
+
+2021-06-18 Bob Duff <duff@adacore.com>
+
+ * sem_attr.adb (Check_Array_Or_Scalar_Type): Use Expr_Value
+ instead of Intval, because the latter only exists in literals.
+ Remove Set_Etype on E1; setting the type is done elsewhere.
+
+2021-06-18 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_warn.adb (Warn_On_Overlapping_Actuals): Examine types of
+ both formal parameters; refactor a complex detection of
+ by-reference types.
+
+2021-06-18 Arnaud Charlet <charlet@adacore.com>
+
+ * gnatcmd.adb: Fix handling of check and test commands.
+
+2021-06-18 Gary Dismukes <dismukes@adacore.com>
+
+ * doc/gnat_rm/implementation_defined_pragmas.rst: Add
+ documentation for the array fixed-lower-bound feature.
+ * gnat_rm.texi: Regenerate.
+
+2021-06-18 Bob Duff <duff@adacore.com>
+
+ * debug.adb: Document switch.
+ * exp_aggr.adb: If -gnatd_g was given, then do not bump the
+ limit to 500_000.
+
+2021-06-18 Bob Duff <duff@adacore.com>
+
+ * sem_util.ads, sem_util.adb (Has_Access_Values): Remove
+ Include_Internal parameter that was added in previous change.
+ * sem_warn.adb (Warnings_Off_E1): Back out E_Out_Parameter ==>
+ Formal_Kind change made previously. Check Is_Private_Type to
+ avoid warnings on private types. Misc cleanup.
+ * sem_attr.adb (Attribute_Has_Access_Values): Remove
+ Include_Internal parameter.
+
+2021-06-18 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_warn.adb (Warn_On_Overlapping_Actuals): Remove dead branch
+ for overlapping actuals in prefix notation.
+
+2021-06-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_prag.adb (Process_Import_Or_Interface): Do not
+ artificially record a possible modification for a constant.
+
+2021-06-18 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch6.adb (Expand_Call_Helper): Code cleanups.
+
+2021-06-18 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_aggr.adb, exp_dist.adb, exp_unst.adb, sa_messages.ads,
+ sem_ch13.adb, sem_ch3.adb, sem_ch5.adb, sem_eval.adb,
+ sem_util.adb, sem_util.ads, sinfo.ads: Update comments.
+
+2021-06-18 Ghjuvan Lacambre <lacambre@adacore.com>
+
+ * back_end.adb (Scan_Back_End_Switches): Set Opt.JSON_Output to
+ True if -fdiagnostics-format=json option is found.
+ * back_end.ads (Scan_Compiler_Arguments): Mention
+ Opt.JSON_Output.
+ * errout.adb (Output_JSON_Message): New procedure.
+ (Output_Messages): If Opt.JSON_Output is True, print messages
+ with new Output_JSON_Message procedure.
+ * opt.ads: Declare JSON_Output variable.
+ * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
+ Mention new -fdiagnostics-format option.
+ * gnat_ugn.texi: Regenerate.
+
+2021-06-18 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_ch6.adb (Null_Exclusions_Match): Relax null exclusion
+ mismatch check when Relaxed_RM_Semantics is set.
+
+2021-06-18 Arnaud Charlet <charlet@adacore.com>
+
+ * fe.h, opt.adb, opt.ads, par-prag.adb, sem_prag.adb,
+ switch-c.adb (Extensions_Allowed): Replace by a function.
+ (Ada_Version_Type): Add new value Ada_With_Extensions, to
+ replace setting of Extensions_Allowed. Update setting of
+ Extensions_Allowed.
+
+2021-06-18 Arnaud Charlet <charlet@adacore.com>
+
+ * bindgen.adb (Gen_Output_File_Ada): Generate a new constant
+ GNAT_Version_Address.
+ * libgnat/g-comver.adb (GNAT_Version_Address): New;
+ (GNAT_Version): Use GNAT_Version_Address to disable LTO warning.
+
+2021-06-18 Javier Miranda <miranda@adacore.com>
+
+ * einfo.ads (Is_Ada_2022_Only): Adding documentation.
+ * gen_il-fields.ads (Is_Ada_2022_Only): New flag.
+ * gen_il-gen-gen_entities.adb (Is_Ada_2022_Only): New flag.
+ * itypes.adb (Create_Null_Excluding_Itype): Inherit
+ Is_Ada_2022_Only.
+ * sem_ch3.adb (Check_Abstract_Overriding): Skip reporting error
+ on Ada 2022 only subprograms that require overriding if we are
+ not in Ada 2022 mode.
+ (Derive_Subprogram): Inherit Is_Ada_2022_Only.
+ * sem_ch6.adb (Check_Overriding_Indicator): Inherit
+ Is_Ada_2022_Only.
+ (New_Overloaded_Entity): Inherit Is_Ada_2022_Only.
+ * sem_ch7.adb (Declare_Inherited_Private_Subprograms): Inherit
+ Is_Ada_2022_Only.
+ (Preserve_Full_Attributes): Inherit Is_Ada_2022_Only.
+ * sem_disp.adb (Find_Hidden_Overridden_Primitive): Inherit
+ Is_Ada_2022_Only.
+ (Override_Dispatching_Operation): Inherit Is_Ada_2022_Only.
+ * sem_prag.adb (Analyze_Pragma): Allow form with argument for
+ Ada 2022.
+ * sem_type.adb: (Disambiguate): Deal with Is_Ada_2022_Only
+ * lib-xref.adb (Generate_Reference): Error on static and
+ dispatching calls to Ada 2022 subprograms that require
+ overriding if we are not in Ada 2022 mode; warn on other
+ references to Ada 2022 entities when not in Ada 2022 mode.
+ * sem_ch13.adb (Inherit_Aspects_At_Freeze_Point): Inherit
+ Ada_2020_Only.
+ * libgnat/a-cdlili.ads (Empty): Adding pragma Ada_2022.
+ * libgnat/a-cidlli.ads (Empty): Adding pragma Ada_2022.
+ * libgnat/a-ciorma.ads (Empty): Adding pragma Ada_2022.
+ * libgnat/a-cobove.ads (Empty): Adding pragma Ada_2022.
+ * libgnat/a-coorma.ads (Empty): Adding pragma Ada_2022.
+ (New_Vector): Adding pragma Ada_2022.
+ (Insert_Vector): Adding pragma Ada_2022.
+ (Prepend_Vector): Adding pragma Ada_2022.
+ (Append_Vector): Adding pragma Ada_2022.
+
2021-06-17 Arnaud Charlet <charlet@adacore.com>
* sem_ch3.adb (Check_Ops_From_Incomplete_Type): Protect against
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index b8f7a2bb314..84fa208f80a 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,38 @@
+2021-06-18 David Malcolm <dmalcolm@redhat.com>
+
+ * store.cc (binding_cluster::get_any_binding): Make symbolic reads
+ from a cluster with concrete bindings return unknown.
+
+2021-06-18 David Malcolm <dmalcolm@redhat.com>
+
+ * region-model-manager.cc
+ (region_model_manager::get_or_create_int_cst): New.
+ (region_model_manager::maybe_undo_optimize_bit_field_compare): Use
+ it to simplify away a local tree.
+ * region-model.cc (region_model::on_setjmp): Likewise.
+ (region_model::on_longjmp): Likewise.
+ * region-model.h (region_model_manager::get_or_create_int_cst):
+ New decl.
+ * store.cc (binding_cluster::zero_fill_region): Use it to simplify
+ away a local tree.
+
+2021-06-18 David Malcolm <dmalcolm@redhat.com>
+
+ * checker-path.cc (class custom_event): Make abstract to allow for
+ custom vfuncs, splitting existing implementation into...
+ (class precanned_custom_event): New subclass.
+ (custom_event::get_desc): Move to...
+ (precanned_custom_event::get_desc): ...subclass.
+ * checker-path.h (class custom_event): Make abstract to allow for
+ custom vfuncs, splitting existing implementation into...
+ (class precanned_custom_event): New subclass.
+ * diagnostic-manager.cc (diagnostic_manager::add_events_for_eedge):
+ Use precanned_custom_event.
+ * engine.cc
+ (stale_jmp_buf::maybe_add_custom_events_for_superedge): Likewise.
+ * sm-signal.cc (signal_delivery_edge_info_t::add_events_to_path):
+ Likewise.
+
2021-06-15 David Malcolm <dmalcolm@redhat.com>
PR analyzer/99212
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index f073f34a6f3..e57f613a79f 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,10 @@
+2021-06-18 Harald Anlauf <anlauf@gmx.de>
+
+ PR fortran/100283
+ PR fortran/101123
+ * trans-intrinsic.c (gfc_conv_intrinsic_minmax): Unconditionally
+ convert result of min/max to result type.
+
2021-06-16 Harald Anlauf <anlauf@gmx.de>
PR fortran/95501
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1c7b730fc30..c1a715f491a 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,35 @@
+2021-06-18 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
+
+ * gcc.target/powerpc/fusion-p10-2logical.c: Update pattern
+ match counts.
+ * gcc.target/powerpc/fusion-p10-addadd.c: Update pattern match
+ counts.
+ * gcc.target/powerpc/fusion-p10-ldcmpi.c: Update pattern match
+ counts.
+ * gcc.target/powerpc/fusion-p10-logadd.c: Update pattern match
+ counts.
+
+2021-06-18 Harald Anlauf <anlauf@gmx.de>
+
+ PR fortran/100283
+ PR fortran/101123
+ * gfortran.dg/min0_max0_1.f90: New test.
+ * gfortran.dg/min0_max0_2.f90: New test.
+
+2021-06-18 David Malcolm <dmalcolm@redhat.com>
+
+ * gcc.dg/analyzer/symbolic-7.c: New test.
+
+2021-06-18 Srinath Parvathaneni <srinath.parvathaneni@arm.com>
+
+ PR target/100856
+ * gcc.target/arm/acle/pr100856.c: New test.
+ * gcc.target/arm/multilib.exp: Add tests for cde options.
+
+2021-06-18 Michael Meissner <meissner@linux.ibm.com>
+
+ * gcc.target/powerpc/float128-minmax-2.c: New test.
+
2021-06-17 Jason Merrill <jason@redhat.com>
PR c++/101106
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 0223a74f8b0..f8d6fa74a3b 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,119 @@
+2021-06-18 Patrick Palka <ppalka@redhat.com>
+
+ PR libstdc++/100387
+ * include/bits/ranges_algo.h (__minmax_fn::operator()): Rewrite
+ to limit comparison complexity to 3*N/2.
+ (__minmax_element_fn::operator()): Likewise.
+ (shift_right): Avoid premature std::move of __result.
+ * testsuite/25_algorithms/minmax/constrained.cc (test04, test05):
+ New tests.
+ * testsuite/25_algorithms/minmax_element/constrained.cc (test02):
+ Likewise.
+
+2021-06-18 Patrick Palka <ppalka@redhat.com>
+
+ * include/std/concepts (convertible_to): Just use declval as per
+ LWG 3557.
+
+2021-06-18 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/95833
+ * include/std/numeric (reduce(Iter, Iter, T, BinaryOp)): Replace
+ incorrect static_assert with ones matching the 'Mandates'
+ conditions in the standard.
+ * testsuite/26_numerics/reduce/95833.cc: New test.
+
+2021-06-18 Jonathan Wakely <jwakely@redhat.com>
+
+ * testsuite/21_strings/basic_string/cons/char/1.cc: Use
+ diagnostic pragma to suppress -Wstringop-overread error.
+
+2021-06-18 Patrick Palka <ppalka@redhat.com>
+
+ * include/bits/ranges_algo.h (__find_fn, find, __find_if_fn)
+ (find_if, __find_if_not_fn, find_if_not, _in_in_result)
+ (__mismatch_fn, mismatch, __search_fn, search): Move to ...
+ * include/bits/ranges_util.h: ... here.
+ * include/std/ranges (__detail::find, __detail::find_if)
+ (__detail::find_if_not, __detail::mismatch): Remove.
+ (filter_view): Use ranges::find_if instead.
+ (drop_while_view): Use ranges::find_if_not instead.
+ (split_view): Use ranges::find and ranges::mismatch instead.
+
+2021-06-18 Patrick Palka <ppalka@redhat.com>
+
+ * include/bits/iterator_concepts.h (weakly_incrementable): Remove
+ default_initializable requirement.
+ * include/bits/ranges_base.h (ranges::view): Likewise.
+ * include/bits/ranges_util.h (subrange): Constrain the default
+ ctor.
+ * include/bits/stl_iterator.h (back_insert_iterator): Remove the
+ default ctor.
+ (front_insert_iterator): Likewise.
+ (insert_iterator): Likewise. Remove NSDMIs.
+ (common_iterator): Constrain the default ctor.
+ (counted_iterator): Likewise.
+ * include/bits/stream_iterator.h (ostream_iterator): Remove the
+ default ctor.
+ * include/std/ranges (__detail::__box::operator=): Handle
+ self-assignment in the primary template.
+ (__detail::__box): In the partial specialization: adjust
+ constraints as per P2325. Add specialized operator= for the
+ case when the wrapped type is not copyable. Constrain the
+ default ctor. Avoid list-initialization.
+ (single_view): Constraint the default ctor.
+ (iota_view): Relax semiregular constraint to copyable.
+ Constrain the default ctor.
+ (iota_view::_Iterator): Constraint the default ctor.
+ (basic_istream_view): Remove the default ctor. Remove NSDMIs.
+ Remove redundant checks for empty _M_stream.
+ (basic_istream_view::_Iterator): Likewise.
+ (ref_view): Remove the default ctor. Remove NSDMIs.
+ (ref_view::_Iterator): Constrain the default ctor.
+ (__detail::__non_propagating_cache::operator=): Define overload
+ for assigning from a value of the underlying type.
+ (filter_view): Likewise.
+ (filter_view::_Iterator): Likewise.
+ (transform_view): Likewise.
+ (transform_view::_Iterator): Likewise.
+ (take_view): Likewise.
+ (take_view::_Iterator): Likewise.
+ (take_while_view): Likewise.
+ (take_while_view::_Iterator): Likewise.
+ (drop_while_view): Likewise.
+ (drop_while_view::_Iterator): Likewise.
+ (join_view): Likewise.
+ (split_view::_OuterIter::__current): Adjust after changing the
+ type of _M_current.
+ (split_view::_M_current): Wrap it in a __non_propagating_cache.
+ (split_view::split_view): Constrain the default ctor.
+ (common_view): Constrain the default ctor.
+ (reverse_view): Likewise.
+ (elements_view): Likewise.
+ * include/std/span (enable_view<span<_ElementType, _Extent>>):
+ Define this partial specialization to true unconditionally.
+ * include/std/version (__cpp_lib_ranges): Adjust value.
+ * testsuite/24_iterators/back_insert_iterator/constexpr.cc:
+ Don't attempt to default construct a back_insert_iterator.
+ * testsuite/24_iterators/front_insert_iterator/constexpr.cc:
+ Don't attempt to default construct a front_insert_iterator.
+ * testsuite/24_iterators/insert_iterator/constexpr.cc:
+ Don't attempt to default construct an insert_iterator.
+ * testsuite/24_iterators/ostream_iterator/requirements/constexpr.cc:
+ Remove this test for default constructibility of ostream_iterator.
+ * testsuite/std/ranges/97600.cc: Don't attempt to default
+ construct a basic_istream_view.
+ * testsuite/std/ranges/adaptors/detail/semiregular_box.cc:
+ Rename to ...
+ * testsuite/std/ranges/adaptors/detail/copyable_box.cc: ... this.
+ (test02): Adjust now that __box is copyable-box not
+ semiregular-box.
+ (test03): New test.
+ * testsuite/std/ranges/p2325.cc: New test.
+ * testsuite/std/ranges/single_view.cc (test06): New test.
+ * testsuite/std/ranges/view.cc: Adjust now that view doesn't
+ require default_initializable.
+
2021-06-17 Jonathan Wakely <jwakely@redhat.com>
PR libstdc++/91488
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-06-19 0:17 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-06-19 0:17 [gcc r12-1657] Daily bump GCC Administrator
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).