diff options
| -rw-r--r-- | ChangeLog | 6 | ||||
| -rw-r--r-- | config/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ChangeLog | 64 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/ada/ChangeLog | 251 | ||||
| -rw-r--r-- | gcc/cp/ChangeLog | 42 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 58 | ||||
| -rw-r--r-- | libffi/ChangeLog | 5 | ||||
| -rw-r--r-- | libstdc++-v3/ChangeLog | 5 |
9 files changed, 437 insertions, 1 deletions
@@ -1,3 +1,9 @@ +2021-07-09 Iain Sandoe <iain@sandoe.co.uk> + + * configure: Regenerate. + * configure.ac: Adjust cases for which it is necessary to + include the Darwin host config fragment. + 2021-07-06 Gaius Mulley <gaius.mulley@southwales.ac.uk> * MAINTAINERS: Add myself for write after approval and DCO. diff --git a/config/ChangeLog b/config/ChangeLog index cc04030..19fb8d1 100644 --- a/config/ChangeLog +++ b/config/ChangeLog @@ -1,3 +1,8 @@ +2021-07-09 Iain Sandoe <iain@sandoe.co.uk> + + * mh-darwin: Make this specific to handling the + mdynamic-no-pic case. + 2021-06-14 Michael Forney <mforney@mforney.org> * gettext.m4 (AM_GNU_GETTEXT): Skip checks for the internal diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 48bb23c..6e6aaf0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,67 @@ +2021-07-09 Roger Sayle <roger@nextmovesoftware.com> + Uroš Bizjak <ubizjak@gmail.com> + + * config/i386/i386.md (*divmodsi4_const): Optimize SImode + divmod of a constant numerator with new define_insn_and_split. + +2021-07-09 Iain Sandoe <iain@sandoe.co.uk> + + PR target/100152 + * config/i386/i386-expand.c (ix86_expand_call): If a call is + to a non-local-binding, or local but to a public symbol, then + assume that it might be indirected via the lazy symbol binder. + Mark R10 and R10 as clobbered in that case. + +2021-07-09 Eric Botcazou <ebotcazou@adacore.com> + + PR target/101377 + * gcc.c (ASM_DEBUG_DWARF_OPTION): Set again to --gdwarf2 in + the case where HAVE_AS_WORKING_DWARF_N_FLAG is not defined + and HAVE_LD_BROKEN_PE_DWARF5 is defined. + +2021-07-09 Uroš Bizjak <ubizjak@gmail.com> + + * config/i386/i386.md (*udivmodsi4_pow2_zext_1): Limit the + log2 range of operands[3] to [1,31]. + (*udivmodsi4_pow2_zext_2): Ditto. Correct insn RTX pattern. + +2021-07-09 Sergei Trofimovich <siarheit@google.com> + + * doc/md.texi: Don't split @smallexample in multiple @groups. + +2021-07-09 Sergei Trofimovich <siarheit@google.com> + + * doc/md.texi: Add missing 'see' word. + +2021-07-09 Andrew Pinski <apinski@marvell.com> + + * tree-ssa-phiopt.c (phiopt_early_allow): Change arguments + to take sequence and gimple_match_op. Accept the case where + op is a SSA_NAME and one statement in the sequence. + Also allow constants. + (gimple_simplify_phiopt): Always pass a sequence to resimplify. + Update call to phiopt_early_allow. Discard the sequence if not + used. + +2021-07-09 Xi Ruoyao <xry111@mengyan1223.wang> + + PR target/100760 + PR target/100761 + PR target/100762 + * config/mips/mips.c (mips_const_insns): Use MSA_SUPPORTED_MODE_P + instead of ISA_HAS_MSA. + (mips_expand_vec_unpack): Likewise. + (mips_expand_vector_init): Likewise. + +2021-07-09 Kewen Lin <linkw@linux.ibm.com> + + * config/rs6000/vsx.md (mods_<mode>): Rename to... + (mod<mode>3): ... this. + (modu_<mode>): Rename to... + (umod<mode>3): ... this. + * config/rs6000/rs6000-builtin.def (MODS_V2DI, MODS_V4SI, MODU_V2DI, + MODU_V4SI): Adjust. + 2021-07-08 Jeff Law <jeffreyalaw@gmail.com> * config/h8300/shiftrotate.md (variable shifts): Expose condition diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 23a1b25..1d7b87f 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20210709 +20210710 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index e513e5b..9b5629c 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,254 @@ +2021-07-09 Eric Botcazou <ebotcazou@adacore.com> + + * gcc-interface/utils.c (finish_subprog_decl): Remove obsolete line. + +2021-07-09 Piotr Trojanek <trojanek@adacore.com> + + * exp_put_image.adb (Make_Put_Image_Name): Fix style. + (Image_Should_Call_Put_Image): Likewise. + (Build_Image_Call): Likewise. + +2021-07-09 Ghjuvan Lacambre <lacambre@adacore.com> + + * par-ch6.adb (Contains_Import_Aspect): New function. + (P_Subprogram): Acknowledge `Import` aspects. + +2021-07-09 Bob Duff <duff@adacore.com> + + * exp_put_image.adb (Make_Component_Attributes): Use + Implementation_Base_Type to get the parent type. Otherwise, + Parent_Type_Decl is actually an internally generated subtype + declaration, so we blow up on + Type_Definition (Parent_Type_Decl). + +2021-07-09 Dmitriy Anisimkov <anisimko@adacore.com> + + * gsocket.h: Include net/if.h to get IF_NAMESIZE constant. + * s-oscons-tmplt.c: Define IPV6_FLOWINFO for Linux. + +2021-07-09 Steve Baird <baird@adacore.com> + + * libgnat/a-cdlili.adb: Reimplement + Ada.Containers.Doubly_Linked_Lists.Generic_Sorting.Sort using + Mergesort instead of the previous Quicksort variant. + +2021-07-09 Justin Squirek <squirek@adacore.com> + + * exp_ch6.adb (Is_Build_In_Place_Function_Call): Add check to + verify the Selector_Name of Exp_Node has been analyzed before + obtaining its entity. + +2021-07-09 Gary Dismukes <dismukes@adacore.com> + + * libgnarl/s-osinte__vxworks.ads: Fix typo ("release" => + "releases") plus comment reformatting. + * libgnat/s-os_lib.ads: In a comment, fix typo ("indended" => + "intended"), add a hyphen and semicolon, plus reformatting. In + comment for subtype time_t, fix typo ("effect" => "affect"), add + hyphens, plus reformatting. + * libgnat/s-parame.ads, libgnat/s-parame__ae653.ads, + libgnat/s-parame__hpux.ads: Remove period from one-line comment. + +2021-07-09 Steve Baird <baird@adacore.com> + + * exp_ch5.adb (Expand_General_Case_Statement): Add new function + Else_Statements to handle the case of invalid data analogously + to how it is handled when casing on a discrete value. + * sem_case.adb (Has_Static_Discriminant_Constraint): A new + Boolean-valued function. + (Composite_Case_Ops.Scalar_Part_Count): Include discriminants + when traversing components. + (Composite_Case_Ops.Choice_Analysis.Traverse_Discrete_Parts): + Include discriminants when traversing components; the component + range for a constrained discriminant is a single value. + (Composite_Case_Ops.Choice_Analysis.Parse_Choice): Eliminate + Done variable and modify how Next_Part is computed so that it is + always correct (as opposed to being incorrect when Done is + True). This includes changes in Update_Result (a local + procedure). Add new local procedure + Update_Result_For_Box_Component and call it not just for box + components but also for "missing" components (components + associated with an inactive variant). + (Check_Choices.Check_Composite_Case_Selector.Check_Component_Subtype): + Instead of disallowing all discriminated component types, allow + those that are unconstrained or statically constrained. Check + discriminant subtypes along with other component subtypes. + * doc/gnat_rm/implementation_defined_pragmas.rst: Update + documentation to reflect current implementation status. + * gnat_rm.texi: Regenerate. + +2021-07-09 Justin Squirek <squirek@adacore.com> + + * sem_ch6.adb (Check_Pragma_Inline): Correctly use + Corresponding_Spec_Of_Stub when dealing subprogram body stubs. + +2021-07-09 Doug Rupp <rupp@adacore.com> + + * Makefile.rtl: Add translations for s-parame__posix2008.ads + * libgnarl/s-linux.ads: Import System.Parameters. + (time_t): Declare using System.Parameters.time_t_bits. + * libgnarl/s-linux__alpha.ads: Likewise. + * libgnarl/s-linux__android.ads: Likewise. + * libgnarl/s-linux__hppa.ads: Likewise. + * libgnarl/s-linux__mips.ads: Likewise. + * libgnarl/s-linux__riscv.ads: Likewise. + * libgnarl/s-linux__sparc.ads: Likewise. + * libgnarl/s-linux__x32.ads: Likewise. + * libgnarl/s-qnx.ads: Likewise. + * libgnarl/s-osinte__aix.ads: Likewise. + * libgnarl/s-osinte__android.ads: Likewise. + * libgnarl/s-osinte__darwin.ads: Likewise. + * libgnarl/s-osinte__dragonfly.ads: Likewise. + * libgnarl/s-osinte__freebsd.ads: Likewise. + * libgnarl/s-osinte__gnu.ads: Likewise. + * libgnarl/s-osinte__hpux-dce.ads: Likewise. + * libgnarl/s-osinte__hpux.ads: Likewise. + * libgnarl/s-osinte__kfreebsd-gnu.ads: Likewise. + * libgnarl/s-osinte__lynxos178e.ads: Likewise. + * libgnarl/s-osinte__qnx.ads: Likewise. + * libgnarl/s-osinte__rtems.ads: Likewise. + * libgnarl/s-osinte__solaris.ads: Likewise. + * libgnarl/s-osinte__vxworks.ads: Likewise. + * libgnat/g-sothco.ads: Likewise. + * libgnat/s-osprim__darwin.adb: Likewise. + * libgnat/s-osprim__posix.adb: Likewise. + * libgnat/s-osprim__posix2008.adb: Likewise. + * libgnat/s-osprim__rtems.adb: Likewise. + * libgnat/s-osprim__x32.adb: Likewise. + * libgnarl/s-osinte__linux.ads: use type System.Linux.time_t. + * libgnat/s-os_lib.ads (time_t): Declare as subtype of + Long_Long_Integer. + * libgnat/s-parame.ads (time_t_bits): New constant. + * libgnat/s-parame__ae653.ads (time_t_bits): Likewise. + * libgnat/s-parame__hpux.ads (time_t_bits): Likewise. + * libgnat/s-parame__vxworks.ads (time_t_bits): Likewise. + * libgnat/s-parame__posix2008.ads: New file for 64 bit time_t. + +2021-07-09 Bob Duff <duff@adacore.com> + + * comperr.adb (Compiler_Abort): Print source file name. + +2021-07-09 Joffrey Huguet <huguet@adacore.com> + + * libgnat/a-strunb.ads, libgnat/a-strunb__shared.ads: Fix layout + in contracts. + +2021-07-09 Eric Botcazou <ebotcazou@adacore.com> + + * repinfo.ads (JSON output format): Document adjusted key name. + * repinfo.adb (List_Record_Layout): Use Original_Record_Component + if the normalized position of the component is not known. + (List_Structural_Record_Layout): Rename Outer_Ent parameter into + Ext_End and add Ext_Level parameter. In an extension, if the parent + subtype has static discriminants, call List_Record_Layout on it. + Output "parent_" prefixes before "variant" according to Ext_Level. + Adjust recursive calls throughout the procedure. + +2021-07-09 Piotr Trojanek <trojanek@adacore.com> + + * exp_util.ads (Map_Types): Fix typo. + +2021-07-09 Fedor Rybin <frybin@adacore.com> + + * krunch.adb: Add safeguards against index range violations. + +2021-07-09 Arnaud Charlet <charlet@adacore.com> + + * libgnat/a-strfix.adb: Take advantage of extended returns. + +2021-07-09 Eric Botcazou <ebotcazou@adacore.com> + + * doc/gnat_rm/implementation_defined_attributes.rst + (Scalar_Storage_Order): Add paragraph about representation + changes. + * gnat_rm.texi: Regenerate. + +2021-07-09 Frederic Konrad <konrad@adacore.com> + + * Makefile.rtl (LIBGNAT_TARGET_PAIRS) <aarch64*-*-rtems*>: Use + the wraplf variant of Aux_Long_Long_Float. + +2021-07-09 Piotr Trojanek <trojanek@adacore.com> + + * sem_ch6.adb (Analyze_Expression_Function): Initialize Orig_N + and Typ variables. + +2021-07-09 Arnaud Charlet <charlet@adacore.com> + + * sem_ch13.adb (Resolve_Aspect_Expressions): Use the same + processing for Predicate, Static_Predicate and + Dynamic_Predicate. Do not build the predicate function spec. + Update comments. + (Resolve_Name): Only reset Entity when necessary to avoid + spurious visibility errors. + (Check_Aspect_At_End_Of_Declarations): Handle consistently all + Predicate aspects. + * sem_ch3.adb (Analyze_Subtype_Declaration): Fix handling of + private types with predicates. + +2021-07-09 Justin Squirek <squirek@adacore.com> + + * sem_util.ads (Type_Access_Level): Add new optional parameter + Assoc_Ent. + * sem_util.adb (Accessibility_Level): Treat access discriminants + the same as components when the restriction + No_Dynamic_Accessibility_Checks is enabled. + (Deepest_Type_Access_Level): Remove exception for + Debug_Flag_Underscore_B when returning the result of + Type_Access_Level in the case where + No_Dynamic_Accessibility_Checks is active. + (Function_Call_Or_Allocator_Level): Correctly calculate the + level of Expr based on its containing subprogram instead of + using Current_Subprogram. + * sem_res.adb (Valid_Conversion): Add actual for new parameter + Assoc_Ent in call to Type_Access_Level, and add test of + No_Dynamic_Accessibility_Checks_Enabled to ensure that static + accessibility checks are performed for all anonymous access type + conversions. + +2021-07-09 Eric Botcazou <ebotcazou@adacore.com> + + * exp_dbug.ads: Update documentation of various items. + +2021-07-09 Piotr Trojanek <trojanek@adacore.com> + + * sem_ch6.adb (Analyze_Expression_Function): Reorder code. + +2021-07-09 Piotr Trojanek <trojanek@adacore.com> + + * sem_ch6.adb (Analyze_Expression_Function): Reorder code. + +2021-07-09 Piotr Trojanek <trojanek@adacore.com> + + * sem_ch6.adb (Analyze_Expression_Function): Add variable to + avoid repeated calls to Etype. + +2021-07-09 Piotr Trojanek <trojanek@adacore.com> + + * sem_ch6.adb (Analyze_Expression_Function): Fix comment. + +2021-07-09 Piotr Trojanek <trojanek@adacore.com> + + * sem_ch6.adb (Analyze_Expression_Function): Use Orig_N variable + instead of repeated calls to Original_Node. + +2021-07-09 Piotr Trojanek <trojanek@adacore.com> + + * sem_ch6.adb (Analyze_Expression_Function): Change types local + variables from Entity_Id to Node_Id. + +2021-07-09 Piotr Trojanek <trojanek@adacore.com> + + * sem_ch6.adb (Analyze_Expression_Function): A local Expr + constant was shadowing a global constant with the same name and + the same value. + +2021-07-09 Piotr Trojanek <trojanek@adacore.com> + + * sem_res.adb (Preanalyze_And_Resolve): Only call + Set_Must_Not_Freeze when it is necessary to restore the previous + value. + 2021-07-08 Piotr Trojanek <trojanek@adacore.com> * sem_ch5.adb (Analyze_Assignment): Clear Current_Assignment at diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 4386e5d..351476d 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,45 @@ +2021-07-09 Jason Merrill <jason@redhat.com> + + PR c++/101098 + * decl.c (function_requirements_equivalent_p): Only compare + trailing requirements on a specialization. + +2021-07-09 Iain Sandoe <iain@sandoe.co.uk> + + * coroutines.cc (build_actor_fn): Move common code to + act_des_fn. + (build_destroy_fn): Likewise. + (act_des_fn): Build the void return here. Ensure that the + source location matches the original function. + +2021-07-09 Iain Sandoe <iain@sandoe.co.uk> + + * coroutines.cc + (coro_rewrite_function_body): Connect the replacement + function block to the block nest correctly. + +2021-07-09 Patrick Palka <ppalka@redhat.com> + + PR c++/101181 + * constraint.cc (tsubst_requires_expr): Pass complain/in_decl to + add_extra_args. + * cp-tree.h (add_extra_args): Add complain/in_decl parameters. + * pt.c (build_extra_args): Make a copy of args. + (add_extra_args): Add complain/in_decl parameters. Enable the + code for handling the case where the extra arguments are + dependent. + (tsubst_pack_expansion): Pass complain/in_decl to + add_extra_args. + (tsubst_template_args): Handle missing template arguments. + (tsubst_expr) <case IF_STMT>: Pass complain/in_decl to + add_extra_args. + +2021-07-09 Patrick Palka <ppalka@redhat.com> + + PR c++/101247 + * pt.c (any_template_parm_r) <case TEMPLATE_DECL>: Just walk the + DECL_CONTEXT. + 2021-07-08 Martin Sebor <msebor@redhat.com> PR bootstrap/101372 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index cdd3376..9d203f5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,61 @@ +2021-07-09 Jason Merrill <jason@redhat.com> + + PR c++/101098 + * g++.dg/concepts/explicit-spec1.C: New test. + +2021-07-09 Roger Sayle <roger@nextmovesoftware.com> + Uroš Bizjak <ubizjak@gmail.com> + + * gcc.target/i386/divmod-9.c: New test case. + +2021-07-09 Indu Bhagat <indu.bhagat@oracle.com> + + PR testsuite/101269 + * gcc.dg/debug/btf/btf-datasec-1.c: Force -msdata=none with ilp32 for + powerpc based targets. + +2021-07-09 Patrick Palka <ppalka@redhat.com> + + PR c++/101181 + * g++.dg/cpp2a/concepts-requires26.C: New test. + * g++.dg/cpp2a/lambda-uneval16.C: New test. + +2021-07-09 Patrick Palka <ppalka@redhat.com> + + PR c++/101247 + * g++.dg/cpp2a/concepts-memtmpl4.C: Uncomment the commented out + example, which we now handle correctly. + * g++.dg/cpp2a/concepts-memtmpl5.C: New test. + * g++.dg/cpp2a/concepts-memtmpl5a.C: New test. + +2021-07-09 Xi Ruoyao <xry111@mengyan1223.wang> + + * gcc.target/mips/cfgcleanup-jalr2.c: Remove -fno-inline and add + __attribute__((noinline)). + * gcc.target/mips/cfgcleanup-jalr3.c: Likewise. + +2021-07-09 Xi Ruoyao <xry111@mengyan1223.wang> + + PR target/100760 + PR target/100761 + PR target/100762 + * gcc.target/mips/pr100760.c: New test. + * gcc.target/mips/pr100761.c: New test. + * gcc.target/mips/pr100762.c: New test. + +2021-07-09 Kewen Lin <linkw@linux.ibm.com> + + * gcc.target/powerpc/mod-vectorize.c: New test. + +2021-07-09 Kewen Lin <linkw@linux.ibm.com> + + * gcc.target/powerpc/div-vectorize-1.c: New test. + +2021-07-09 Kewen Lin <linkw@linux.ibm.com> + + * gcc.target/powerpc/mul-vectorize-1.c: New test. + * gcc.target/powerpc/mul-vectorize-2.c: New test. + 2021-07-08 Martin Sebor <msebor@redhat.com> * gcc.dg/Wstringop-overflow-43.c: Remove an xfail. diff --git a/libffi/ChangeLog b/libffi/ChangeLog index 8ecc9de..fa5f674 100644 --- a/libffi/ChangeLog +++ b/libffi/ChangeLog @@ -1,3 +1,8 @@ +2021-07-09 H.J. Lu <hjl.tools@gmail.com> + + PR libffi/101336 + * configure.host: Always check __x86_64__ for x86 hosts. + 2021-06-16 Jakub Jelinek <jakub@redhat.com> * src/x86/ffi64.c (classify_argument): For FFI_TYPE_STRUCT set words diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 222b103..baa4ed8 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,8 @@ +2021-07-09 Matheus Castanho <msc@linux.ibm.com> + + * include/std/mutex (__lock_impl): Check + _GLIBCXX_HAS_GTHREADS before using __gthread_yield. + 2021-07-02 Jonathan Wakely <jwakely@redhat.com> PR libstdc++/101271 |