]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Daily bump.
authorGCC Administrator <gccadmin@gcc.gnu.org>
Sat, 19 Jun 2021 00:16:33 +0000 (00:16 +0000)
committerGCC Administrator <gccadmin@gcc.gnu.org>
Sat, 19 Jun 2021 00:16:33 +0000 (00:16 +0000)
ChangeLog
gcc/ChangeLog
gcc/DATESTAMP
gcc/ada/ChangeLog
gcc/analyzer/ChangeLog
gcc/fortran/ChangeLog
gcc/testsuite/ChangeLog
libstdc++-v3/ChangeLog

index fba4c8400f855bcb058fe1d480b9ed2f499bdbc1..5a88b740ade2fae939e3412b9737a741c8a2c694 100644 (file)
--- 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
index 6cd9445ec04233466a5fc804faac5d59f5d30d55..4597e5992ce1dd86cf55065466b35022cdc08a30 100644 (file)
@@ -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
index 1c09ea68c9860607f976ea8661c9fc92221132b0..a522144b0f9c23a501261f112b2aeb6f34b8b836 100644 (file)
@@ -1 +1 @@
-20210618
+20210619
index 1927007b235f3ffe895fc2cf95319f5a43609327..baf0dbd0c8b6fbb834fc45284fd74293f54aa036 100644 (file)
@@ -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
index b8f7a2bb314772c90d870277917bc7e915c4db66..84fa208f80add8db6cd38a144613ec272eccd222 100644 (file)
@@ -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
index f073f34a6f359a0c0963ba1ac563d69fd4ecd13c..e57f613a79faefc3b5bb92caa83c2810d91bb7af 100644 (file)
@@ -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
index 1c7b730fc309414c0a418173b4e5f3189a7a18bd..c1a715f491a0bf117cdebd79278940cd9d38b3d6 100644 (file)
@@ -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
index 0223a74f8b07362bfc720cb08ca8b9d009a3ada2..f8d6fa74a3be3880f14f6c38f83e5163d9623657 100644 (file)
@@ -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