public inbox for libstdc++-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r13-2635] Daily bump.
@ 2022-09-13 0:18 GCC Administrator
0 siblings, 0 replies; only message in thread
From: GCC Administrator @ 2022-09-13 0:18 UTC (permalink / raw)
To: gcc-cvs, libstdc++-cvs
https://gcc.gnu.org/g:b5f09bd766008fe11aa35ccaa4038f7b09e3492e
commit r13-2635-gb5f09bd766008fe11aa35ccaa4038f7b09e3492e
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Tue Sep 13 00:18:20 2022 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 36 ++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 498 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/analyzer/ChangeLog | 5 +
gcc/cp/ChangeLog | 94 +++++++++
gcc/testsuite/ChangeLog | 53 ++++++
libgomp/ChangeLog | 25 +++
libstdc++-v3/ChangeLog | 29 +++
8 files changed, 741 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e670caecef2..95705a4931a 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,39 @@
+2022-09-12 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
+
+ * config/xtensa/xtensa.cc (TARGET_CONSTANT_OK_FOR_CPROP_P):
+ New macro definition.
+ (xtensa_constant_ok_for_cprop_p):
+ Implement the hook as mentioned above.
+
+2022-09-12 Joseph Myers <joseph@codesourcery.com>
+
+ * ginclude/stdatomic.h [defined __STDC_VERSION__ &&
+ __STDC_VERSION__ > 201710L] (ATOMIC_VAR_INIT): Do not define.
+
+2022-09-12 Tobias Burnus <tobias@codesourcery.com>
+
+ * config/nvptx/mkoffload.cc (process): Replace a fatal_error by
+ a warning + not enabling offloading if -misa=sm_30 prevents
+ reverse offload.
+ (main): Use tool_name as progname for diagnostic.
+ * config/gcn/mkoffload.cc (main): Likewise.
+
+2022-09-12 Aldy Hernandez <aldyh@redhat.com>
+
+ * value-range.cc (frange::set_signbit): Avoid changing sign when
+ already in the correct sign.
+
+2022-09-12 Max Filippov <jcmvbkbc@gmail.com>
+
+ * config/xtensa/xtensa.cc (xtensa_function_value_regno_p):
+ Recognize all 4 return registers.
+ * config/xtensa/xtensa.h (GP_RETURN_REG_COUNT): New definition.
+ * config/xtensa/xtensa.md (untyped_call): New pattern.
+
+2022-09-12 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/extend.texi (Floating Types): Fix "_float128" typo.
+
2022-09-10 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
* config/xtensa/xtensa.cc (xtensa_constantsynth):
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index eaf59824aca..3ab9ae22f92 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220912
+20220913
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index b1fbd1ec2db..5a029ed1b84 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,501 @@
+2022-09-12 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.cc (gnat_to_gnu_entity): Relax assertion when
+ front-end unnesting is enabled.
+
+2022-09-12 Justin Squirek <squirek@adacore.com>
+
+ * sem_util.adb
+ (Innermost_Master_Scope_Depth): Detect and handle case where scope
+ depth is not set on an enclosing scope.
+
+2022-09-12 Steve Baird <baird@adacore.com>
+
+ * bindgen.adb: When the binder is invoked for the host, generate a
+ "with CUDA.Internal;" with clause.
+
+2022-09-12 Piotr Trojanek <trojanek@adacore.com>
+
+ * doc/gnat_rm/implementation_defined_pragmas.rst
+ (Pragma Unreferenced): Sync description with
+ Sem_Warn.Has_Junk_Name routine.
+ * gnat_rm.texi: Regenerate.
+ * gnat_ugn.texi: Regenerate.
+
+2022-09-12 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_attr.adb (Analyze_Attribute [Valid_Scalars]): Move check for
+ unchecked union before checks for private and public types.
+
+2022-09-12 Steve Baird <baird@adacore.com>
+
+ * bindgen.adb: When the binder is invoked for the host, it
+ declares imported subprograms corresponding to the Adainit and
+ Adafinal routines on the device. Declare string constants and
+ expression functions for the Ada source names and the link names
+ of these routines. Generate these subprogram declarations (and
+ accompanying Import pragmas) in Gen_CUDA_Defs. Generate
+ CUDA_Execute pragmas to call these subprograms from the host in
+ Gen_Adafinal and Gen_CUDA_Init. When the binder is invoked for the
+ device, include a CUDA_Global aspect declaration in the
+ declarations of Adainit and Adafinal and use the aforementioned
+ link names in the Export pragmas generated for those two routines.
+ * debug.adb: Update comments about "d_c" and "d_d" switches.
+ * opt.ads: Declare new Boolean variable,
+ Enable_CUDA_Device_Expansion. This complements the existing
+ Enable_CUDA_Expansion variable, which is used to enable host-side
+ CUDA expansion. The new variable enables device-side CUDA
+ expansion. It is currently never set during compilation; it is
+ only set via a binder switch.
+ * switch-b.adb
+ (scan_debug_switches): Add new use of the "-d_d" binder switch.
+ The new switch and the variable Opt.Enabled_CUDA_Device_Expansion
+ follow the existing pattern of the "-d_c" switch and the variable
+ Opt.Enabled_CUDA_Expansion. Flag error if both "-d_c" and "-d_d"
+ are specified.
+
+2022-09-12 Eric Botcazou <ebotcazou@adacore.com>
+
+ * contracts.adb (uild_Subprogram_Contract_Wrapper): Remove useless
+ local variable. In the case of a function, replace the extended
+ return statement by a block statement declaring a renaming of the
+ call to the local subprogram after removing side effects manually.
+ (Expand_Subprogram_Contract): Adjust description accordingly.
+ * exp_ch6.adb (Expand_Ctrl_Function_Call): Rewrite obsolete
+ comment and do not apply the transformation twice.
+ * sem_attr.adb (Analyze_Attribute_Old_Result): Now expect a block
+ statement instead of an extended return statement.
+
+2022-09-12 Piotr Trojanek <trojanek@adacore.com>
+
+ * erroutc.adb (Set_Msg_Insertion_Name): Special-case printing with
+ acronyms.
+
+2022-09-12 Yannick Moy <moy@adacore.com>
+
+ * libgnat/s-imagei.adb (Image_Integer): Add justification.
+
+2022-09-12 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_prag.adb (Get_SPARK_Mode_Type): Fix header box; replace
+ chained IF with a CASE statement.
+
+2022-09-12 Yannick Moy <moy@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma): Accept SPARK_Mode=>Auto as
+ configuration pragma.
+ (Get_SPARK_Mode): Make the value for Auto explicit.
+ * snames.ads-tmpl (Name_Auto): Add name.
+
+2022-09-12 Joffrey Huguet <huguet@adacore.com>
+
+ * doc/gnat_rm/the_gnat_library.rst: Remove paragraphs about SPARK
+ containers.
+ * gnat_rm.texi, gnat_ugn.texi: Regenerate.
+
+2022-09-12 Yannick Moy <moy@adacore.com>
+
+ * libgnat/s-maccod.ads: Mark package as SPARK_Mode Off.
+
+2022-09-12 Eric Botcazou <ebotcazou@adacore.com>
+
+ * fe.h (Unnest_Subprogram_Mode): Declare.
+
+2022-09-12 Steve Baird <baird@adacore.com>
+
+ * contracts.adb
+ (Analyze_Package_Contract): Do not analyze the contract of a
+ temporary package created just to check conformance of an actual
+ package.
+
+2022-09-12 Joffrey Huguet <huguet@adacore.com>
+
+ * Makefile.rtl: Remove SPARK containers filenames.
+ * impunit.adb: Remove SPARK containers packages names.
+ * libgnat/a-cfdlli.adb, libgnat/a-cfdlli.ads: Remove content and
+ add pragma Compile_Time_Error with suitable message.
+ * libgnat/a-cfhama.adb, libgnat/a-cfhama.ads: Likewise.
+ * libgnat/a-cfhase.adb, libgnat/a-cfhase.ads: Likewise.
+ * libgnat/a-cfidll.adb, libgnat/a-cfidll.ads: Likewise.
+ * libgnat/a-cfinse.adb, libgnat/a-cfinse.ads: Likewise.
+ * libgnat/a-cfinve.adb, libgnat/a-cfinve.ads: Likewise.
+ * libgnat/a-cforma.adb, libgnat/a-cforma.ads: Likewise.
+ * libgnat/a-cforse.adb, libgnat/a-cforse.ads: Likewise.
+ * libgnat/a-cofove.adb, libgnat/a-cofove.ads: Likewise.
+ * libgnat/a-cofuma.adb, libgnat/a-cofuma.ads: Likewise.
+ * libgnat/a-cofuse.adb, libgnat/a-cofuse.ads: Likewise.
+ * libgnat/a-cofuve.adb, libgnat/a-cofuve.ads: Likewise.
+ * libgnat/a-cofuba.adb, libgnat/a-cofuba.ads: Remove package.
+
+2022-09-12 Piotr Trojanek <trojanek@adacore.com>
+
+ * exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Old]):
+ Adapt to object declaration being rewritten into object renaming.
+
+2022-09-12 Justin Squirek <squirek@adacore.com>
+
+ * contracts.adb, contracts.ads
+ (Analyze_Pragmas_In_Declarations): Added to aid in the new
+ expansion model so that pragmas relating to contracts can get
+ processed early before the rest of the subprogram containing them.
+ (Build_Subprogram_Contract_Wrapper): Created to do the majority of
+ expansion for postconditions. It builds a local wrapper with the
+ statements and declarations within a given subprogram.
+ (Is_Prologue_Renaming): Moved out from Process_Preconditions to be
+ used generally within the contracts package.
+ (Build_Entry_Contract_Wrapper): Moved from exp_ch7.
+ (Expand_Subprogram_Contract): Add new local variable Decls to
+ store expanded declarations needed for evaluation of contracts.
+ Call new wrapper building procedure and modify comments to match
+ new expansion model.
+ (Get_Postcond_Enabled): Deleted.
+ (Get_Result_Object_For_Postcond): Deleted.
+ (Get_Return_Success_For_Postcond): Deleted.
+ (Process_Contract_Cases): Add new parameter to store declarations.
+ (Process_Postconditions): Add new parameter to store declarations.
+ (Process_Preconditions): Add new parameter to store declarations.
+ Add code to move entry-call prologue renamings
+ * einfo.ads: Document new field Wrapped_Statements and modify
+ comment for Postconditions_Proc.
+ * exp_attr.adb
+ (Analyze_Attribute): Modify expansion of the 'Old attribute to
+ recognize new expansion model and use Wrapped_Statements instead
+ of Postconditions_Proc.
+ * exp_ch6.adb
+ (Add_Return): Remove special expansion for postconditions.
+ (Expand_Call): Modify condition checking for calls to access
+ subprogram wrappers to handle new expansion models.
+ (Expand_Call_Helper): Remove special expansion for postconditions.
+ (Expand_Non_Function_Return): Remove special expansion for
+ postconditions.
+ (Expand_Simple_Function_Return): Remove special expansion for
+ postconditions.
+ * exp_ch7.adb
+ (Build_Finalizer): Deleted, but replaced by code in
+ Build_Finalizer_Helper
+ (Build_Finalizer_Helper): Renamed to Build_Finalizer, and special
+ handling of 'Old objects removed.
+ * exp_ch9.adb
+ (Build_Contract_Wrapper): Renamed and moved to contracts package.
+ * exp_prag.adb
+ (Expand_Pragma_Contract_Cases): Delay analysis of contracts since
+ they now instead get analyzed as part of the wrapper generation
+ instead of after analysis of their corresponding subprogram's
+ body.
+ (Expand_Pragma_Check): Label expanded if-statements which come
+ from the expansion of assertion statements as
+ Comes_From_Check_Or_Contract.
+ * freeze.adb
+ (Freeze_Entity): Add special case to avoid freezing when a freeze
+ node gets generated as part of the expansion of a postcondition
+ check.
+ * gen_il-gen-gen_nodes.adb: Add new flag
+ Comes_From_Check_Or_Contract.
+ * gen_il-fields.ads: Add new field Wrapped_Statements. Add new
+ flag Comes_From_Check_Or_Contract.
+ * gen_il-gen-gen_entities.adb: Add new field Wrapped_Statements.
+ * ghost.adb
+ (Is_OK_Declaration): Replace Name_uPostconditions with
+ Name_uWrapped_Statements.
+ (Is_OK_Statement): Simplify condition due to the loss of
+ Original_Node as a result of the new expansion model of contracts
+ and use new flag Comes_From_Check_Or_Contract in its place.
+ * inline.adb
+ (Declare_Postconditions_Result): Replace Name_uPostconditions with
+ Name_uWrapped_Statements.
+ (Expand_Inlined_Call): Replace Name_uPostconditions with
+ Name_uWrapped_Statements.
+ * lib.adb, lib.ads
+ (ipu): Created to aid in debugging.
+ * lib-xref.adb
+ (Generate_References): Remove special handling for postcondition
+ procedures.
+ * sem_attr.adb
+ (Analyze_Attribute_Old_Result): Add new context in which 'Old can
+ appear due to the changes in expansion. Replace
+ Name_uPostconditions with Name_uWrapped_Statements.
+ (Result): Replace Name_uPostconditions with
+ Name_uWrapped_Statements.
+ * sem_ch11.adb
+ (Analyze_Handled_Statements): Remove check to exclude warnings on
+ useless assignments within postcondition procedures since
+ postconditions no longer get isolated into separate subprograms.
+ * sem_ch6.adb
+ (Analyze_Generic_Subprogram_Body): Modify expansion of generic
+ subprogram bodies so that contracts (and their associated pragmas)
+ get analyzed first.
+ (Analyze_Subprogram_Body_Helper): Remove global HSS variable due
+ to the HSS of the body potentially changing during the expansion
+ of contracts. In cases where it was used instead directly call
+ Handled_Statement_Sequence. Modify expansion of subprogram bodies
+ so that contracts (and their associated pragmas) get analyzed
+ first.
+ (Check_Missing_Return): Create local HSS variable instead of using
+ a global one.
+ (Move_Pragmas): Use new pragma table instead of an explicit list.
+ * sem_elab.adb
+ (Is_Postconditions_Proc): Deleted since the new scheme of
+ expansion no longer divides postcondition checks to a separate
+ subprogram and so cannot be easily identified (similar to
+ pre-condition checks).
+ (Info_Call): Remove info printing for _Postconditions subprograms.
+ (Is_Assertion_Pragma_Target): Remove check for postconditions
+ procedure
+ (Is_Bridge_Target): Remove check for postconditions procedure.
+ (Get_Invocation_Attributes): Remove unneeded local variables and
+ check for postconditions procedure.
+ (Output_Call): Remove info printing for _Postconditions
+ subprograms.
+ * sem_prag.adb, sem_prag.ads: Add new Pragma table for pragmas
+ significant to subprograms, along with tech-debt comment.
+ (Check_Arg_Is_Local_Name): Modified to recognize the new
+ _Wrapped_Statements internal subprogram and the new expansion
+ model.
+ (Relocate_Pragmas_To_Body): Replace Name_uPostconditions with
+ Name_uWrapped_Statements.
+ * sem_res.adb
+ (Resolve_Entry_Call): Add conditional to detect both contract
+ based wrappers of entries, but also wrappers generated as part of
+ general contract expansion (e.g. local postconditions
+ subprograms).
+ * sem_util.adb
+ (Accessibility_Level): Verify 'Access is not taken based on a
+ component of a function result.
+ (Has_Significant_Contracts): Replace Name_uPostconditions with
+ Name_uWrapped_Statements.
+ (Same_Or_Aliased_Subprogram): Add conditional to detect and obtain
+ the original subprogram based on the new concept of
+ "postcondition" wrappers.
+ * sinfo.ads: Add documentation for new flag
+ Comes_From_Check_Or_Contract.
+ * snames.ads-tmpl: Remove Name_uPostconditions and add
+ Name_uWrapped_Statements
+
+2022-09-12 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_unst.adb (Unnest_Subprograms.Search_Subprograms): Skip the
+ subprogram bodies that are not to be unnested.
+
+2022-09-12 Steve Baird <baird@adacore.com>
+
+ * sem_aggr.adb
+ (Resolve_Array_Aggregate): Generate an appropriate error message
+ in the case where an error in the source code leads to an
+ N_Iterated_Element_Association node in a bad context.
+
+2022-09-12 Steve Baird <baird@adacore.com>
+
+ * sem_ch4.adb
+ (Analyze_Selected_Component): Initialize the local variable Comp
+ to avoid having CodePeer generate an uninitialized variable
+ warning.
+
+2022-09-12 Steve Baird <baird@adacore.com>
+
+ * sem_ch4.adb
+ (Analyze_Selected_Component): Avoid initializing the local
+ variable Comp if the variable is not going to be subsequently
+ referenced. This is a correctness issue because the call to
+ First_Entity can fail.
+
+2022-09-12 Steve Baird <baird@adacore.com>
+
+ * sem_ch9.adb
+ (Satisfies_Lock_Free_Requirements): If Ceiling_Locking locking
+ policy has been specified, then either return False (if Lock_Free
+ was not explicitly specified) or generate a warning that ceiling
+ locking will not be implemented for this protected unit (if
+ Lock_Free was explicitly specified). Generate an error message (in
+ addition to returning False) if an explicit Lock_Free aspect
+ specification is rejected because atomic primitives are not
+ supported on the given target.
+ * doc/gnat_rm/implementation_defined_pragmas.rst: Clarify that the
+ Lock_Free aspect for a protected unit takes precedence over the
+ Ceiling_Locking locking policy in the case where both apply.
+ * gnat_rm.texi: Regenerate.
+
+2022-09-12 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch9.adb (Build_Protected_Spec): Tidy up and propagate the
+ Comes_From_Source flag onto the new formal parameters.
+ * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not check
+ references for subprograms generated for protected subprograms.
+
+2022-09-12 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_res.adb
+ (Resolve_Equality_Op): Add handling for equality ops with
+ user-defined literal operands.
+ * sem_util.ads
+ (Is_User_Defined_Literal): Update spec comment to indicate
+ inclusion of named number cases.
+ * sem_util.adb
+ (Corresponding_Primitive_Op): Rather than following the chain of
+ ancestor subprograms via Alias and Overridden_Operation links, we
+ check for matching profiles between primitive subprograms of the
+ descendant type and the ancestor subprogram (by calling a new
+ nested function Profile_Matches_Ancestor). This prevents the
+ compiler from hanging due to circular linkages via those fields
+ that can occur between inherited and overriding subprograms
+ (which might indicate a latent bug, but one that may be rather
+ delicate to resolve).
+ (Profile_Matches_Ancestor): New nested subprogram to compare the
+ profile of a primitive subprogram with the profile of a candidate
+ ancestor subprogram.
+ (Is_User_Defined_Literal): Also return True in cases where the
+ node N denotes a named number (E_Name_Integer and E_Named_Real).
+
+2022-09-12 Steve Baird <baird@adacore.com>
+
+ * debug.adb: remove a comment.
+
+2022-09-12 Bob Duff <duff@adacore.com>
+
+ * checks.adb
+ (Selected_Length_Checks): In the message for an aggregate that has
+ too few or too many elements, add "!!" to make sure the warning
+ gets printed in with'ed units. Note that we have to put "!!"
+ before the "??", because Compile_Time_Constraint_Error detects
+ warnings by comparing the last character of the message with '?'
+ (which is bit dubious, but we're not changing that here).
+ (Length_Mismatch_Info_Message): Use Unat for some things that
+ can't be negative. Specify Decimal instead of Auto in calls to
+ UI_Image.
+ * sem_util.adb
+ (Compile_Time_Constraint_Error): Minor.
+ * uintp.adb
+ (Image_Uint): It's always better to initialize objects on their
+ declaration.
+
+2022-09-12 Patrick Bernardi <bernardi@adacore.com>
+
+ * libgnat/system-vxworks7-x86_64-kernel.ads: Set
+ Support_Atomic_Primitives to false.
+ * libgnat/system-vxworks7-x86_64-rtp-smp.ads: Ditto.
+
+2022-09-12 Patrick Bernardi <bernardi@adacore.com>
+
+ * libgnat/system-qnx-arm.ads: Set Support_Atomic_Primitives to
+ false.
+ * libgnat/system-vxworks7-aarch64.ads: Ditto.
+ * libgnat/system-vxworks7-aarch64-rtp-smp.ads: Ditto.
+ * libgnat/system-vxworks7-arm.ads: Ditto.
+ * libgnat/system-vxworks7-arm-rtp-smp.ads: Ditto.
+ * libgnat/system-vxworks7-x86-kernel.ads: Ditto.
+ * libgnat/system-vxworks7-x86-rtp-smp.ads: Ditto.
+
+2022-09-12 Bob Duff <duff@adacore.com>
+
+ * par-tchk.adb, par-util.adb, prep.adb, prepcomp.adb, scng.adb:
+ Use "in" instead of chains of "=" connected with "or else".
+ Likewise for "not in", "/=", "and then". Misc cleanup.
+ * par-ch10.adb, par-ch12.adb, par-ch13.adb, par-ch4.adb: Likewise.
+ * par-ch8.adb, par-ch9.adb, par-endh.adb, par-sync.adb: Likewise.
+ * par.adb
+ (Pf_Rec): Remove filler, which was added August 25, 1993 to get
+ around a compiler limitation that no longer exists. Minor cleanup.
+ Remove useless qualfications.
+ * par-ch3.adb: Remove redundant return statements.
+ (Component_Scan_Loop): Remove loop name; there are no nested
+ loops, so it's unnecessary and possibly misleading, and it causes
+ too-long lines.
+ * par-ch5.adb: DRY: Remove comments that repeat the comments in
+ par.adb.
+ (P_Sequence_Of_Statements): It is better to initialize things on
+ the declaration. And constants are better than variables.
+ (Test_Statement_Required): Remove unnecessary insertion of a null
+ statement.
+ * par-ch6.adb, par-ch7.adb: DRY: Remove comments that repeat the
+ comments in par.adb.
+
+2022-09-12 Javier Miranda <miranda@adacore.com>
+
+ Revert:
+ 2022-09-06 Javier Miranda <miranda@adacore.com>
+
+ * debug.adb
+ (Debug_Flag_Underscore_X): Switch added temporarily to allow
+ disabling extra formal checks.
+ * exp_attr.adb
+ (Expand_N_Attribute_Reference [access types]): Add extra formals
+ to the subprogram referenced in the prefix of 'Unchecked_Access,
+ 'Unrestricted_Access or 'Access; required to check that its extra
+ formals match the extra formals of the corresponding subprogram
+ type.
+ * exp_ch3.adb
+ (Stream_Operation_OK): Declaration moved to the public part of the
+ package.
+ (Validate_Tagged_Type_Extra_Formals): New subprogram.
+ (Expand_Freeze_Record_Type): Improve the code that takes care of
+ adding the extra formals of dispatching primitives; extended to
+ add also the extra formals to renamings of dispatching primitives.
+ * exp_ch3.ads
+ (Stream_Operation_OK): Declaration moved from the package body.
+ * exp_ch6.adb
+ (Has_BIP_Extra_Formal): Subprogram declaration moved to the public
+ part of the package. In addition, a parameter has been added to
+ disable an assertion that requires its use with frozen entities.
+ (Expand_Call_Helper): Enforce assertion checking extra formals on
+ thunks.
+ (Is_Build_In_Place_Function): Return False for entities with
+ foreign convention.
+ (Make_Build_In_Place_Call_In_Object_Declaration): Occurrences of
+ Is_Return_Object replaced by the local variable
+ Is_OK_Return_Object that evaluates to False for scopes with
+ foreign convention.
+ (Might_Have_Tasks): Fix check of class-wide limited record types.
+ (Needs_BIP_Task_Actuals): Remove assertion to allow calling this
+ function in more contexts; in addition it returns False for
+ functions returning objects with foreign convention.
+ (Needs_BIP_Finalization_Master): Likewise.
+ (Needs_BIP_Alloc_Form): Likewise.
+ * exp_ch6.ads
+ (Stream_Operation_OK): Declaration moved from the package body. In
+ addition, a parameter has been added to disable assertion that
+ requires its use with frozen entities.
+ * freeze.adb
+ (Check_Itype): Add extra formals to anonymous access subprogram
+ itypes.
+ (Freeze_Expression): Improve code that disables the addition of
+ extra formals to functions with foreign convention.
+ (Check_Extra_Formals): Moved to package Sem_Ch6 as
+ Extra_Formals_OK.
+ (Freeze_Subprogram): Add extra formals to non-dispatching
+ subprograms.
+ * sem_ch3.adb
+ (Access_Subprogram_Declaration): Defer the addition of extra
+ formals to the freezing point so that we know the convention.
+ (Check_Anonymous_Access_Component): Likewise.
+ (Derive_Subprogram): Fix documentation.
+ * sem_ch6.adb
+ (Check_Anonymous_Return): Fix check of access to class-wide
+ limited record types.
+ (Check_Untagged_Equality): Placed in alphabetical order.
+ (Extra_Formals_OK): Subprogram moved from freeze.adb.
+ (Extra_Formals_Match_OK): New subprogram.
+ (Has_BIP_Formals): New subprogram.
+ (Has_Extra_Formals): New subprograms.
+ (Needs_Accessibility_Check_Extra): New subprogram.
+ (Needs_Constrained_Extra): New subprogram.
+ (Parent_Subprogram): New subprogram.
+ (Add_Extra_Formal): Minor code cleanup.
+ (Create_Extra_Formals): Enforce matching extra formals on
+ overridden and aliased entities.
+ (Has_Reliable_Extra_Formals): New subprogram.
+ * sem_ch6.ads
+ (Extra_Formals_OK): Subprogram moved from freeze.adb.
+ (Extra_Formals_Match_OK): New subprogram.
+ * sem_eval.adb
+ (Compile_Time_Known_Value): Improve predicate to avoid assertion
+ failure; found working on this ticket; this change does not affect
+ the behavior of the compiler because this subprogram has an
+ exception handler that returns False when the assertion fails.
+ * sem_util.adb
+ (Needs_Result_Accessibility_Level): Do not return False for
+ dispatching operations compiled with Ada_Version < 2012 since they
+ they may be overridden by primitives compiled with Ada_Version >=
+ Ada_2012.
+
2022-09-06 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/decl.cc (gnat_to_gnu_param): Set DECL_ARTIFICIAL.
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index ea6d5eeff3e..3af1a38cec3 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,8 @@
+2022-09-12 Martin Liska <mliska@suse.cz>
+
+ * region-model.cc (region_model::maybe_complain_about_infoleak):
+ Remove unused fields.
+
2022-09-11 Tim Lange <mail@tim-lange.me>
PR analyzer/106845
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 0f374234018..61ad2f8bb7e 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,97 @@
+2022-09-12 Patrick Palka <ppalka@redhat.com>
+
+ * call.cc (build_conditional_expr): Adjust calls to
+ '_sfinae'-suffixed functions.
+ (build_temp): Likewise.
+ (convert_like_internal): Likewise.
+ (convert_arg_to_ellipsis): Likewise.
+ (build_over_call): Likewise.
+ (build_cxx_call): Likewise.
+ (build_new_method_call): Likewise.
+ * constexpr.cc (cxx_eval_outermost_constant_expr): Likewise.
+ (cxx_constant_value_sfinae): Rename to ...
+ (cxx_constant_value): ... this. Document its default arguments.
+ (fold_non_dependent_expr): Adjust function comment.
+ * cp-tree.h (instantiate_non_dependent_expr_sfinae): Rename to ...
+ (instantiate_non_dependent_expr): ... this. Give its 'complain'
+ parameter a default argument.
+ (get_target_expr_sfinae, get_target_expr): Likewise.
+ (require_complete_type_sfinae, require_complete_type): Likewise.
+ (abstract_virtuals_error_sfinae, abstract_virtuals_error):
+ Likewise.
+ (cxx_constant_value_sfinae, cxx_constant_value): Likewise.
+ * cvt.cc (build_up_reference): Adjust calls to '_sfinae'-suffixed
+ functions.
+ (ocp_convert): Likewise.
+ * decl.cc (build_explicit_specifier): Likewise.
+ * except.cc (build_noexcept_spec): Likewise.
+ * init.cc (build_new_1): Likewise.
+ * pt.cc (expand_integer_pack): Likewise.
+ (instantiate_non_dependent_expr_internal): Adjust function
+ comment.
+ (instantiate_non_dependent_expr): Rename to ...
+ (instantiate_non_dependent_expr_sfinae): ... this. Document its
+ default argument.
+ (tsubst_init): Adjust calls to '_sfinae'-suffixed functions.
+ (fold_targs_r): Likewise.
+ * semantics.cc (finish_compound_literal): Likewise.
+ (finish_decltype_type): Likewise.
+ (cp_build_bit_cast): Likewise.
+ * tree.cc (build_cplus_new): Likewise.
+ (get_target_expr): Rename to ...
+ (get_target_expr_sfinae): ... this. Document its default
+ argument.
+ * typeck.cc (require_complete_type): Rename to ...
+ (require_complete_type_sfinae): ... this. Document its default
+ argument.
+ (cp_build_array_ref): Adjust calls to '_sfinae'-suffixed
+ functions.
+ (convert_arguments): Likewise.
+ (cp_build_binary_op): Likewise.
+ (build_static_cast_1): Likewise.
+ (cp_build_modify_expr): Likewise.
+ (convert_for_initialization): Likewise.
+ * typeck2.cc (abstract_virtuals_error): Rename to ...
+ (abstract_virtuals_error_sfinae): ... this. Document its default
+ argument.
+ (build_functional_cast_1): Adjust calls to '_sfinae'-suffixed
+ functions.
+
+2022-09-12 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/101906
+ * pt.cc (tsubst_template_args): Set cp_evaluated here.
+ (tsubst_aggr_type): Not here.
+
+2022-09-12 Jason Merrill <jason@redhat.com>
+
+ PR c++/106893
+ PR c++/90451
+ * decl.cc (cp_finish_decl): Call mark_single_function.
+
+2022-09-12 Jason Merrill <jason@redhat.com>
+
+ PR c++/93259
+ * pt.cc (type_dependent_expression_p): Treat a compound
+ literal of array-of-unknown-bound type like a variable.
+
+2022-09-12 Jason Merrill <jason@redhat.com>
+
+ PR c++/106567
+ * lambda.cc (type_deducible_expression_p): Check
+ array_of_unknown_bound_p.
+
+2022-09-12 Jonathan Wakely <jwakely@redhat.com>
+
+ PR c++/86491
+ * decl2.cc (constrain_class_visibility): Adjust wording of
+ -Wsubobject-linkage for cases where anonymous
+ namespaces aren't used.
+ * tree.cc (decl_anon_ns_mem_p): Now only true for actual anonymous
+ namespace members, rename old semantics to...
+ (decl_internal_context_p): ...this.
+ * cp-tree.h, name-lookup.cc, pt.cc: Adjust.
+
2022-09-08 Jonathan Wakely <jwakely@redhat.com>
PR c++/106838
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 21459ed708e..2dbed4a35a8 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,56 @@
+2022-09-12 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/101906
+ * g++.dg/template/evaluated1.C: New test.
+ * g++.dg/template/evaluated1a.C: New test.
+ * g++.dg/template/evaluated1b.C: New test.
+ * g++.dg/template/evaluated1c.C: New test.
+
+2022-09-12 Jason Merrill <jason@redhat.com>
+
+ PR c++/106893
+ PR c++/90451
+ * g++.dg/cpp1y/auto-fn65.C: New test.
+
+2022-09-12 Jason Merrill <jason@redhat.com>
+
+ PR c++/93259
+ * g++.dg/cpp0x/initlist-array17.C: New test.
+
+2022-09-12 Jason Merrill <jason@redhat.com>
+
+ PR c++/106567
+ * g++.dg/cpp0x/lambda/lambda-array4.C: New test.
+
+2022-09-12 Jonathan Wakely <jwakely@redhat.com>
+
+ PR c++/86491
+ * g++.dg/warn/anonymous-namespace-3.C: Use separate dg-warning
+ directives for C++98 and everything else.
+ * g++.dg/warn/Wsubobject-linkage-5.C: New test.
+
+2022-09-12 Joseph Myers <joseph@codesourcery.com>
+
+ * gcc.dg/atomic/c2x-stdatomic-var-init-1.c: New test.
+
+2022-09-12 Torbjörn SVENSSON <torbjorn.svensson@foss.st.com>
+
+ * g++.dg/gcov/gcov.exp: Respect triplet when looking for gcov.
+ * gcc.misc-tests/gcov.exp: Likewise.
+
+2022-09-12 Joffrey Huguet <huguet@adacore.com>
+
+ * gnat.dg/aspect2.adb: Removed.
+ * gnat.dg/aspect2.ads: Removed.
+ * gnat.dg/config_pragma1.adb: Removed.
+ * gnat.dg/config_pragma1_pkg.ads: Removed.
+ * gnat.dg/equal8.adb: Removed.
+ * gnat.dg/equal8.ads: Removed.
+ * gnat.dg/equal8_pkg.ads: Removed.
+ * gnat.dg/formal_containers.adb: Removed.
+ * gnat.dg/iter1.adb: Removed.
+ * gnat.dg/iter1.ads: Removed.
+
2022-09-11 Tim Lange <mail@tim-lange.me>
PR analyzer/106845
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index ea62dc623ed..3ff9d25d76b 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,28 @@
+2022-09-12 Tobias Burnus <tobias@codesourcery.com>
+
+ * libgomp.texi (Offload-Target Specifics: nvptx): Document
+ that reverse offload requires >= -march=sm_35.
+ * testsuite/libgomp.c-c++-common/requires-4.c: Build for nvptx
+ with -misa=sm_35.
+ * testsuite/libgomp.c-c++-common/requires-5.c: Likewise.
+ * testsuite/libgomp.c-c++-common/requires-6.c: Likewise.
+ * testsuite/libgomp.c-c++-common/reverse-offload-1.c: Likewise.
+ * testsuite/libgomp.fortran/reverse-offload-1.f90: Likewise.
+ * testsuite/libgomp.c/reverse-offload-sm30.c: New test.
+
+2022-09-12 Tobias Burnus <tobias@codesourcery.com>
+
+ * libgomp.texi (OpenMP 5.1 Impl. Status): Add two new minor items.
+ (OpenMP 5.2 Impl. Status): Improve omp/omx/ompx wording.
+
+2022-09-12 Jakub Jelinek <jakub@redhat.com>
+
+ PR libgomp/106894
+ * testsuite/libgomp.c-c++-common/icv-6.c: Include string.h.
+ (main): Avoid tests for which corresponding non-_ALL suffixed variable
+ is in the environment, or for OMP_NUM_TEAMS on the device
+ OMP_NUM_TEAMS_DEV_?.
+
2022-09-10 Iain Sandoe <iain@sandoe.co.uk>
* env.c (initialize_env): Include libiberty environ.h.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 2e15013bd0a..5ee68604bbf 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,32 @@
+2022-09-12 Patrick Palka <ppalka@redhat.com>
+
+ PR libstdc++/106320
+ * testsuite/std/ranges/adaptors/join.cc (test13): New test.
+
+2022-09-12 Jonathan Wakely <jwakely@redhat.com>
+
+ * testsuite/19_diagnostics/error_code/cons/lwg3629.cc: Fix
+ comments.
+ * testsuite/19_diagnostics/error_condition/cons/lwg3629.cc:
+ Likewise.
+
+2022-09-12 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/105329
+ * acinclude.m4 (libtool_VERSION): Change to 6:31:0.
+ * config/abi/pre/gnu.ver (GLIBCXX_3.4.21): Don't export
+ std::basic_string methods with name length of 15.
+ (GLIBCXX_3.4.31): Export std::basic_string::_M_replace_cold.
+ * testsuite/util/testsuite_abi.cc (check_version): Handle
+ GLIBCXX_3.4.31.
+ * include/bits/basic_string.h (std::basic_string::_M_replace_cold):
+ Declare.
+ * include/bits/basic_string.tcc (std::basic_string::_M_replace_cold):
+ Define and export even for C++20.
+ (std::basic_string::_M_replace): Use __builtin_expect, outline
+ the overlapping case to _M_replace_cold.
+ * configure: Regenerated.
+
2022-09-09 Jonathan Wakely <jwakely@redhat.com>
* include/bits/atomic_base.h (__atomic_impl::__compare_exchange):
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-09-13 0:18 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-09-13 0:18 [gcc r13-2635] 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).