Daily bump.

12 files changed, 556 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index fb6deba..db14388 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,112 @@
+2022-05-16  Jason Merrill  <jason@redhat.com>
+
+	PR c/105492
+	* attribs.cc (decl_attributes): Fix broken typedefs here.
+
+2022-05-16  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/105103
+	* Makefile.in (ANALYZER_OBJS): Add analyzer/varargs.o.
+	* doc/invoke.texi: Add -Wanalyzer-va-arg-type-mismatch,
+	-Wanalyzer-va-list-exhausted, -Wanalyzer-va-list-leak, and
+	-Wanalyzer-va-list-use-after-va-end.
+
+2022-05-16  Richard Biener  <rguenther@suse.de>
+
+	* gimple-match.h (gimple_build): Move code_helper overloads ...
+	* gimple-fold.h (gimple_build): ... here.
+	(gimple_build): Transition to new worker API.  Provide
+	overloads from sequence-based API.
+	(gimple_convert): Likewise.
+	(gimple_convert_to_ptrofftype): Likewise.
+	(gimple_build_vector_from_val): Likewise.
+	(gimple_build_vector): Likewise.
+	(gimple_build_round_up): Likewise.
+	* gimple-fold.cc (gimple_build_insert_seq): New helper.
+	(gimple_build): Use it.  Transition combined_fn and code_helper
+	API parts.
+	(gimple_convert): Transition to new worker API.
+	(gimple_convert_to_ptrofftype): Likewise.
+	(gimple_build_vector_from_val): Likewise.
+	(gimple_build_vector): Likewise.
+	(gimple_build_round_up): Likewise.
+
+2022-05-16  Richard Biener  <rguenther@suse.de>
+
+	* gimple-match.h (code_helper): Move class ...
+	* tree.h (code_helper): ... here.
+
+2022-05-16  Martin Liska  <mliska@suse.cz>
+
+	* opts-global.cc (write_langs): Add comment.
+
+2022-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* dwarf2out.cc (loc_list_from_tree_1) <TRUTH_NOT_EXPR>: Do a logical
+	instead of a bitwise negation.
+	<COND_EXPR>: Swap the operands if the condition is TRUTH_NOT_EXPR.
+
+2022-05-16  Martin Liska  <mliska@suse.cz>
+
+	* attribs.cc (diag_attr_exclusions): Use ARRAY_SIZE.
+	(decls_mismatched_attributes): Likewise.
+	* builtins.cc (c_strlen): Likewise.
+	* cfg.cc (DEF_BASIC_BLOCK_FLAG): Likewise.
+	* common/config/aarch64/aarch64-common.cc (aarch64_option_init_struct): Likewise.
+	* config/aarch64/aarch64-builtins.cc (aarch64_lookup_simd_builtin_type): Likewise.
+	(aarch64_init_simd_builtin_types): Likewise.
+	(aarch64_init_builtin_rsqrt): Likewise.
+	* config/aarch64/aarch64.cc (is_madd_op): Likewise.
+	* config/arm/arm-builtins.cc (arm_lookup_simd_builtin_type): Likewise.
+	(arm_init_simd_builtin_types): Likewise.
+	* config/avr/gen-avr-mmcu-texi.cc (mcus[ARRAY_SIZE): Likewise.
+	(c_prefix): Likewise.
+	(main): Likewise.
+	* config/c6x/c6x.cc (N_SAVE_ORDER): Likewise.
+	* config/darwin-c.cc (darwin_register_frameworks): Likewise.
+	* config/gcn/mkoffload.cc (process_obj): Likewise.
+	* config/i386/i386-builtins.cc (get_builtin_code_for_version): Likewise.
+	(fold_builtin_cpu): Likewise.
+	* config/m32c/m32c.cc (PUSHM_N): Likewise.
+	* config/nvptx/mkoffload.cc (process): Likewise.
+	* config/rs6000/driver-rs6000.cc (host_detect_local_cpu): Likewise.
+	* config/s390/s390.cc (NR_C_MODES): Likewise.
+	* config/tilepro/gen-mul-tables.cc (find_sequences): Likewise.
+	(create_insn_code_compression_table): Likewise.
+	* config/vms/vms.cc (NBR_CRTL_NAMES): Likewise.
+	* diagnostic-format-json.cc (json_from_expanded_location): Likewise.
+	* dwarf2out.cc (ARRAY_SIZE): Likewise.
+	* genhooks.cc (emit_documentation): Likewise.
+	(emit_init_macros): Likewise.
+	* gimple-ssa-sprintf.cc (format_floating): Likewise.
+	* gimple-ssa-warn-access.cc (memmodel_name): Likewise.
+	* godump.cc (keyword_hash_init): Likewise.
+	* hash-table.cc (hash_table_higher_prime_index): Likewise.
+	* input.cc (for_each_line_table_case): Likewise.
+	* ipa-free-lang-data.cc (free_lang_data): Likewise.
+	* ipa-inline.cc (sanitize_attrs_match_for_inline_p): Likewise.
+	* optc-save-gen.awk: Likewise.
+	* spellcheck.cc (test_metric_conditions): Likewise.
+	* tree-vect-slp-patterns.cc (sizeof): Likewise.
+	(ARRAY_SIZE): Likewise.
+	* tree.cc (build_common_tree_nodes): Likewise.
+
+2022-05-16  Martin Liska  <mliska@suse.cz>
+
+	* opts-global.cc (write_langs): Allocate at least one byte.
+
+2022-05-16  Richard Biener  <rguenther@suse.de>
+
+	* match.pd (A cmp B ? A : B -> min/max): New patterns
+	carried over from fold_cond_expr_with_comparison.
+
+2022-05-16  liuhongt  <hongtao.liu@intel.com>
+
+	PR target/105587
+	* config/i386/i386-expand.cc
+	(expand_vec_perm_pslldq_psrldq_por): Fail when (d->perm[i] ==
+	d->perm[i-1] + 1) && d->perm[i] == nelt && start != -1.
+
 2022-05-15  Uroš Bizjak  <ubizjak@gmail.com>
 
 	* config/i386/i386.md: Remove constraints when used with
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 634dc22..260f749 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220516
+20220517
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index d09eeb9..67676b8 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,267 @@
+2022-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch7.adb (Inspect_Untagged_Record_Completion): Also move the
+	equality operator on the homonym chain if there is another equality
+	operator in the private part.
+
+2022-05-16  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_attr.adb (Expand_Loop_Entry_Attribute): Disable value
+	propagation when analysing the constant that holds the
+	Loop_Entry prefix value.
+
+2022-05-16  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_attr.adb (Address_Checks): Remove call to
+	Kill_Current_Values for subprogram entities, because this
+	routine only does something for object entities.
+
+2022-05-16  Justin Squirek  <squirek@adacore.com>
+
+	* exp_ch7.adb (Build_Finalizer): Disable late evaluation of
+	postconditions for functions returning types which where
+	Has_Unconstrained_Elements is true or are unconstrained arrays.
+
+2022-05-16  Etienne Servais  <servais@adacore.com>
+
+	* exp_ch4.adb (Expand_N_Qualified_Expression): Freeze
+	Target_Type.
+
+2022-05-16  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/s-aridou.adb (Double_Divide): Add intermediate
+	assertions.
+
+2022-05-16  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* lib-writ.adb (Output_CUDA_Symbols): Check for null packages.
+
+2022-05-16  Joel Brobecker  <brobecker@adacore.com>
+
+	* libgnat/g-debpoo.ads: Improve documentation of the
+	Stack_Trace_Depth parameter.
+
+2022-05-16  Joel Brobecker  <brobecker@adacore.com>
+
+	* init.c (__gnat_install_handler) [__QNX__]: Save sigaction's
+	return value in err before checking err's value.  Fix incorrect
+	signal names in perror messages.
+
+2022-05-16  Joel Brobecker  <brobecker@adacore.com>
+
+	* init.c (__gnat_install_handler) [__QNX__]: Set
+	act.sa_sigaction rather than act.sa_handler.
+
+2022-05-16  Joel Brobecker  <brobecker@adacore.com>
+
+	* cstreams.c: Add <stdlib.h> #include.
+
+2022-05-16  Joel Brobecker  <brobecker@adacore.com>
+
+	* terminals.c: Remove bzero #define on HP/UX or Solaris
+	platforms.
+	(child_setup_tty): Replace bzero call by equivalent call to
+	memset.
+
+2022-05-16  Gary Dismukes  <dismukes@adacore.com>
+
+	* sem_util.ads (Storage_Model_Support): Revise comments on most
+	operations within this nested package to reflect that they can
+	now be passed either a type that has aspect Storage_Model_Type
+	or an object of such a type.  Change the names of the relevant
+	formals to SM_Obj_Or_Type. Also, add more precise semantic
+	descriptions in some cases, and declare the subprograms in a
+	more logical order.
+	* sem_util.adb (Storage_Model_Support.Storage_Model_Object): Add
+	an assertion that the type must specify aspect
+	Designated_Storage_Model, rather than returning Empty when it
+	doesn't specify that aspect.
+	(Storage_Model_Support.Storage_Model_Type): Add an assertion
+	that formal must be an object whose type specifies aspect
+	Storage_Model_Type, rather than returning Empty for when it
+	doesn't have such a type (and test Has_Storage_Model_Type_Aspect
+	rather than Find_Value_Of_Aspect).
+	(Storage_Model_Support.Get_Storage_Model_Type_Entity): Allow
+	both objects and types, and add an assertion that the type (or
+	the type of the object) has a value for aspect
+	Storage_Model_Type.
+
+2022-05-16  Etienne Servais  <servais@adacore.com>
+
+	* checks.adb (Apply_Arithmetic_Overflow_Minimized_Eliminated):
+	Fix condition to return.
+
+2022-05-16  Yannick Moy  <moy@adacore.com>
+
+	* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Update comment.
+
+2022-05-16  Marc Poulhiès  <poulhies@adacore.com>
+
+	* sem_aggr.adb (Resolve_Iterated_Association): Create scope
+	around N_Iterated_Element_Association handling. Analyze a copy
+	of the Loop_Parameter_Specification. Call Analyze instead
+	Analyze_* to be more homogeneous.
+	(Sem_Ch5): Remove now unused package.
+
+2022-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_util.adb (Insert_Actions) <N_Iterated_Component_Association>:
+	Climb up out of the node if the actions come from Discrete_Choices.
+
+2022-05-16  Javier Miranda  <miranda@adacore.com>
+
+	* sem_disp.adb (Check_Dispatching_Context): When checking to see
+	whether an expression occurs in a class-wide pre/post-condition,
+	also check for the possibility that it occurs in a class-wide
+	preconditions subprogram that was introduced as part of
+	expansion. Without this fix, some legal calls occuring in
+	class-wide preconditions may be incorrectly flagged as violating
+	the "a call to an abstract subprogram must be dispatching" rule.
+
+2022-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* inline.adb (Cleanup_Scopes): Test the underlying type.
+
+2022-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_util.ads (Is_Entity_Of_Quantified_Expression): Declare.
+	* sem_util.adb (Is_Entity_Of_Quantified_Expression): New
+	predicate.
+	(New_Copy_Tree): Deal with all entities of quantified
+	expressions.
+	* sem_ch13.adb (Build_Predicate_Functions): Get rid of
+	superfluous tree copying and remove obsolete code.
+	* sem_ch6.adb (Fully_Conformant_Expressions): Deal with all
+	entities of quantified expressions.
+
+2022-05-16  Steve Baird  <baird@adacore.com>
+
+	* exp_ch7.adb (Build_Finalize_Statements): Add Last_POC_Call
+	variable to keep track of the last "early finalization" call
+	generated for type extension's finalization procedure. If
+	non-empty, then this will indicate the point at which to insert
+	the call to the parent type's finalization procedure. Modify
+	nested function Process_Component_List_For_Finalize to set this
+	variable (and avoid setting it during a recursive call).  If
+	Last_POC_Call is empty, then insert the parent finalization call
+	before, rather than after, the finalization code for the
+	extension components.
+
+2022-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* einfo-utils.adb (Remove_Entity): Fix couple of oversights.
+	* exp_ch3.adb (Is_User_Defined_Equality): Delete.
+	(User_Defined_Eq): Call Get_User_Defined_Equality.
+	(Make_Eq_Body): Likewise.
+	(Predefined_Primitive_Eq_Body): Call Is_User_Defined_Equality.
+	* exp_ch4.adb (Build_Eq_Call): Call Get_User_Defined_Equality.
+	(Is_Equality): Delete.
+	(User_Defined_Primitive_Equality_Op): Likewise.
+	(Find_Aliased_Equality): Call Is_User_Defined_Equality.
+	(Expand_N_Op_Eq): Call Underlying_Type unconditionally.
+	Do not implement AI12-0101 + AI05-0123 here.
+	(Expand_Set_Membership): Call Resolve_Membership_Equality.
+	* exp_ch6.adb (Expand_Call_Helper): Remove obsolete code.
+	* sem_aux.ads (Is_Record_Or_Limited_Type): Delete.
+	* sem_aux.adb (Is_Record_Or_Limited_Type): Likewise.
+	* sem_ch4.ads (Nondispatching_Call_To_Abstract_Operation): Declare.
+	* sem_ch4.adb (Analyze_Call): Call Call_Abstract_Operation.
+	(Analyze_Membership_Op): Call Resolve_Membership_Equality.
+	(Nondispatching_Call_To_Abstract_Operation): New procedure.
+	(Remove_Abstract_Operations): Call it.
+	* sem_ch6.adb (Check_Untagged_Equality): Remove obsolete error and
+	call Is_User_Defined_Equality.
+	* sem_ch7.adb (Inspect_Untagged_Record_Completion): New procedure
+	implementing AI12-0101 + AI05-0123.
+	(Analyze_Package_Specification): Call it.
+	(Declare_Inherited_Private_Subprograms): Minor tweak.
+	(Uninstall_Declarations): Likewise.
+	* sem_disp.adb (Check_Direct_Call): Adjust to new implementation
+	of Is_User_Defined_Equality.
+	* sem_res.ads (Resolve_Membership_Equality): Declare.
+	* sem_res.adb (Resolve): Replace direct error handling with call to
+	Nondispatching_Call_To_Abstract_Operation
+	(Resolve_Call): Likewise.
+	(Resolve_Equality_Op): Likewise.  mplement AI12-0413.
+	(Resolve_Membership_Equality): New procedure.
+	(Resolve_Membership_Op): Call Get_User_Defined_Equality.
+	* sem_util.ads (Get_User_Defined_Eq): Rename into...
+	(Get_User_Defined_Equality): ...this.
+	* sem_util.adb (Get_User_Defined_Eq): Rename into...
+	(Get_User_Defined_Equality): ...this. Call Is_User_Defined_Equality.
+	(Is_User_Defined_Equality): Also check the profile but remove tests
+	on Comes_From_Source and Parent.
+	* sinfo.ads (Generic_Parent_Type): Adjust field description.
+	* uintp.ads (Ubool): Invoke user-defined equality in predicate.
+
+2022-05-16  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_ch3.adb (User_Defined_Eq): Replace duplicated code with a
+	call to Get_User_Defined_Eq.
+
+2022-05-16  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_ch3.adb (Build_Untagged_Equality): Exit early when the
+	outcome of a loop is already known.
+
+2022-05-16  Olivier Hainque  <hainque@adacore.com>
+
+	* Makefile.rtl: Add aarch64 to the list of CPUs for which
+	GNATLIB_SHARED maps to gnatlib-shared-dual for vxworks7r2.
+
+2022-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch4.adb (Analyze_Negation): Minor tweak.
+	(Analyze_Unary_Op): Likewise.
+
+2022-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Build_Assignment): Adjust to the new definition of
+	Incomplete_View field.
+	* sem_ch10.ads (Decorate_Type): Declare.
+	* sem_ch10.adb (Decorate_Type): Move to library level.
+	(Install_Limited_With_Clause): In the already analyzed case, also
+	deal with incomplete type declarations present in the sources and
+	simplify the replacement code.
+	(Build_Shadow_Entity): Deal with swapped views in package body.
+	(Restore_Chain_For_Shadow): Deal with incomplete type declarations
+	present in the sources.
+	* sem_ch3.adb (Analyze_Full_Type_Declaration): Adjust to the new
+	definition of Incomplete_View field.
+	(Build_Incomplete_Type_Declaration): Small consistency tweak.
+	Set the incomplete type as the Incomplete_View of the full type.
+	If the scope is a package with a limited view, build a shadow
+	entity for the incomplete type.
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): When replacing
+	the limited view of a CW type as designated type of an anonymous
+	access return type, get to the CW type of the incomplete view of
+	the tagged type, if any.
+	(Collect_Primitive_Operations): Adjust to the new definition of
+	Incomplete_View field.
+	* sinfo.ads (Incomplete_View): Denote the entity itself instead
+	of its declaration.
+	* sem_util.adb: Remove call to Defining_Entity.
+
+2022-05-16  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.adb (Type_Or_Variable_Has_Enabled_Property): Given a
+	subtype recurse into its base type.
+
+2022-05-16  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.adb (Type_Or_Variable_Has_Enabled_Property): Clarify.
+
+2022-05-16  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.adb (Is_Enabled): Remove; use Is_Enabled_Pragma
+	instead.
+
+2022-05-16  Martin Liska  <mliska@suse.cz>
+
+	* locales.c (iso_639_1_to_639_3): Use ARRAY_SIZE.
+	(language_name_to_639_3): Likewise.
+	(country_name_to_3166): Likewise.
+
 2022-05-13  Alexandre Oliva  <oliva@adacore.com>
 
 	* gcc-interface/decl.cc (is_cplusplus_method): Build proper
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 5a9551b..e4f67fe 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,83 @@
+2022-05-16  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/105103
+	* analyzer.cc (make_label_text_n): New.
+	* analyzer.h (class var_arg_region): New forward decl.
+	(make_label_text_n): New decl.
+	* analyzer.opt (Wanalyzer-va-arg-type-mismatch): New option.
+	(Wanalyzer-va-list-exhausted): New option.
+	(Wanalyzer-va-list-leak): New option.
+	(Wanalyzer-va-list-use-after-va-end): New option.
+	* checker-path.cc (call_event::get_desc): Split out decl access
+	into..
+	(call_event::get_caller_fndecl): ...this new function and...
+	(call_event::get_callee_fndecl): ...this new function.
+	* checker-path.h (call_event::get_desc): Drop "FINAL".
+	(call_event::get_caller_fndecl): New decl.
+	(call_event::get_callee_fndecl): New decl.
+	(class call_event): Make fields protected.
+	* diagnostic-manager.cc (null_assignment_sm_context::warn): New
+	overload.
+	(null_assignment_sm_context::get_new_program_state): New.
+	(diagnostic_manager::add_events_for_superedge): Move case
+	SUPEREDGE_CALL to a new pending_diagnostic::add_call_event vfunc.
+	* engine.cc (impl_sm_context::warn): Implement new override.
+	(impl_sm_context::get_new_program_state): New.
+	* pending-diagnostic.cc: Include "analyzer/diagnostic-manager.h",
+	"cpplib.h", "digraph.h", "ordered-hash-map.h", "cfg.h",
+	"basic-block.h", "gimple.h", "gimple-iterator.h", "cgraph.h"
+	"analyzer/supergraph.h", "analyzer/program-state.h",
+	"alloc-pool.h", "fibonacci_heap.h", "shortest-paths.h",
+	"sbitmap.h", "analyzer/exploded-graph.h", "diagnostic-path.h",
+	and "analyzer/checker-path.h".
+	(ht_ident_eq): New.
+	(fixup_location_in_macro_p): New.
+	(pending_diagnostic::fixup_location): New.
+	(pending_diagnostic::add_call_event): New.
+	* pending-diagnostic.h (pending_diagnostic::fixup_location): Drop
+	no-op inline implementation in favor of the more complex
+	implementation above.
+	(pending_diagnostic::add_call_event): New vfunc.
+	* region-model-impl-calls.cc: Include "analyzer/sm.h",
+	"diagnostic-path.h", and "analyzer/pending-diagnostic.h".
+	* region-model-manager.cc
+	(region_model_manager::get_var_arg_region): New.
+	(region_model_manager::log_stats): Log m_var_arg_regions.
+	* region-model.cc (region_model::on_call_pre): Handle IFN_VA_ARG,
+	BUILT_IN_VA_START, and BUILT_IN_VA_COPY.
+	(region_model::on_call_post): Handle BUILT_IN_VA_END.
+	(region_model::get_representative_path_var_1): Handle RK_VAR_ARG.
+	(region_model::push_frame): Push variadic arguments.
+	* region-model.h (region_model_manager::get_var_arg_region): New
+	decl.
+	(region_model_manager::m_var_arg_regions): New field.
+	(region_model::impl_call_va_start): New decl.
+	(region_model::impl_call_va_copy): New decl.
+	(region_model::impl_call_va_arg): New decl.
+	(region_model::impl_call_va_end): New decl.
+	* region.cc (alloca_region::dump_to_pp): Dump the id.
+	(var_arg_region::dump_to_pp): New.
+	(var_arg_region::get_frame_region): New.
+	* region.h (enum region_kind): Add RK_VAR_ARG.
+	(region::dyn_cast_var_arg_region): New.
+	(class var_arg_region): New.
+	(is_a_helper <const var_arg_region *>::test): New.
+	(struct default_hash_traits<var_arg_region::key_t>): New.
+	* sm.cc (make_checkers): Call make_va_list_state_machine.
+	* sm.h (sm_context::warn): New vfunc.
+	(sm_context::get_old_svalue): Drop unused decl.
+	(sm_context::get_new_program_state): New vfunc.
+	(make_va_list_state_machine): New decl.
+	* varargs.cc: New file.
+
+2022-05-16  Martin Liska  <mliska@suse.cz>
+
+	* engine.cc (exploded_node::get_dot_fillcolor): Use ARRAY_SIZE.
+	* function-set.cc (test_stdio_example): Likewise.
+	* sm-file.cc (get_file_using_fns): Likewise.
+	* sm-malloc.cc (malloc_state_machine::unaffected_by_call_p): Likewise.
+	* sm-signal.cc (get_async_signal_unsafe_fns): Likewise.
+
 2022-05-13  Richard Biener  <rguenther@suse.de>
 
 	* supergraph.cc: Re-order gimple-fold.h include.
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 0d2b277..1f825cf 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,21 @@
+2022-05-16  Jason Merrill  <jason@redhat.com>
+
+	PR c/105492
+	* c-attribs.cc (handle_mode_attribute): Don't fix broken typedefs
+	here.
+
+2022-05-16  Martin Liska  <mliska@suse.cz>
+
+	* c-common.cc (ARRAY_SIZE): Use ARRAY_SIZE.
+	(c_common_nodes_and_builtins): Likewise.
+	* c-format.cc (check_tokens): Likewise.
+	(check_plain): Likewise.
+	* c-pragma.cc (c_pp_lookup_pragma): Likewise.
+	(init_pragma): Likewise.
+	* known-headers.cc (get_string_macro_hint): Likewise.
+	(get_stdlib_header_for_name): Likewise.
+	* c-attribs.cc: Likewise.
+
 2022-05-13  Richard Biener  <rguenther@suse.de>
 
 	* c-omp.cc: Remove gimple-fold.h include.
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 6db1152d..30c3858 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,7 @@
+2022-05-16  Martin Liska  <mliska@suse.cz>
+
+	* c-decl.cc (match_builtin_function_types): Use ARRAY_SIZE.
+
 2022-05-12  Jakub Jelinek  <jakub@redhat.com>
 
 	* c-parser.cc (c_parse_init): Register omp_all_memory as keyword
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index cf79e0c..9b11d50 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,14 @@
+2022-05-16  Martin Liska  <mliska@suse.cz>
+
+	* module.cc (depset::entity_kind_name): Use ARRAY_SIZE.
+	* name-lookup.cc (get_std_name_hint): Likewise.
+	* parser.cc (cp_parser_new): Likewise.
+
+2022-05-16  Marcel Vollweiler  <marcel@codesourcery.com>
+
+	* pt.cc (tsubst_omp_clauses): Added OMP_CLAUSE_HAS_DEVICE_ADDR.
+	* semantics.cc (finish_omp_clauses): Added template decl processing.
+
 2022-05-15  Jason Merrill  <jason@redhat.com>
 
 	PR c++/100502
diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog
index 546f21c..d3ac0bc 100644
--- a/gcc/d/ChangeLog
+++ b/gcc/d/ChangeLog
@@ -1,3 +1,28 @@
+2022-05-16  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+	* dmd/MERGE: Merge upstream dmd 60bfa0ee7.
+	* dmd/VERSION: Update version to v2.100.0.
+	* d-builtins.cc (d_init_versions): Update for new front-end interface.
+	* d-codegen.cc (d_decl_context): Use resolvedLinkage to get
+	declaration linkage.
+	(build_struct_literal): Track offset in bits.
+	* d-gimplify.cc (d_gimplify_modify_expr): Check both operands for a
+	bit-field reference.
+	* d-lang.cc (d_handle_option): Handle -fpreview=bitfields, remove
+	-frevert=markdown and -ftransition=vmarkdown.
+	(d_post_options): Set flag_rtti and flag_exceptions if -fno-druntime
+	was seen on command-line.
+	(d_parse_file): Update for new front-end interface.
+	(d_type_promotes_to): Use resolvedLinkage to get declaration linkage.
+	* decl.cc (make_thunk): Likewise.
+	* expr.cc (ExprVisitor::visit (CatAssignExp *)): Remove lowering for
+	appending of an element or array to another array.
+	* lang.opt (fpreview=bitfields): New option.
+	(frevert=markdown): Remove.
+	(ftransition=vmarkdown): Remove.
+	* types.cc (layout_aggregate_members): Ignore anonymous fields in
+	total count.
+
 2022-04-28  Iain Buclaw  <ibuclaw@gdcproject.org>
 
 	* dmd/MERGE: Merge upstream dmd 313d28b3d.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index b4f2ff8..09c741e 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,10 @@
+2022-05-16  Martin Liska  <mliska@suse.cz>
+
+	* frontend-passes.cc (gfc_code_walker): Use ARRAY_SIZE.
+	* openmp.cc (gfc_match_omp_context_selector_specification): Likewise.
+	* trans-intrinsic.cc (conv_intrinsic_ieee_builtin): Likewise.
+	* trans-types.cc (gfc_get_array_descr_info): Likewise.
+
 2022-05-13  Tobias Burnus  <tobias@codesourcery.com>
 
 	* trans-openmp.cc (gfc_trans_omp_clauses): When mapping nondescriptor
diff --git a/gcc/jit/ChangeLog b/gcc/jit/ChangeLog
index faab3a7..341766b 100644
--- a/gcc/jit/ChangeLog
+++ b/gcc/jit/ChangeLog
@@ -1,3 +1,9 @@
+2022-05-16  Martin Liska  <mliska@suse.cz>
+
+	* jit-builtins.cc (find_builtin_by_name): Use ARRAY_SIZE.
+	(get_string_for_type_id): Likewise.
+	* jit-recording.cc (recording::context::context): Likewise.
+
 2022-04-14  Iain Sandoe  <iain@sandoe.co.uk>
 
 	* jit-playback.cc (new_bitcast): Cast values returned by tree_to_uhwi
diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog
index b815c9b..31c3bc2 100644
--- a/gcc/lto/ChangeLog
+++ b/gcc/lto/ChangeLog
@@ -1,3 +1,8 @@
+2022-05-16  Martin Liska  <mliska@suse.cz>
+
+	* lto-common.cc (lto_resolution_read): Use ARRAY_SIZE.
+	* lto-lang.cc (lto_init): Likewise.
+
 2022-03-23  Tobias Burnus  <tobias@codesourcery.com>
 
 	PR middle-end/104285
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b643e0b..3d963eb 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,29 @@
+2022-05-16  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/105103
+	* gcc.dg/analyzer/stdarg-1.c: New test.
+	* gcc.dg/analyzer/stdarg-2.c: New test.
+	* gcc.dg/analyzer/stdarg-fmtstring-1.c: New test.
+	* gcc.dg/analyzer/stdarg-lto-1-a.c: New test.
+	* gcc.dg/analyzer/stdarg-lto-1-b.c: New test.
+	* gcc.dg/analyzer/stdarg-lto-1.h: New test.
+	* gcc.dg/analyzer/stdarg-sentinel-1.c: New test.
+	* gcc.dg/analyzer/stdarg-types-1.c: New test.
+	* gcc.dg/analyzer/stdarg-types-2.c: New test.
+
+2022-05-16  Richard Biener  <rguenther@suse.de>
+
+	PR rtl-optimization/105577
+	* g++.dg/torture/pr105577.C: New testcase.
+
+2022-05-16  Richard Biener  <rguenther@suse.de>
+
+	* gcc.dg/torture/pr105598.c: New testcase.
+
+2022-05-16  liuhongt  <hongtao.liu@intel.com>
+
+	* gcc.target/i386/pr105587.c: New test.
+
 2022-05-15  Jason Merrill  <jason@redhat.com>
 
 	PR c++/100502