From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id 8F4EE3858415; Wed, 6 Oct 2021 00:17:02 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 8F4EE3858415 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r12-4201] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 433516e1c6b1f8eeceeceb83cec5ea02a14065dc X-Git-Newrev: bb6194e0b44a8262d8de304be3bd3ee65187772a Message-Id: <20211006001702.8F4EE3858415@sourceware.org> Date: Wed, 6 Oct 2021 00:17:02 +0000 (GMT) X-BeenThere: libstdc++-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libstdc++-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 Oct 2021 00:17:02 -0000 https://gcc.gnu.org/g:bb6194e0b44a8262d8de304be3bd3ee65187772a commit r12-4201-gbb6194e0b44a8262d8de304be3bd3ee65187772a Author: GCC Administrator Date: Wed Oct 6 00:16:30 2021 +0000 Daily bump. Diff: --- gcc/ChangeLog | 49 +++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 262 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/c/ChangeLog | 6 ++ gcc/cp/ChangeLog | 19 ++++ gcc/d/ChangeLog | 6 ++ gcc/testsuite/ChangeLog | 54 ++++++++++ libstdc++-v3/ChangeLog | 58 +++++++++++ 8 files changed, 455 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6b6b1cece25..0369c48d0c4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,52 @@ +2021-10-05 qing zhao + + 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 + + * tree-ssa-threadupdate.c (jt_path_registry::cancel_invalid_paths): + Loosen restrictions + +2021-10-05 Jan-Benedict Glaw + + * common/config/avr/avr-common.c (avr_handle_option): Mark + argument as ATTRIBUTE_UNUSED. + +2021-10-05 Jan-Benedict Glaw + + * config/lm32/uclinux-elf.h (LINK_GCC_C_SEQUENCE_SPEC): + Undefine before redefinition. + +2021-10-05 Richard Biener + + * 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 + + * 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 + + 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 PR c++/97573 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index e8ebd14ea96..46eae114d58 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20211005 +20211006 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 42525c500e1..feadd5e63b6 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,265 @@ +2021-10-05 Eric Botcazou + + * gcc-interface/trans.c (gnat_to_gnu): Do not wrap boolean values + referenced in pragmas. + +2021-10-05 Eric Botcazou + + * 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 + + * 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 + + * gcc-interface/cuintp.c: Adjust placement of include directive. + * gcc-interface/targtyps.c: Likewise. + +2021-10-05 Alexandre Oliva + + * 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 + + * 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 + + * libgnarl/a-tasini.ads (Set_Initialization_Handler): Update + comments. + +2021-10-05 Corentin Gay + + * init.c (QNX): Add #include errno.h. + +2021-10-05 Eric Botcazou + + * exp_attr.adb (Expand_Fpt_Attribute): Likewise. + * snames.ads-tmpl (Name_Unaligned_Valid): Delete. + +2021-10-05 Etienne Servais + + * 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 + + * adaint.c (QNX): Add #include for sys/time.h. + +2021-10-05 Pascal Obry + + * 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 + + * 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 + + * libgnat/g-forstr.adb (Get_Formatted): Minor code clean-up. + +2021-10-05 Etienne Servais + + * 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 + + * sem_aggr.adb (Resolve_Array_Aggregate): Improve error message. + +2021-10-05 Gary Dismukes + + * 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 + + * debug.adb: Add documentation for -gnatd_t. + +2021-10-05 Corentin Gay + + * sysdep.c (__gnat_is_file_not_found_error): Add else if case. + +2021-10-05 Piotr Trojanek + + * exp_util.adb (Build_Class_Wide_Expression): Replace entities + of both identifiers and operator symbols. + +2021-10-05 Piotr Trojanek + + * sem_ch3.adb (Derive_Subprogram): Copy ghost status from parent + to derived subprogram. + +2021-10-05 Joffrey Huguet + + * libgnat/a-strunb.ads, libgnat/a-strunb__shared.ads: Add + Default_Initial_Condition to Unbounded_String. + +2021-10-05 Claire Dross + + * 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 + + * 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 + + * sem_res.adb (Resolve): Recognize specially that case. + +2021-10-05 Yannick Moy + + * 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 + + * 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 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst: diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 115e883d7ce..24096bb5854 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,9 @@ +2021-10-05 Richard Biener + + PR c/102605 + * gimple-parser.c (c_parser_gimple_postfix_expression): + Accept more address _Literals. + 2021-10-04 Marek Polacek PR c++/97573 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index b795a729d64..663c0b174b4 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,22 @@ +2021-10-05 Jakub Jelinek + + 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 + + PR c++/102547 + * constexpr.c (potential_constant_expression_1): Handle + NONTYPE_ARGUMENT_PACK. + +2021-10-05 Patrick Palka + + 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 PR c++/97573 diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog index ed5db13c364..7f1f510548a 100644 --- a/gcc/d/ChangeLog +++ b/gcc/d/ChangeLog @@ -1,3 +1,9 @@ +2021-10-05 Iain Sandoe + + * 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 PR d/102574 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e339cb119f0..ec22122f0b8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,57 @@ +2021-10-05 qing zhao + + PR middle-end/102359 + * g++.dg/pr102359_1.C: New test. + * g++.dg/pr102359_2.C: New test. + +2021-10-05 Jakub Jelinek + + PR c++/102548 + * g++.target/i386/pr102548.C: New test. + +2021-10-05 Patrick Palka + + PR c++/102547 + * g++.dg/cpp0x/variadic-partial2.C: New test. + * g++.dg/cpp0x/variadic-partial2a.C: New test. + +2021-10-05 Aldy Hernandez + + * gcc.dg/tree-ssa/ssa-thread-valid.c: New test. + +2021-10-05 Jeff Law + + * gcc.target/s390/pr80725.c: Ensure computed goto is used on + a pointer type. + +2021-10-05 Richard Biener + + PR c/102605 + * gcc.dg/gimplefe-46.c: New testcase. + +2021-10-05 Patrick Palka + + PR c++/98930 + * g++.dg/cpp1z/nontype4.C: New test. + * g++.dg/cpp1z/nontype4a.C: New test. + +2021-10-05 Tobias Burnus + + * 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 + + 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 + + * gfortran.dg/predict-2.f90: Adjust to avoid redundant + inner loop preheader checking code. + 2021-10-04 Marek Polacek PR c++/97573 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 8602c5c5ed3..614361fcd7b 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,61 @@ +2021-10-05 Jonathan Wakely + + * 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 + + * 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 + + * testsuite/20_util/integer_comparisons/greater.cc: New test. + +2021-10-05 Jonathan Wakely + + * testsuite/27_io/basic_ostream/inserters_other/char/volatile_ptr.cc: + Check result matches non-volatile pointer. + +2021-10-05 Jonathan Wakely + + PR c++/102535 + * testsuite/20_util/is_trivially_constructible/value.cc: Adjust + expected value for C++20. + +2021-10-05 Jonathan Wakely + + * 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 + + * 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 + + * 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 * include/bits/forward_list.h (forward_list): Use non-deduced