[gcc r13-970] Daily bump.

[gcc r13-970] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:b168441c8a6b7cb6b6623694eb9e1cc87a3d51af

commit r13-970-gb168441c8a6b7cb6b6623694eb9e1cc87a3d51af
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Fri Jun 3 00:16:40 2022 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           | 170 +++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       | 302 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/analyzer/ChangeLog  |  38 ++++++
 gcc/c/ChangeLog         |   6 +
 gcc/cp/ChangeLog        |  29 +++++
 gcc/d/ChangeLog         |   5 +
 gcc/fortran/ChangeLog   |   5 +
 gcc/go/ChangeLog        |   5 +
 gcc/objc/ChangeLog      |   6 +
 gcc/testsuite/ChangeLog |  59 ++++++++++
 libatomic/ChangeLog     |   4 +
 libgomp/ChangeLog       |   4 +
 libitm/ChangeLog        |   4 +
 libphobos/ChangeLog     |   4 +
 15 files changed, 642 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6d91cce532b..38ec47543ea 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,173 @@
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* Makefile.in (OBJS): Add tree-diagnostic-client-data-hooks.o and
+	tree-logical-location.o.
+	(OBJS-libcommon): Add diagnostic-format-sarif.o; reorder.
+	(CFLAGS-tree-diagnostic-client-data-hooks.o): Add TARGET_NAME.
+	* common.opt (fdiagnostics-format=): Add sarif-stderr and sarif-file.
+	(sarif-stderr, sarif-file): New enum values.
+	* diagnostic-client-data-hooks.h: New file.
+	* diagnostic-format-sarif.cc: New file.
+	* diagnostic-path.h (enum diagnostic_event::verb): New enum.
+	(enum diagnostic_event::noun): New enum.
+	(enum diagnostic_event::property): New enum.
+	(struct diagnostic_event::meaning): New struct.
+	(diagnostic_event::get_logical_location): New vfunc.
+	(diagnostic_event::get_meaning): New vfunc.
+	(simple_diagnostic_event::get_logical_location): New vfunc impl.
+	(simple_diagnostic_event::get_meaning): New vfunc impl.
+	* diagnostic.cc: Include "diagnostic-client-data-hooks.h".
+	(diagnostic_initialize): Initialize m_client_data_hooks.
+	(diagnostic_finish): Clean up m_client_data_hooks.
+	(diagnostic_event::meaning::dump_to_pp): New.
+	(diagnostic_event::meaning::maybe_get_verb_str): New.
+	(diagnostic_event::meaning::maybe_get_noun_str): New.
+	(diagnostic_event::meaning::maybe_get_property_str): New.
+	(get_cwe_url): Make non-static.
+	(diagnostic_output_format_init): Handle
+	DIAGNOSTICS_OUTPUT_FORMAT_SARIF_STDERR and
+	DIAGNOSTICS_OUTPUT_FORMAT_SARIF_FILE.
+	* diagnostic.h (enum diagnostics_output_format): Add
+	DIAGNOSTICS_OUTPUT_FORMAT_SARIF_STDERR and
+	DIAGNOSTICS_OUTPUT_FORMAT_SARIF_FILE.
+	(class diagnostic_client_data_hooks): New forward decl.
+	(class logical_location): New forward decl.
+	(diagnostic_context::m_client_data_hooks): New field.
+	(diagnostic_output_format_init_sarif_stderr): New decl.
+	(diagnostic_output_format_init_sarif_file): New decl.
+	(get_cwe_url): New decl.
+	* doc/invoke.texi (-fdiagnostics-format=): Add sarif-stderr and
+	sarif-file.
+	* doc/sourcebuild.texi (Scan a particular file): Add
+	scan-sarif-file and scan-sarif-file-not.
+	* langhooks-def.h (lhd_get_sarif_source_language): New decl.
+	(LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): New macro.
+	(LANG_HOOKS_INITIALIZER): Add
+	LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE.
+	* langhooks.cc (lhd_get_sarif_source_language): New.
+	* langhooks.h (lang_hooks::get_sarif_source_language): New field.
+	* logical-location.h: New file.
+	* plugin.cc (struct for_each_plugin_closure): New.
+	(for_each_plugin_cb): New.
+	(for_each_plugin): New.
+	* plugin.h (for_each_plugin): New decl.
+	* tree-diagnostic-client-data-hooks.cc: New file.
+	* tree-diagnostic.cc: Include "diagnostic-client-data-hooks.h".
+	(tree_diagnostics_defaults): Populate m_client_data_hooks.
+	* tree-logical-location.cc: New file.
+	* tree-logical-location.h: New file.
+
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* common.opt (fdiagnostics-format=): Add json-stderr and json-file
+	to description.
+	(DIAGNOSTICS_OUTPUT_FORMAT_JSON): Rename to...
+	(DIAGNOSTICS_OUTPUT_FORMAT_JSON_STDERR): ...this.
+	(diagnostics_output_format): Add json-stderr and json-file.
+	* diagnostic-format-json.cc (json_flush_to_file): New.
+	(json_final_cb): Convert to...
+	(json_flush_to_file): ...this, ...
+	(json_stderr_final_cb): ...this, and...
+	(json_file_final_cb): ...this.
+	(diagnostic_output_format_init): Move to diagnostic.cc.
+	(json_output_base_file_name): New.
+	(diagnostic_output_format_init_json): New.
+	(diagnostic_output_format_init_json_stderr): New.
+	(diagnostic_output_format_init_json_file): New.
+	* diagnostic.cc (diagnostic_output_format_init): Move here from
+	diagnostic-format-json.cc; update for changes to enum.
+	* diagnostic.h (enum diagnostics_output_format): Rename
+	DIAGNOSTICS_OUTPUT_FORMAT_JSON to
+	DIAGNOSTICS_OUTPUT_FORMAT_JSON_STDERR, and add
+	DIAGNOSTICS_OUTPUT_FORMAT_JSON_FILE.
+	(diagnostic_output_format_init): Add base_file_name param.
+	(diagnostic_output_format_init_json_stderr): New decl.
+	(diagnostic_output_format_init_json_file): New dec.
+	* doc/invoke.texi (-fdiagnostics-format=): Add "json-stderr" and
+	"json-file".  Rewrite so that the existing "json" is a synonym of
+	"json-stderr".
+	* gcc.cc (driver_handle_option): Pass dump_base_name to
+	diagnostic_output_format_init.
+	* opts.cc (common_handle_option): Likewise.
+
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* json.cc (string::print): Fix escaping of '\'.
+
+2022-06-02  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* config/riscv/riscv.cc (riscv_build_integer_1): Rewrite value as
+	(-1 << 31) for the single-bit case, when operating on (1 << 31)
+	in SImode.
+	* config/riscv/riscv.h (SINGLE_BIT_MASK_OPERAND): Allow for
+	any single-bit value, moving the special case for (1 << 31) to
+	riscv_build_integer_1 (in riscv.c).
+
+2022-06-02  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR target/105791
+	* config/i386/sse.md (V_128_256):Add V1TI and V2TI.
+	(define_mode_attr avxsizesuffix): Add support for V1TI and V2TI.
+
+2022-06-02  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/105778
+	* config/i386/i386.md (*ashl<dwi>3_doubleword_mask): Remove :SI
+	from AND and its operands and just verify operands[2] has HImode,
+	SImode or for TARGET_64BIT DImode.  Allow operands[3] to be a mask
+	with all low 6 (64-bit) or 5 (32-bit) bits set and in that case
+	just throw away the masking.  Use force_reg before calling
+	gen_lowpart.
+	(*ashl<dwi>3_doubleword_mask_1): Allow operands[3] to be a mask
+	with all low 6 (64-bit) or 5 (32-bit) bits set and in that case
+	just throw away the masking.
+	(*ashl<mode>3_doubleword): Rename to ...
+	(ashl<mode>3_doubleword): ... this.
+	(*ashl<mode>3_mask): Remove :SI from AND and its operands and just
+	verify operands[2] has HImode, SImode or for TARGET_64BIT DImode.
+	Use force_reg before calling gen_lowpart.
+	(*<insn><mode>3_mask): Likewise.
+	(*<insn><dwi>3_doubleword_mask): Likewise.  Allow operands[3] to be
+	a mask with all low 6 (64-bit) or 5 (32-bit) bits set and in that
+	case just throw away the masking.  Use force_reg before calling
+	gen_lowpart.
+	(*<insn><dwi>3_doubleword_mask_1): Allow operands[3] to be a mask
+	with all low 6 (64-bit) or 5 (32-bit) bits set and in that case just
+	throw away the masking.
+	(*<insn><mode>3_doubleword): Rename to ...
+	(<insn><mode>3_doubleword): ... this.
+	(*<insn><mode>3_mask): Remove :SI from AND and its operands and just
+	verify operands[2] has HImode, SImode or for TARGET_64BIT DImode.
+	Use force_reg before calling gen_lowpart.
+	(splitter after it): Remove :SI from AND and its operands and just
+	verify operands[2] has HImode, SImode or for TARGET_64BIT DImode.
+	(*<btsc><mode>_mask, *<btsc><mode>_mask): Remove :SI from AND and its
+	operands and just verify operands[1] has HImode, SImode or for
+	TARGET_64BIT DImode.  Use force_reg before calling gen_lowpart.
+	(*jcc_bt<mode>_mask_1): New define_insn_and_split pattern.
+	* config/i386/i386.cc (ix86_rtx_costs): For ZERO_EXTRACT with
+	ZERO_EXTEND QI->SI in last operand ignore the cost of the ZERO_EXTEND.
+
+2022-06-02  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/101668
+	* tree-vect-slp.cc (vect_build_slp_tree_1): Allow BIT_FIELD_REFs
+	for vector types with compatible lane types.
+	(vect_build_slp_tree_2): Deal with this.
+	(vect_add_slp_permutation): Adjust.  Emit lowpart/concat
+	special cases without VEC_PERM.
+	(vectorizable_slp_permutation): Select the operand vector
+	type and relax requirements.  Handle identity permutes
+	with mismatching operand types.
+	* optabs-query.cc (can_vec_perm_const_p): Only allow variable
+	permutes for op_mode == mode.
+
+2022-06-02  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/105802
+	* tree-ssa-loop-unswitch.cc (find_unswitching_predicates_for_bb):
+	Make sure to also compute the range in the type of the switch index.
+
 2022-06-01  David Seifert  <soap@gentoo.org>
 
 	PR plugins/95648
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 42757d43665..934a3d7ee38 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220602
+20220603
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6cf00b68282..1434ebead05 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,305 @@
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* gcc-interface/misc.cc (gnat_get_sarif_source_language): New.
+	(LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): Redefine.
+
+2022-06-02  Pierre-Marie de Rodat  <derodat@adacore.com>
+
+	* gcc-interface/gigi.h: Update copyright notice.
+	* gcc-interface/lang-specs.h: Likewise.
+	* gcc-interface/utils.cc: Likewise.
+
+2022-06-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/gigi.h (enum standard_datatypes): Remove values
+	for the SJLJ exception mechanism.
+	(jmpbuf_type): Delete.
+	(jmpbuf_ptr_type): Likewise.
+	(get_jmpbuf_decl): Likewise.
+	(set_jmpbuf_decl): Likewise.
+	(get_excptr_decl): Likewise.
+	(not_handled_by_others_decl): Likewise.
+	(setjmp_decl): Likewise.
+	(update_setjmp_buf_decl): Likewise.
+	(raise_nodefer_decl): Likewise.
+	(set_block_jmpbuf_decl): Likewise.
+	(get_block_jmpbuf_decl): Likewise.
+	* gcc-interface/trans.cc (gigi): Delete dead code.
+	* gcc-interface/utils.cc (gnat_binding_level): Remove JMPBUF_DECL.
+	(gnat_pushlevel): Do not clear it.
+	(set_block_jmpbuf_decl): Delete.
+	(get_block_jmpbuf_decl): Likewise.
+
+2022-06-02  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* gcc-interface/decl.cc (warn_on_field_placement): Add insertion
+	character '.q' to warning string.
+
+2022-06-02  Arnaud Charlet  <charlet@adacore.com>
+
+	* gcc-interface/Makefile.in (gnatlib-shared-default): Add
+	-fno-lto.
+
+2022-06-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.cc (gnat_to_gnu_entity): Do not check the
+	scope of anonymous access Itypes.
+	* gcc-interface/trans.cc (Identifier_to_gnu): Do not translate
+	the return type of a subprogram here.
+
+2022-06-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch7.adb (Expand_N_Package_Body): Build static dispatch
+	tables only for units that are not compilation units, unless
+	they are generic instances.  Do not push a scope for this.
+	(Expand_N_Package_Declaration): Build static dispatch tables
+	only for units that are both not compilation units and generic
+	instances.
+	* exp_disp.adb (Build_Static_Dispatch_Tables): Remove redundant
+	early return.  Push a scope for package bodies.
+	* sem_ch10.adb: Add with and use clauses for Exp_Disp.
+	(Analyze_Compilation_Unit): Build static dispatch tables here.
+
+2022-06-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Clear the Is_Public
+	flag on thunks.
+
+2022-06-02  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_ch13.adb, exp_ch5.adb, exp_ch9.adb, exp_strm.adb,
+	sem_ch10.adb, sem_ch13.adb, sem_ch5.adb, sem_ch6.adb,
+	sem_ch8.adb, sem_elab.adb, sem_eval.adb, sem_prag.adb,
+	sem_util.adb: Remove checks for the missing list before
+	iterating with First/Next; reindent code and refill comments.
+
+2022-06-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* einfo.ads (Has_Controlling_Result): Document new usage.
+	(Is_Thunk): Document secondary stack thunks.
+	(Returns_By_Ref): Adjust.
+	* exp_ch6.adb (Caller_Known_Size): Return true for tagged types.
+	(Expand_N_Extended_Return_Statement): Do not call Set_By_Ref.
+	(Expand_Simple_Function_Return): For a BIP return with an Alloc_Form
+	parameter, mark the node as returning on the secondary stack.
+	Replace call to Is_Limited_Interface with Is_Limited_View.  Deal wit
+	secondary stack thunks.  Do not call Set_By_Ref.  Optimize the case
+	of a call to a function whose type also needs finalization.
+	(Needs_BIP_Task_Actuals): Replace Thunk_Entity with Thunk_Target.
+	(Needs_BIP_Finalization_Master): Cosmetic fixes.
+	(Needs_BIP_Alloc_Form): Check No_Secondary_Stack restriction and
+	return true for tagged types.
+	* exp_ch7.adb (Transient Scope Management): Update description.
+	* exp_disp.adb (Expand_Dispatching_Call): Always set Returns_By_Ref
+	on designated type if the call is dispatching on result.  Tidy up.
+	(Expand_Interface_Thunk): Change type of Thunk_Code from Node_Id to
+	List_Id.  Change type of local variables from Node_Id to Entity_Id.
+	Propagate Aliased_Present flag to create the formals and explicitly
+	set Has_Controlling_Result to False.  Build a secondary stack thunk
+	if necessary in the function case.
+	(Expand_Secondary_Stack_Thunk): New function.
+	(Make_Secondary_DT): Build secondary stack thunks if necessary.
+	(Make_DT): Likewise.
+	(Register_Predefined_Primitive): Likewise.
+	(Register_Primitive): Likewise.
+	* exp_util.ads (Is_Secondary_Stack_Thunk): Declare.
+	(Thunk_Target): Likewise.
+	* exp_util.adb (Is_Secondary_Stack_Thunk): New function.
+	(Thunk_Target): Likewise.
+	* fe.h (Is_Secondary_Stack_Thunk): Declare.
+	(Thunk_Target): Likewise.
+	* gen_il-fields.ads (Opt_Field_Enum): Remove By_Ref.
+	* gen_il-gen-gen_nodes.adb (N_Simple_Return_Statement): Likewise.
+	(N_Extended_Return_Statement): Likewise.
+	* sem_ch6.adb (Analyze_Subprogram_Specification): Skip check for
+	abstract return type in the thunk case.
+	(Create_Extra_Formals): Replace Thunk_Entity with Thunk_Target.
+	* sem_disp.adb (Check_Controlling_Formals): Skip in the thunk case.
+	* sem_util.adb: Add use and with clauses for Exp_Ch6.
+	(Compute_Returns_By_Ref): Do not process procedures and only set
+	the flag for direct return by reference.
+	(Needs_Secondary_Stack): Do not return true for specific tagged
+	types and adjust comments accordingly.
+	* sinfo.ads (By_Ref): Delete.
+	(N_Simple_Return_Statement): Remove By_Ref.
+	(N_Extended_Return_Statement): Likewise.
+	* gcc-interface/ada-tree.h (TYPE_RETURN_UNCONSTRAINED_P): Delete.
+	* gcc-interface/decl.cc (gnat_to_gnu_subprog_type): Do not use it.
+	Return by direct reference if the return type needs the secondary
+	stack as well as for secondary stack thunks.
+	* gcc-interface/gigi.h (fntype_same_flags_p): Remove parameter.
+	* gcc-interface/misc.cc (gnat_type_hash_eq): Adjust to above change.
+	* gcc-interface/trans.cc (finalize_nrv): Replace test on
+	TYPE_RETURN_UNCONSTRAINED_P with TYPE_RETURN_BY_DIRECT_REF_P.
+	(Subprogram_Body_to_gnu): Do not call maybe_make_gnu_thunk for
+	secondary stack thunks.
+	(Call_to_gnu): Do not test TYPE_RETURN_UNCONSTRAINED_P.
+	(gnat_to_gnu) <N_Simple_Return_Statement>: In the return by direct
+	reference case, test for the presence of Storage_Pool on the node
+	to build an allocator.
+	(maybe_make_gnu_thunk): Deal with Thunk_Entity and Thunk_Target.
+	* gcc-interface/utils.cc (fntype_same_flags_p): Remove parameter.
+
+2022-06-02  Marc Poulhiès  <poulhies@adacore.com>
+
+	* einfo.ads: Fix reference to Global_Entity_Suppress and
+	Local_Entity_Suppress variable in the comments.
+	* sem.ads: Likewise.
+	* sem_prag.adb: Likewise.
+
+2022-06-02  Claire Dross  <dross@adacore.com>
+
+	* libgnat/s-aridou.adb: Use Always_Return instead of Terminating
+	to annotate termination for GNATprove.
+	* libgnat/s-arit32.adb: Idem.
+	* libgnat/s-spcuop.ads: Idem.
+
+2022-06-02  Julien Bortolussi  <bortolussi@adacore.com>
+
+	* libgnat/a-cofuse.ads, libgnat/a-cofuse.adb,
+	libgnat/a-cofuma.ads, libgnat/a-cofuma.adb: Make Length and
+	Num_Overlaps return Big_Natural.
+	* libgnat/a-cforse.ads, libgnat/a-cforse.adb,
+	libgnat/a-cforma.adb, libgnat/a-cfhase.ads,
+	libgnat/a-cfhase.adb, libgnat/a-cfhama.adb,
+	libgnat/a-cfdlli.adb: Adapt code to handle Big_Integers instead
+	of Count_Type.
+
+2022-06-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Init_Secondary_Tags.Initialize_Tag): Initialize the
+	Offset_Func component by means of 'Unrestricted_Access.
+
+2022-06-02  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* errout.adb (Write_JSON_Span): Add subprogram name to emitted
+	JSON.
+
+2022-06-02  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_ch7.adb (Set_Referencer_Of_Non_Subprograms): New local
+	procedure, used for code refactoring. Also take into account
+	Inline_Always pragma when deciding to make a symbol public for
+	C generation.
+
+2022-06-02  Yannick Moy  <moy@adacore.com>
+
+	* atree.adb (New_Copy): Reset flags related to ghost entities
+	before marking the new node.
+
+2022-06-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch6.adb (Freeze_Subprogram.Register_Predefined_DT_Entry): Move
+	procedure to...
+	* exp_disp.ads (Expand_Interface_Thunk): Move declaration to...
+	(Register_Predefined_Primitive): Declare.
+	* exp_disp.adb (Expand_Interface_Thunk): ...here.
+	(Register_Predefined_Primitive): ...here and change into a function
+	returning List_Id.
+
+2022-06-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Expand_Freeze_Record_Type): Adjust comment.
+	(Expand_N_Object_Declaration): Do not build static dispatch tables.
+	* exp_disp.adb (Make_And_Insert_Dispatch_Table): New procedure.
+	(Build_Static_Dispatch_Tables): Call it to build the dispatch tables
+	and wrap them in the Actions list of a freeze node.
+
+2022-06-02  Doug Rupp  <rupp@adacore.com>
+
+	* libgnat/system-vxworks7-arm.ads (Support_Atomic_Primitives):
+	Set True.
+	* libgnat/system-vxworks7-arm-rtp-smp.ads: Likewise.
+	* libgnat/system-vxworks7-aarch64.ads: Likewise.
+	* libgnat/system-vxworks7-aarch64-rtp-smp.ads: Likewise:
+
+2022-06-02  Javier Miranda  <miranda@adacore.com>
+
+	* libgnat/g-dyntab.ads (Table_Type): Update documentation.
+
+2022-06-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* freeze.adb (Check_Expression_Function.Find_Constant): Make test
+	for deferred constants more robust.
+
+2022-06-02  Joffrey Huguet  <huguet@adacore.com>
+
+	* libgnat/i-cstrin.ads (Update): Update precondition.
+
+2022-06-02  Yannick Moy  <moy@adacore.com>
+
+	* sem_ch2.adb (Analyze_Identifier): Add checking for ghost
+	context.
+	* sem_ch5.adb (Analyze_Implicit_Label_Declaration): Treat
+	implicit labels like other entities by setting their ghost
+	status according to context.
+	* ghost.adb (Check_Ghost_Context): Adapt checking.
+
+2022-06-02  Joffrey Huguet  <huguet@adacore.com>
+
+	* libgnat/i-cstrin.ads (Update): Add precondition.
+
+2022-06-02  Yannick Moy  <moy@adacore.com>
+
+	* sem_ch5.adb (Analyze_Label_Entity): Remove body.
+	* sem_ch5.ads (Analyze_Label_Entity): Remove spec.
+
+2022-06-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_util.adb (Propagate_DIC_Attributes): Add ??? comment.
+	(Propagate_Invariant_Attributes): Likewise.  Propagate the
+	Has_Inheritable_Invariants and Has_Inherited_Invariants to
+	the base type of the target type.
+
+2022-06-02  Doug Rupp  <rupp@adacore.com>
+
+	* libgnat/system-linux-arm.ads (Memory_Size): Compute based on
+	Word_Size.
+
+2022-06-02  Doug Rupp  <rupp@adacore.com>
+
+	* libgnat/system-vxworks7-aarch64-rtp-smp.ads (Word_Size):
+	Compute based on Standard'Word_Size. (Memory_Size): Compute
+	based on Word_Size.
+	* libgnat/system-vxworks7-arm-rtp-smp.ads: Likewise.
+	* libgnat/system-vxworks7-e500-rtp-smp.ads: Likewise.
+	* libgnat/system-vxworks7-e500-rtp.ads: Likewise.
+	* libgnat/system-vxworks7-ppc-rtp-smp.ads: Likewise.
+	* libgnat/system-vxworks7-ppc-rtp.ads: Likewise.
+	* libgnat/system-vxworks7-ppc64-rtp-smp.ads: Likewise.
+	* libgnat/system-vxworks7-x86-rtp-smp.ads: Likewise.
+	* libgnat/system-vxworks7-x86-rtp.ads: Likewise.
+
+2022-06-02  Justin Squirek  <squirek@adacore.com>
+
+	* gnatbind.adb (Gnatbind): Add initialize call for Uintp
+	* gnatls.adb (Gnatls): Likewise.
+	* gprep.adb (Gnatprep): Likewise.
+	* make.adb (Initialize): Likewise.
+
+2022-06-02  Claire Dross  <dross@adacore.com>
+
+	* libgnat/a-cfinve.ads (Element): Change the type of the
+	Position parameter to Extended_Index.
+	* libgnat/a-cfinve.adb (Element): Idem.
+	* libgnat/a-cofove.ads (Element): Idem.
+	* libgnat/a-cofove.adb (Element): Idem.
+
+2022-06-02  Joffrey Huguet  <huguet@adacore.com>
+
+	* libgnat/s-atacco.ads (To_Pointer): Add Global => null.
+	(To_Address): Add SPARK_Mode => Off.
+
+2022-06-02  Joffrey Huguet  <huguet@adacore.com>
+
+	* libgnat/i-cstrin.ads (To_Chars_Ptr): Add SPARK_Mode => Off.
+	(Free): Likewise.
+	(New_Char_Array): Add global contracts and Volatile attribute.
+	(New_String): Likewise.
+	(Value, Strlen, Update): Add global contracts and preconditions.
+	* libgnat/i-cstrin.adb: Add SPARK_Mode => Off to the package
+	body.
+
 2022-06-01  Yannick Moy  <moy@adacore.com>
 
 	* contracts.adb (Check_Type_Or_Object_External_Properties): Check
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 6bceab88207..53b3ffb487b 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,41 @@
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* checker-path.cc (checker_event::get_meaning): New.
+	(function_entry_event::get_meaning): New.
+	(state_change_event::get_desc): Add dump of meaning of the event
+	to the -fanalyzer-verbose-state-changes output.
+	(state_change_event::get_meaning): New.
+	(cfg_edge_event::get_meaning): New.
+	(call_event::get_meaning): New.
+	(return_event::get_meaning): New.
+	(start_consolidated_cfg_edges_event::get_meaning): New.
+	(warning_event::get_meaning): New.
+	* checker-path.h: Include "tree-logical-location.h".
+	(checker_event::checker_event): Construct m_logical_loc.
+	(checker_event::get_logical_location): New.
+	(checker_event::get_meaning): New decl.
+	(checker_event::m_logical_loc): New.
+	(function_entry_event::get_meaning): New decl.
+	(state_change_event::get_meaning): New decl.
+	(cfg_edge_event::get_meaning): New decl.
+	(call_event::get_meaning): New decl.
+	(return_event::get_meaning): New decl.
+	(start_consolidated_cfg_edges_event::get_meaning): New.
+	(warning_event::get_meaning): New decl.
+	* pending-diagnostic.h: Include "diagnostic-path.h".
+	(pending_diagnostic::get_meaning_for_state_change): New vfunc.
+	* sm-file.cc (file_diagnostic::get_meaning_for_state_change): New
+	vfunc impl.
+	* sm-malloc.cc (malloc_diagnostic::get_meaning_for_state_change):
+	Likewise.
+	* sm-sensitive.cc
+	(exposure_through_output_file::get_meaning_for_state_change):
+	Likewise.
+	* sm-taint.cc (taint_diagnostic::get_meaning_for_state_change):
+	Likewise.
+	* varargs.cc
+	(va_list_sm_diagnostic::get_meaning_for_state_change): Likewise.
+
 2022-05-23  David Malcolm  <dmalcolm@redhat.com>
 
 	* call-info.cc: Add "final" and "override" to all vfunc
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 3f1a135f06c..0bc8b8e9f18 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,9 @@
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* c-lang.cc (LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): Redefine.
+	(c_get_sarif_source_language): New.
+	* c-tree.h (c_get_sarif_source_language): New decl.
+
 2022-05-31  Jason Merrill  <jason@redhat.com>
 
 	* Make-lang.in (c.tags): Look at *.cc.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index f66381b6399..5c8cdb86e44 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,32 @@
+2022-06-02  Marek Polacek  <polacek@redhat.com>
+
+	* constexpr.cc (potential_constant_expression_1): Treat
+	{,VEC_}NEW_EXPR and {,VEC_}DELETE_EXPRas potentially constant in C++20.
+
+2022-06-02  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/105803
+	* pt.cc (value_dependent_expression_p): Handle {,VEC_}NEW_EXPR
+	in the switch.
+
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* cp-lang.cc (LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): Redefine.
+	(cp_get_sarif_source_language): New.
+
+2022-06-02  Jason Merrill  <jason@redhat.com>
+
+	PR c++/105795
+	* constexpr.cc (init_subob_ctx): Clear ctx->ctor for empty subob.
+	(cxx_eval_store_expression): Likewise.
+	(cxx_eval_bare_aggregate): Handle null ctx->ctor.
+
+2022-06-02  Jason Merrill  <jason@redhat.com>
+
+	PR c++/105795
+	* constexpr.cc (cxx_eval_bare_aggregate): Always call
+	init_subob_ctx.
+
 2022-06-01  Jason Merrill  <jason@redhat.com>
 
 	PR c++/105734
diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog
index 4ed04674872..99e10898127 100644
--- a/gcc/d/ChangeLog
+++ b/gcc/d/ChangeLog
@@ -1,3 +1,8 @@
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* d-lang.cc (d_get_sarif_source_language): New.
+	(LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): Redefine.
+
 2022-05-31  Jason Merrill  <jason@redhat.com>
 
 	* Make-lang.in (d.tags): Just look at *.cc.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index ec7c48ed45c..d584790d4a8 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* f95-lang.cc (gfc_get_sarif_source_language): New.
+	(LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): Redefine.
+
 2022-05-31  Jason Merrill  <jason@redhat.com>
 
 	* Make-lang.in (fortran.tags): Look at *.cc.
diff --git a/gcc/go/ChangeLog b/gcc/go/ChangeLog
index ee08e1c910d..5fdf423fec7 100644
--- a/gcc/go/ChangeLog
+++ b/gcc/go/ChangeLog
@@ -1,3 +1,8 @@
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* go-lang.cc (go_get_sarif_source_language): New.
+	(LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): Redefine.
+
 2022-05-31  Jason Merrill  <jason@redhat.com>
 
 	* Make-lang.in (go.tags): Look at *.cc.
diff --git a/gcc/objc/ChangeLog b/gcc/objc/ChangeLog
index 815b8655fee..01720f734f9 100644
--- a/gcc/objc/ChangeLog
+++ b/gcc/objc/ChangeLog
@@ -1,3 +1,9 @@
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* objc-act.h (objc_get_sarif_source_language): New decl.
+	* objc-lang.cc (LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): Redefine.
+	(objc_get_sarif_source_language): New.
+
 2022-05-31  Jason Merrill  <jason@redhat.com>
 
 	* Make-lang.in (objc.tags): Look at *.cc.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 62def2a9270..a77a0fe4259 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,62 @@
+2022-06-02  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/105803
+	* g++.dg/template/new13.C: New test.
+
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* c-c++-common/diagnostic-format-sarif-file-1.c: New test.
+	* c-c++-common/diagnostic-format-sarif-file-2.c: New test.
+	* c-c++-common/diagnostic-format-sarif-file-3.c: New test.
+	* c-c++-common/diagnostic-format-sarif-file-4.c: New test.
+	* gcc.dg/analyzer/file-meaning-1.c: New test.
+	* gcc.dg/analyzer/malloc-meaning-1.c: New test.
+	* gcc.dg/analyzer/malloc-sarif-1.c: New test.
+	* gcc.dg/plugin/analyzer_gil_plugin.c
+	(gil_diagnostic::get_meaning_for_state_change): New vfunc impl.
+	* gcc.dg/plugin/diagnostic-test-paths-5.c: New test.
+	* gcc.dg/plugin/plugin.exp (plugin_test_list): Add
+	diagnostic-test-paths-5.c to tests for
+	diagnostic_plugin_test_paths.c.
+	* lib/gcc-dg.exp: Load scansarif.exp.
+	* lib/scansarif.exp: New test.
+
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* c-c++-common/diagnostic-format-json-file-1.c: New test.
+	* c-c++-common/diagnostic-format-json-stderr-1.c: New test.
+
+2022-06-02  Jason Merrill  <jason@redhat.com>
+
+	PR c++/105795
+	* g++.dg/cpp1z/constexpr-aggr-base1.C: New test.
+
+2022-06-02  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR target/105791
+	* gcc.target/i386/pr105791.c: New test case.
+
+2022-06-02  Jakub Jelinek  <jakub@redhat.com>
+
+	PR middle-end/30314
+	* gcc.dg/tree-ssa/pr30314.c: Add tests with swapped arguments.
+
+2022-06-02  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/105778
+	* gcc.target/i386/pr105778.c: New test.
+
+2022-06-02  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/101668
+	* gcc.target/i386/pr101668.c: New testcase.
+	* gcc.dg/vect/bb-slp-pr101668.c: Likewise.
+
+2022-06-02  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/105802
+	* g++.dg/opt/pr105802.C: New testcase.
+
 2022-06-01  H.J. Lu  <hjl.tools@gmail.com>
 
 	PR rtl-optimization/105638
diff --git a/libatomic/ChangeLog b/libatomic/ChangeLog
index 0038339d581..d34b9a1bdbb 100644
--- a/libatomic/ChangeLog
+++ b/libatomic/ChangeLog
@@ -1,3 +1,7 @@
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* testsuite/lib/libatomic.exp: Add load_gcc_lib of scansarif.exp.
+
 2022-03-24  Tom de Vries  <tdevries@suse.de>
 
 	PR target/105011
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 391854642fb..2fbed181c9c 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,7 @@
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* testsuite/lib/libgomp.exp: Add load_gcc_lib of scansarif.exp.
+
 2022-05-31  Jakub Jelinek  <jakub@redhat.com>
 
 	* testsuite/libgomp.c-c++-common/allocate-1.c (foo): Add testcase for
diff --git a/libitm/ChangeLog b/libitm/ChangeLog
index fc9e9a07f5f..d1d9212d81c 100644
--- a/libitm/ChangeLog
+++ b/libitm/ChangeLog
@@ -1,3 +1,7 @@
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* testsuite/lib/libitm.exp: Add load_gcc_lib of scansarif.exp.
+
 2022-02-03  David Seifert  <soap@gentoo.org>
 	    Jakub Jelinek  <jakub@redhat.com>
 
diff --git a/libphobos/ChangeLog b/libphobos/ChangeLog
index 6df8af4668a..734532779c4 100644
--- a/libphobos/ChangeLog
+++ b/libphobos/ChangeLog
@@ -1,3 +1,7 @@
+2022-06-02  David Malcolm  <dmalcolm@redhat.com>
+
+	* testsuite/lib/libphobos-dg.exp: Add load_gcc_lib of scansarif.exp.
+
 2022-05-27  Iain Buclaw  <ibuclaw@gdcproject.org>
 
 	* libdruntime/MERGE: Merge upstream druntime f89da313.