Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6b6b1ce..0369c48 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,52 @@
+2021-10-05  qing zhao  <qing.zhao@oracle.com>
+
+       PR middle-end/102359
+       * gimplify.c (gimplify_decl_expr): Not add initialization for an
+       auto variable when it has been initialized by frontend.
+
+2021-10-05  Aldy Hernandez  <aldyh@redhat.com>
+
+       * tree-ssa-threadupdate.c (jt_path_registry::cancel_invalid_paths):
+       Loosen restrictions
+
+2021-10-05  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
+
+       * common/config/avr/avr-common.c (avr_handle_option): Mark
+       argument as ATTRIBUTE_UNUSED.
+
+2021-10-05  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
+
+       * config/lm32/uclinux-elf.h (LINK_GCC_C_SEQUENCE_SPEC):
+       Undefine before redefinition.
+
+2021-10-05  Richard Biener  <rguenther@suse.de>
+
+       * toplev.c (no_backend): Remove global var.
+       (process_options): Pass in no_backend, move post_options
+       langhook call to toplev::main.
+       (do_compile): Pass in no_backend, move process_options call
+       to toplev::main.
+       (toplev::run_self_tests): Check no_backend at the caller.
+       (toplev::main): Call post_options and process_options
+       split out from do_compile, do self-tests only if
+       no_backend is initialized.
+
+2021-10-05  Richard Biener  <rguenther@suse.de>
+
+       * tree-cfg.c (dump_function_to_file): Dump the UID of the
+       function as part of the name when requested.
+       * tree-pretty-print.c (dump_function_name): Dump the UID when
+       requested and the langhook produced the actual name.
+
+2021-10-05  Richard Biener  <rguenther@suse.de>
+
+       PR middle-end/102587
+       PR middle-end/102285
+       * internal-fn.c (expand_DEFERRED_INIT): Fall back to
+       zero-initialization as last resort, use the constant
+       size as given by the DEFERRED_INIT argument to build
+       the initializer.
+
 2021-10-04  Marek Polacek  <polacek@redhat.com>
 
        PR c++/97573

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index e8ebd14..46eae11 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20211005
+20211006

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 42525c5..feadd5e 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,265 @@
+2021-10-05  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/trans.c (gnat_to_gnu): Do not wrap boolean values
+       referenced in pragmas.
+
+2021-10-05  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/trans.c (Subprogram_Body_to_gnu): Do not set the
+       DECL_DISREGARD_INLINE_LIMITS flag if -gnatd.8 is specified.
+
+2021-10-05  Bob Duff  <duff@adacore.com>
+
+       * gcc-interface/trans.c (set_end_locus_from_node): Check that
+       Handled_Statement_Sequence is not Empty before calling
+       End_Label, because the Empty node has no End_Label, and
+       depending on the exact node layout chosen by gen_il, calling
+       End_Label might crash, or might work OK by accident.
+
+2021-10-05  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/cuintp.c: Adjust placement of include directive.
+       * gcc-interface/targtyps.c: Likewise.
+
+2021-10-05  Alexandre Oliva  <oliva@adacore.com>
+
+       * doc/gnat_rm.rst: Add...
+       * doc/gnat_rm/security_hardening_features.rst: New.
+       * doc/gnat_rm/about_this_guide.rst: Link to new chapter.
+       * gnat_rm.texi: Regenerate.
+       * gcc-interface/utils.c (handle_strub_attribute): New.
+       (gnat_internal_attribute_table): Add strub.
+       * libgnat/a-except.adb: Make Rcheck_CE_* strub-callable.
+       * libgnat/a-except.ads (Raise_Exception): Likewise.
+       (Raise_Exception_Always): Likewise.
+       * libgnat/s-arit128.ads (Multiply_With_Ovflo_Check128):
+       Likewise.
+       * libgnat/s-arit64.ads (Multiply_With_Ovflo_Check64):
+       Likewise.
+       * libgnat/s-secsta.ads (SS_Allocate, SS_Mark, SS_Release):
+       Likewise.
+
+2021-10-05  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_ch9.adb (Install_Private_Data_Declarations): Copy the Sloc of
+       components for the local renamings as well as the Comes_From_Source
+       flag, and also set Warnings_Off on them.  Use Nam local variable.
+
+2021-10-05  Arnaud Charlet  <charlet@adacore.com>
+
+       * libgnarl/a-tasini.ads (Set_Initialization_Handler): Update
+       comments.
+
+2021-10-05  Corentin Gay  <gay@adacore.com>
+
+       * init.c (QNX): Add #include errno.h.
+
+2021-10-05  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_attr.adb (Expand_Fpt_Attribute): Likewise.
+       * snames.ads-tmpl (Name_Unaligned_Valid): Delete.
+
+2021-10-05  Etienne Servais  <servais@adacore.com>
+
+       * sem_prag.adb (Analyze_Pragma): Forbid use of
+       Compile_Time_(Error|Warning) as configuration pragma.
+       * doc/gnat_ugn/the_gnat_compilation_model.rst:
+       Compile_Time_(Error|Warning) and Compiler_Unit(_Warning) are not
+       configuration pragmas and shall not be listed as such.  The
+       following pragmas are either obsolete or undocumented:
+       No_Run_Time, Propagate_Exceptions, Rational, Ravenscar,
+       Restricted_Run_Time, Short_Descriptors, Universal_Data.  Fix
+       some typos (notably on Restriction_Warnings).
+       * doc/gnat_rm/implementation_defined_pragmas.rst: Move
+       Rename_Pragma documentation to alphabetical order.
+       * gnat_rm.texi, gnat_ugn.texi: Regenerate.
+
+2021-10-05  Corentin Gay  <gay@adacore.com>
+
+       * adaint.c (QNX): Add #include for sys/time.h.
+
+2021-10-05  Pascal Obry  <obry@adacore.com>
+
+       * libgnat/g-forstr.adb (Next_Format): When there is no more
+       format specifier found issue a proper error message instead of
+       raising a contraint error.
+
+2021-10-05  Pascal Obry  <obry@adacore.com>
+
+       * libgnat/g-forstr.adb (Get_Formatted): Fix computation of the
+       number of zero to use in the formatted string. This was a wrong
+       copy/paste.
+
+2021-10-05  Pascal Obry  <obry@adacore.com>
+
+       * libgnat/g-forstr.adb (Get_Formatted): Minor code clean-up.
+
+2021-10-05  Etienne Servais  <servais@adacore.com>
+
+       * libgnat/a-zchhan.ads, libgnat/a-zchhan.adb
+       (Character_Set_Version, Is_Basic, To_Basic): New.
+       * libgnat/a-zchuni.ads, libgnat/a-zchuni.adb (Is_Basic,
+       To_Basic): New.
+
+2021-10-05  Yannick Moy  <moy@adacore.com>
+
+       * sem_aggr.adb (Resolve_Array_Aggregate): Improve error message.
+
+2021-10-05  Gary Dismukes  <dismukes@adacore.com>
+
+       * aspects.ads (type Aspect_Id): Add
+       Aspect_Designated_Storage_Model and Aspect_Storage_Model_Type.
+       (Aspect_Argument): Add associations for the above new aspects.
+       (Is_Representation_Aspect): Likewise.
+       (Aspect_Names, Aspect_Delay): Likewise.
+       * exp_ch4.adb (Expand_N_Allocator): Call Find_Storage_Op rather
+       than Find_Prim_Op.
+       * exp_intr.adb (Expand_Unc_Deallocation): Likewise.
+       * exp_util.ads (Find_Storage_Op): New function that locates
+       either a primitive operation of a storage pool or an operation
+       of a storage-model type specified in its Storage_Model_Type
+       aspect.
+       * exp_util.adb (Find_Storage_Op): New function that calls either
+       Find_Prim_Op or Get_Storage_Model_Type_Entity to locate a
+       storage-related operation that is associated with a type.
+       * sem_ch13.adb (Analyze_Aspects_At_Freeze_Point): Analyzes,
+       resolves, and validates the arguments of aspect
+       Designated_Storage_Model_Type.
+       (Analyze_Aspect_Specifications): Sets delay-related flags on
+       storage-model aspects when Delay_Required. Checks that aspect
+       Designated_Storage_Model is only specified for an access type
+       and that aspect Storage_Model_Type is only specified on an
+       immutably limited type. Also records such aspects for their
+       associated types.
+       (Check_Aspect_At_Freeze_Point): Resolve each of the argument
+       associations given for a Storage_Model_Type aspect.
+       (Resolve_Storage_Model_Type_Argument): New procedure that
+       resolves an argument given in the association for a given entity
+       name associated with a type with aspect Storage_Model_Type,
+       ensuring that it has the proper kind or profile.
+       (Validate_Storage_Model_Type_Aspect): New procedure that checks
+       the legality and completeness of the entity associations given
+       in a Storage_Model_Type aspect.
+       * sem_util.ads (package Storage_Model_Support): New nested
+       package that encapsulates a set of convenient utility functions
+       for retrieving entities, etc. associated with
+       storage-model-related types and objects.
+       (Get_Storage_Model_Type_Entity): New function to return a
+       specified entity associated with a type that has aspect
+       Storage_Model_Type.
+       (Has_Designated_Storage_Model_Aspect): New function that returns
+       whether a type has aspect Designated_Storage_Model.
+       (Has_Storage_Model_Type_Aspect): New function that returns
+       whether a type has aspect Storage_Model_Type.
+       (Storage_Model_Object): New function that returns the object
+       Entity_Id associated with a type's Designated_Storage_Model
+       aspect.
+       (Storage_Model_Type): New function that returns the type
+       associated with a storage-model object (when the object's type
+       specifies Storage_Model_Type).
+       (Storage_Model_Address_Type): New function that returns the
+       Address_Type associated with a type that has aspect
+       Storage_Model_Type.
+       (Storage_Model_Null_Address): New function that returns the
+       Null_Address constant associated with a type that has aspect
+       Storage_Model_Type.
+       (Storage_Model_Allocate): New function that returns the Allocate
+       procedure associated with a type that has aspect
+       Storage_Model_Type.
+       (Storage_Model_Deallocate): New function that returns the
+       Deallocate procedure associated with a type that has aspect
+       Storage_Model_Type.
+       (Storage_Model_Copy_From): New function that returns the
+       Copy_From procedure associated with a type that has aspect
+       Storage_Model_Type.
+       (Storage_Model_Copy_To): New function that returns the Copy_To
+       procedure associated with a type that has aspect
+       Storage_Model_Type.
+       (Storage_Model_Storage_Size): New function that returns the
+       Storage_Size function associated with a type that has aspect
+       Storage_Model_Type.
+       * sem_util.adb (package Storage_Model_Support): Body of new
+       nested package that contains the implementations the utility
+       functions declared in the spec of this package.
+       * snames.ads-tmpl: Add new names Name_Designated_Storage_Pool,
+       Name_Storage_Model, Name_Storage_Model_Type, Name_Address_Type,
+       Name_Copy_From, Name_Copy_To, and Name_Null_Address for the new
+       aspects and associated aspect arguments.
+
+2021-10-05  Richard Kenner  <kenner@adacore.com>
+
+       * debug.adb: Add documentation for -gnatd_t.
+
+2021-10-05  Corentin Gay  <gay@adacore.com>
+
+       * sysdep.c (__gnat_is_file_not_found_error): Add else if case.
+
+2021-10-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_util.adb (Build_Class_Wide_Expression): Replace entities
+       of both identifiers and operator symbols.
+
+2021-10-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_ch3.adb (Derive_Subprogram): Copy ghost status from parent
+       to derived subprogram.
+
+2021-10-05  Joffrey Huguet  <huguet@adacore.com>
+
+       * libgnat/a-strunb.ads, libgnat/a-strunb__shared.ads: Add
+       Default_Initial_Condition to Unbounded_String.
+
+2021-10-05  Claire Dross  <dross@adacore.com>
+
+       * libgnat/a-cfdlli.ads: Use pragma Assertion_Policy to disable
+       contract cases at execution.
+       * libgnat/a-cfinve.ads: Idem.
+       * libgnat/a-cofove.ads: Idem.
+       * libgnat/a-cfhase.ads: Idem.
+       * libgnat/a-cfhama.ads: Idem.
+       * libgnat/a-cforse.ads: Idem.
+       * libgnat/a-cforma.ads: Idem.
+
+2021-10-05  Bob Duff  <duff@adacore.com>
+
+       * par-ch4.adb (P_Iterated_Component_Association): Parse these
+       features the same way in all language versions.  Move the call
+       to Error_Msg_Ada_2022_Feature into semantic analysis.
+       * sem_aggr.adb (Resolve_Iterated_Component_Association,
+       Resolve_Iterated_Association): Move the call to
+       Error_Msg_Ada_2022_Feature here from par-ch4.adb.
+
+2021-10-05  Yannick Moy  <moy@adacore.com>
+
+       * sem_res.adb (Resolve): Recognize specially that case.
+
+2021-10-05  Yannick Moy  <moy@adacore.com>
+
+       * libgnat/a-strmap.adb: Add ghost code for proof.
+       (To_Range): This is the most involved proof, as it requires
+       creating the result of the call to To_Domain as a ghost
+       variable, and show the unicity of this result in order to prove
+       the postcondition.
+       * libgnat/a-strmap.ads: (SPARK_Proof_Sorted_Character_Sequence):
+       New ghost function.
+       (To_Domain): Add postcondition regarding sorting of result.
+       (To_Range): Fix postcondition that should compare Length instead
+       of Last for the results of To_Domain and To_Range, as the value
+       of Last for an empty result is not specified in the Ada RM.
+
+2021-10-05  Yannick Moy  <moy@adacore.com>
+
+       * libgnat/a-chahan.adb: Add loop invariants as needed to prove
+       subprograms.  Also use extended return statements where
+       appropriate and not done already.  Mark data with
+       Relaxed_Initialization where needed for initialization by parts.
+       Convert regular functions to expression functions where needed
+       for proof.
+       * libgnat/a-chahan.ads: Add postconditions.
+       * libgnat/a-strmap.ads (Model): New ghost function to create a
+       publicly visible model of the private data Character_Mapping,
+       needed in order to prove subprograms in Ada.Characters.Handling.
+
 2021-10-04  Justin Squirek  <squirek@adacore.com>
 
        * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:

diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 115e883..24096bb 100644 (file)
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,9 @@
+2021-10-05  Richard Biener  <rguenther@suse.de>
+
+       PR c/102605
+       * gimple-parser.c (c_parser_gimple_postfix_expression):
+       Accept more address _Literals.
+
 2021-10-04  Marek Polacek  <polacek@redhat.com>
 
        PR c++/97573

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index b795a72..663c0b1 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,22 @@
+2021-10-05  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/102548
+       * tree.c (apply_identity_attributes): Fix handling of the
+       case where an attribute in the list doesn't affect type
+       identity but some attribute before it does.
+
+2021-10-05  Patrick Palka  <ppalka@redhat.com>
+
+       PR c++/102547
+       * constexpr.c (potential_constant_expression_1): Handle
+       NONTYPE_ARGUMENT_PACK.
+
+2021-10-05  Patrick Palka  <ppalka@redhat.com>
+
+       PR c++/98930
+       * pt.c (has_value_dependent_address): Return true for a static
+       local variable from a function template.
+
 2021-10-04  Marek Polacek  <polacek@redhat.com>
 
        PR c++/97573

diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog
index ed5db13..7f1f510 100644 (file)
--- a/gcc/d/ChangeLog
+++ b/gcc/d/ChangeLog
@@ -1,3 +1,9 @@
+2021-10-05  Iain Sandoe  <iain@sandoe.co.uk>
+
+       * d-spec.cc (lang_specific_driver): Push the -static-libstdc++
+       option back onto the command line for targets without support
+       for -Bstatic/dynamic.
+
 2021-10-04  Iain Buclaw  <ibuclaw@gdcproject.org>
 
        PR d/102574

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e339cb1..ec22122 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,57 @@
+2021-10-05  qing zhao  <qing.zhao@oracle.com>
+
+       PR middle-end/102359
+       * g++.dg/pr102359_1.C: New test.
+       * g++.dg/pr102359_2.C: New test.
+
+2021-10-05  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/102548
+       * g++.target/i386/pr102548.C: New test.
+
+2021-10-05  Patrick Palka  <ppalka@redhat.com>
+
+       PR c++/102547
+       * g++.dg/cpp0x/variadic-partial2.C: New test.
+       * g++.dg/cpp0x/variadic-partial2a.C: New test.
+
+2021-10-05  Aldy Hernandez  <aldyh@redhat.com>
+
+       * gcc.dg/tree-ssa/ssa-thread-valid.c: New test.
+
+2021-10-05  Jeff Law  <jeffreyalaw@gmail.com>
+
+       * gcc.target/s390/pr80725.c: Ensure computed goto is used on
+       a pointer type.
+
+2021-10-05  Richard Biener  <rguenther@suse.de>
+
+       PR c/102605
+       * gcc.dg/gimplefe-46.c: New testcase.
+
+2021-10-05  Patrick Palka  <ppalka@redhat.com>
+
+       PR c++/98930
+       * g++.dg/cpp1z/nontype4.C: New test.
+       * g++.dg/cpp1z/nontype4a.C: New test.
+
+2021-10-05  Tobias Burnus  <tobias@codesourcery.com>
+
+       * gfortran.dg/gomp/pr43711.f90: Add dg-error + dg-prune-output,
+       remove dg-excess-errors to change XFAIL to PASS.
+
+2021-10-05  Richard Biener  <rguenther@suse.de>
+
+       PR middle-end/102587
+       PR middle-end/102285
+       * gcc.target/aarch64/sve/pr102587-1.c: Add -march=armv8.3-a+sve.
+       * gcc.target/aarch64/sve/pr102587-2.c: Likewise.
+
+2021-10-05  Richard Biener  <rguenther@suse.de>
+
+       * gfortran.dg/predict-2.f90: Adjust to avoid redundant
+       inner loop preheader checking code.
+
 2021-10-04  Marek Polacek  <polacek@redhat.com>
 
        PR c++/97573

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 8602c5c..614361f 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,61 @@
+2021-10-05  Jonathan Wakely  <jwakely@redhat.com>
+
+       * testsuite/21_strings/basic_string_view/requirements/trivially_copyable.cc:
+       New test.
+       * testsuite/23_containers/span/trivially_copyable.cc: New test.
+
+2021-10-05  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/bits/utility.h (__is_in_place_type_v): Define
+       variable template to detect in_place_type_t specializations.
+       (__is_in_place_type): Replace class template with alias
+       template using __is_in_place_type_v.
+       * include/std/any (any(T&&)): Check __is_in_place_type first and
+       avoid instantiating is_copy_constructible unnecessarily.
+
+2021-10-05  Jonathan Wakely  <jwakely@redhat.com>
+
+       * testsuite/20_util/integer_comparisons/greater.cc: New test.
+
+2021-10-05  Jonathan Wakely  <jwakely@redhat.com>
+
+       * testsuite/27_io/basic_ostream/inserters_other/char/volatile_ptr.cc:
+       Check result matches non-volatile pointer.
+
+2021-10-05  Jonathan Wakely  <jwakely@redhat.com>
+
+       PR c++/102535
+       * testsuite/20_util/is_trivially_constructible/value.cc: Adjust
+       expected value for C++20.
+
+2021-10-05  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/bits/std_function.h (_Any_data::_M_access): Add
+       noexcept.
+       (_Function_base::_Base_manager::_M_get_pointer): Likewise.
+       (_Function_base::_Base_manager::_M_not_empty_function):
+       Likewise.
+
+2021-10-05  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/std/ostream (operator<<(const volatile void*)):
+       Add new overload, as per P1147R1.
+       * testsuite/27_io/basic_ostream/inserters_other/char/volatile_ptr.cc:
+       New test.
+
+2021-10-05  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/bits/stl_queue.h
+       (__cpp_lib_adaptor_iterator_pair_constructor): Set to correct
+       value.
+       * include/bits/stl_stack.h
+       (__cpp_lib_adaptor_iterator_pair_constructor): Likewise.
+       * include/std/version
+       (__cpp_lib_adaptor_iterator_pair_constructor): Likewise.
+       * testsuite/23_containers/queue/cons_from_iters.cc: Update
+       expected value.
+       * testsuite/23_containers/stack/cons_from_iters.cc: Likewise.
+
 2021-10-04  Jonathan Wakely  <jwakely@redhat.com>
 
        * include/bits/forward_list.h (forward_list): Use non-deduced