[gcc r13-516] Daily bump.
GCC Administrator
gccadmin@gcc.gnu.org
Tue May 17 00:17:03 GMT 2022
https://gcc.gnu.org/g:702bd11fa7ddfce0d24581251e979e8a6d7c0d4d
commit r13-516-g702bd11fa7ddfce0d24581251e979e8a6d7c0d4d
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Tue May 17 00:16:28 2022 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 109 ++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 264 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/analyzer/ChangeLog | 80 +++++++++++++++
gcc/c-family/ChangeLog | 18 ++++
gcc/c/ChangeLog | 4 +
gcc/cp/ChangeLog | 11 ++
gcc/d/ChangeLog | 25 +++++
gcc/fortran/ChangeLog | 7 ++
gcc/jit/ChangeLog | 6 ++
gcc/lto/ChangeLog | 5 +
gcc/testsuite/ChangeLog | 26 +++++
libgomp/ChangeLog | 6 ++
libphobos/ChangeLog | 11 ++
libstdc++-v3/ChangeLog | 24 +++++
15 files changed, 597 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index fb6deba1ff7..db143881974 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 634dc22adcd..260f74988e6 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220516
+20220517
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index d09eeb9c0b9..67676b830fe 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 5a9551b6401..e4f67fe4baa 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 0d2b277f0a0..1f825cfde7b 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 6db1152d521..30c385820b8 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 cf79e0c9dc8..9b11d50458e 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 546f21ce772..d3ac0bc1f62 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 b4f2ff89c58..09c741e0b65 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 faab3a78c5e..341766be9ca 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 b815c9b72e6..31c3bc25493 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 b643e0b7b2a..3d963eb02db 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
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 3f21ffb03c1..344f79598c3 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,9 @@
+2022-05-16 Marcel Vollweiler <marcel@codesourcery.com>
+
+ * testsuite/libgomp.c++/target-has-device-addr-7.C: New test.
+ * testsuite/libgomp.c++/target-has-device-addr-8.C: New test.
+ * testsuite/libgomp.c++/target-has-device-addr-9.C: New test.
+
2022-05-13 Tobias Burnus <tobias@codesourcery.com>
* testsuite/libgomp.fortran/target-nowait-array-section.f90: New test.
diff --git a/libphobos/ChangeLog b/libphobos/ChangeLog
index de5cce43870..5541f205333 100644
--- a/libphobos/ChangeLog
+++ b/libphobos/ChangeLog
@@ -1,3 +1,14 @@
+2022-05-16 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * libdruntime/MERGE: Merge upstream druntime 94bd5bcb.
+ * libdruntime/Makefile.am (ALL_DRUNTIME_INSTALL_DSOURCES): Add
+ $(DRUNTIME_DSOURCES_ELF).
+ (ALL_DRUNTIME_SOURCES): Likewise.
+ (DRUNTIME_DSOURCES_ELF): New variable.
+ * libdruntime/Makefile.in: Regenerate.
+ * src/MERGE: Merge upstream phobos 3a1cd9a01.
+ * testsuite/libphobos.init_fini/custom_gc.d: Update test.
+
2022-04-28 Iain Buclaw <ibuclaw@gdcproject.org>
* libdruntime/MERGE: Merge upstream druntime e361d200.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index e6c2bb5beda..794fbfecb40 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,27 @@
+2022-05-16 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/xml/manual/prerequisites.xml: Fix attributes for external
+ hyperlink.
+ * doc/html/manual/setup.html: Regenerate.
+
+2022-05-16 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/xml/manual/status_cxx2023.xml: Update with gcc-12 support.
+ * doc/html/*: Regenerate.
+
+2022-05-16 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/xml/manual/intro.xml: Include new chapter.
+ * doc/xml/manual/status_cxx2020.xml: Tweak release numbers.
+ * doc/xml/manual/status_cxx2023.xml: New file.
+ * doc/html/*: Regenerate.
+
+2022-05-16 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/html/manual/status.html: Regenerate.
+ * doc/xml/manual/status_cxx2020.xml: Fix supported version for
+ C++20 bit operations.
+
2022-05-13 Jonathan Wakely <jwakely@redhat.com>
* include/bits/std_thread.h (thread::_State, thread::_State_ptr):
More information about the Libstdc++-cvs
mailing list