Daily bump.

11 files changed, 372 insertions, 1 deletions

diff --git a/fixincludes/ChangeLog b/fixincludes/ChangeLog
index 37403c6..1af386ce 100644
--- a/fixincludes/ChangeLog
+++ b/fixincludes/ChangeLog
@@ -1,3 +1,10 @@
+2024-06-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
+
+	* fixincl.x: Regenerate.
+	* inclhack.def (darwin_stdint_7, darwin_dispatch_object_1,
+	darwin_os_trace_2, darwin_os_base_1): Include bypasses
+	for recent headers, fixed by Apple.
+
 2024-05-07  Zac Walker  <zacwalker@microsoft.com>
 
 	* mkfixinc.sh: Extend for *-mingw32* targets.
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 33ddca9..4291a57 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,82 @@
+2024-06-07  David Malcolm  <dmalcolm@redhat.com>
+
+	* doc/invoke.texi: Add -Wanalyzer-undefined-behavior-ptrdiff.
+
+2024-06-07  Jason Merrill  <jason@redhat.com>
+
+	* doc/invoke.texi (C++ Modules): Mention -include.
+
+2024-06-07  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR target/115351
+	* config/i386/i386.cc (ix86_rtx_costs): Provide estimates for
+	the *concatditi3 and *insvti_highpart patterns, about two insns.
+
+2024-06-07  Roger Sayle  <roger@nextmovesoftware.com>
+	    Hongtao Liu  <hongtao.liu@intel.com>
+
+	* config/i386/i386-expand.cc (ix86_expand_args_builtin): Call
+	fixup_modeless_constant before testing predicates.  Only call
+	copy_to_mode_reg on memory operands (after the first one).
+	(ix86_gen_bcst_mem): Helper function to convert a CONST_VECTOR
+	into a VEC_DUPLICATE if possible.
+	(ix86_ternlog_idx):  Convert an RTX expression into a ternlog
+	index between 0 and 255, recording the operands in ARGS, if
+	possible or return -1 if this is not possible/valid.
+	(ix86_ternlog_leaf_p): Helper function to identify "leaves"
+	of a ternlog expression, e.g. REG_P, MEM_P, CONST_VECTOR, etc.
+	(ix86_ternlog_operand_p): Test whether a expression is suitable
+	for and prefered as an UNSPEC_TERNLOG.
+	(ix86_expand_ternlog_binop): Helper function to construct the
+	binary operation corresponding to a sufficiently simple ternlog.
+	(ix86_expand_ternlog_andnot): Helper function to construct a
+	ANDN operation corresponding to a sufficiently simple ternlog.
+	(ix86_expand_ternlog): Expand a 3-operand ternary logic
+	expression, constructing either an UNSPEC_TERNLOG or simpler
+	rtx expression.  Called from builtin expanders and pre-reload
+	splitters.
+	* config/i386/i386-protos.h (ix86_ternlog_idx): Prototype here.
+	(ix86_ternlog_operand_p): Likewise.
+	(ix86_expand_ternlog): Likewise.
+	* config/i386/predicates.md (ternlog_operand): New predicate
+	that calls xi86_ternlog_operand_p.
+	* config/i386/sse.md (<avx512>_vpternlog<mode>_0): New
+	define_insn_and_split that recognizes a SET_SRC of ternlog_operand
+	and expands it via ix86_expand_ternlog pre-reload.
+	(<avx512>_vternlog<mode>_mask): Convert from define_insn to
+	define_expand.  Use ix86_expand_ternlog if the mask operand is
+	~0 (or 255 or -1).
+	(*<avx512>_vternlog<mode>_mask): define_insn renamed from above.
+
+2024-06-07  Michal Jires  <mjires@suse.cz>
+
+	* common.opt: Add cache partitioning.
+	* flag-types.h (enum lto_partition_model): Likewise.
+
+2024-06-07  Richard Biener  <rguenther@suse.de>
+
+	* tree-vect-loop.cc (vectorize_fold_left_reduction): Fix
+	mask vector operand indexing.
+
+2024-06-07  Jakub Jelinek  <jakub@redhat.com>
+
+	PR middle-end/115352
+	* gimple-lower-bitint.cc (lower_addsub_overflow): Don't disable
+	single_comparison if cmp_code is GE_EXPR.
+
+2024-06-07  Alexandre Oliva  <oliva@adacore.com>
+
+	* target.def (call_offset_return_label): New hook.
+	* doc/tm.texi.in (TARGET_CALL_OFFSET_RETURN_LABEL): Add
+	placeholder.
+	* doc/tm.texi: Rebuild.
+	* dwarf2out.cc (struct call_arg_loc_node): Record call_insn
+	instead of call_arg_loc_note.
+	(add_AT_lbl_id): Add optional offset argument.
+	(gen_call_site_die): Compute and pass on a return pc offset.
+	(gen_subprogram_die): Move call_arg_loc_note computation...
+	(dwarf2out_var_location): ... from here.  Set call_insn.
+
 2024-06-06  Pan Li  <pan2.li@intel.com>
 
 	* doc/match-and-simplify.texi: Add doc for the matching flag '^'.
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index de43a34..ee1c5e1 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20240607
+20240608
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 50f20ca..0e453ef 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,62 @@
+2024-06-07  David Malcolm  <dmalcolm@redhat.com>
+
+	* engine.cc (impl_region_model_context::on_state_leak): Pass nullptr
+	to get_representative_path_var.
+	* region-model.cc (region_model::get_representative_path_var_1):
+	Add logger param and use it in both overloads.
+	(region_model::get_representative_path_var): Likewise.
+	(region_model::get_representative_tree): Likewise.
+	(selftest::test_get_representative_path_var): Pass nullptr to
+	get_representative_path_var.
+	* region-model.h (region_model::get_representative_tree): Add
+	optional logger param to both overloads.
+	(region_model::get_representative_path_var): Add logger param to
+	both overloads.
+	(region_model::get_representative_path_var_1): Likewise.
+	* store.cc (binding_cluster::get_representative_path_vars): Add
+	logger param and use it.
+	(store::get_representative_path_vars): Likewise.
+	* store.h (binding_cluster::get_representative_path_vars): Add
+	logger param.
+	(store::get_representative_path_vars): Likewise.
+
+2024-06-07  David Malcolm  <dmalcolm@redhat.com>
+
+	* call-summary.cc
+	(call_summary_replay::convert_region_from_summary_1): Update
+	for removal of cast_region::m_original_region.
+	* region-model-manager.cc
+	(region_model_manager::get_or_create_initial_value): Likewise.
+	* region-model.cc (region_model::get_store_value): Likewise.
+	* region.cc (region::get_base_region): Likewise.
+	(region::descendent_of_p): Likewise.
+	(region::maybe_get_frame_region): Likewise.
+	(region::get_memory_space): Likewise.
+	(region::calc_offset): Likewise.
+	(cast_region::accept): Delete.
+	(cast_region::dump_to_pp): Update for removal of
+	cast_region::m_original_region.
+	(cast_region::add_dump_widget_children): Delete.
+	* region.h (struct cast_region::key_t): Rename "original_region"
+	to "parent".
+	(cast_region::cast_region): Likewise.  Update for removal of
+	cast_region::m_original_region.
+	(cast_region::accept): Delete.
+	(cast_region::add_dump_widget_children): Delete.
+	(cast_region::get_original_region): Delete.
+	(cast_region::m_original_region): Delete.
+	* sm-taint.cc (region_model::check_region_for_taint): Remove
+	special-casing for RK_CAST.
+
+2024-06-07  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/105892
+	* analyzer.opt (Wanalyzer-undefined-behavior-ptrdiff): New option.
+	* analyzer.opt.urls: Regenerate.
+	* region-model.cc (class undefined_ptrdiff_diagnostic): New.
+	(check_for_invalid_ptrdiff): New.
+	(region_model::get_gassign_result): Call it for POINTER_DIFF_EXPR.
+
 2024-06-01  David Malcolm  <dmalcolm@redhat.com>
 
 	PR analyzer/106203
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 4a389e2..f2af41b 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,23 @@
+2024-06-07  Simon Martin  <simon@nasilyan.com>
+
+	PR c++/107575
+	* decl.cc (duplicate_decls): Check for error_mark_node
+	DECL_LOCAL_DECL_ALIAS.
+
+2024-06-07  Jason Merrill  <jason@redhat.com>
+
+	* module.cc (maybe_translate_include): Allow before the main file.
+
+2024-06-07  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/115378
+	* lambda.cc (lambda_capture_field_type): Set
+	TEMPLATE_TYPE_PARAMETER_PACK on the auto type of an init-capture
+	pack expansion.
+	* pt.cc (find_parameter_packs_r) <case TEMPLATE_TYPE_PARM>:
+	Restrict TEMPLATE_TYPE_PARAMETER_PACK promotion with
+	flag_concepts_ts.
+
 2024-06-05  Jakub Jelinek  <jakub@redhat.com>
 	    Frederik Harwath  <frederik@codesourcery.com>
 	    Sandra Loosemore  <sandra@codesourcery.com>
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 4ef3e11..115cd48 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,22 @@
+2024-06-07  Andre Vehreschild  <vehre@gcc.gnu.org>
+
+	PR fortran/90068
+	* trans-array.cc (gfc_trans_array_ctor_element): Eval non-
+	variable expressions once only.
+	(gfc_trans_array_constructor_value): Add statements of
+	final block.
+	(trans_array_constructor): Detect when final block is required.
+
+2024-06-07  Andre Vehreschild  <vehre@gcc.gnu.org>
+
+	PR fortran/90072
+	* expr.cc (gfc_is_alloc_class_scalar_function): Detect
+	allocatable class return types also for user-defined
+	functions.
+	* trans-expr.cc (gfc_conv_procedure_call): Same.
+	(trans_class_vptr_len_assignment): Compute vptr len
+	assignment correctly for user-defined functions.
+
 2024-06-05  Jakub Jelinek  <jakub@redhat.com>
 	    Frederik Harwath  <frederik@codesourcery.com>
 	    Sandra Loosemore  <sandra@codesourcery.com>
diff --git a/gcc/go/ChangeLog b/gcc/go/ChangeLog
index b255ae9..810b2fa 100644
--- a/gcc/go/ChangeLog
+++ b/gcc/go/ChangeLog
@@ -1,3 +1,8 @@
+2024-06-07  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+	* gospec.cc (lang_specific_driver) [TARGET_SOLARIS !USE_GLD]: Only
+	add -t if linking.
+
 2024-05-26  Gerald Pfeifer  <gerald@pfeifer.com>
 
 	* gccgo.texi (Top): Move a web reference from golang.org to go.dev.
diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog
index 89b9fce..718c556 100644
--- a/gcc/lto/ChangeLog
+++ b/gcc/lto/ChangeLog
@@ -1,3 +1,28 @@
+2024-06-07  Simon Martin  <simon@nasilyan.com>
+
+	* lto-partition.cc: Define INCLUDE_VECTOR to avoid running into
+	poisoned identifiers.
+
+2024-06-07  Michal Jires  <mjires@suse.cz>
+
+	* lto-partition.cc (new_partition): Use new_partition_no_push.
+	(new_partition_no_push): New.
+	(free_ltrans_partition): New.
+	(free_ltrans_partitions): Use free_ltrans_partition.
+	(join_partitions): New.
+	(split_partition_into_nodes): New.
+	(is_partition_reorder): New.
+	(class partition_set): New.
+	(distribute_n_partitions): New.
+	(partition_over_target_split): New.
+	(partition_binary_split): New.
+	(partition_fixed_split): New.
+	(class partitioner_base): New.
+	(class partitioner_default): New.
+	(lto_cache_map): New.
+	* lto-partition.h (lto_cache_map): New.
+	* lto.cc (do_whole_program_analysis): Use lto_cache_map.
+
 2024-06-06  Michal Jires  <mjires@suse.cz>
 
 	* lto-common.cc (lto_section_with_id): Dont load suffix during LTRANS.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f256992..1e7493f 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,143 @@
+2024-06-07  David Malcolm  <dmalcolm@redhat.com>
+
+	* gcc.dg/analyzer/taint-alloc-4.c: Update expected result to
+	reflect change in message due to
+	region_model::get_representative_path_var_1 now handling RK_CAST.
+
+2024-06-07  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/105892
+	* c-c++-common/analyzer/out-of-bounds-pr110387.c: Add
+	expected warnings about pointer subtraction.
+	* c-c++-common/analyzer/ptr-subtraction-1.c: New test.
+	* c-c++-common/analyzer/ptr-subtraction-CWE-469-example.c: New test.
+
+2024-06-07  Simon Martin  <simon@nasilyan.com>
+
+	PR c++/107575
+	* g++.dg/parse/crash74.C: New test.
+
+2024-06-07  Jason Merrill  <jason@redhat.com>
+
+	* g++.dg/modules/dashinclude-1_b.C: New test.
+	* g++.dg/modules/dashinclude-1_a.H: New test.
+
+2024-06-07  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/115378
+	* g++.dg/cpp1y/decltype-auto-103497.C: Adjust expected diagnostic.
+	* g++.dg/template/pr95672.C: Likewise.
+	* g++.dg/cpp2a/lambda-targ5.C: New test.
+
+2024-06-07  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR target/115351
+	* g++.target/i386/pr115351.C: New test case.
+
+2024-06-07  Roger Sayle  <roger@nextmovesoftware.com>
+	    Hongtao Liu  <hongtao.liu@intel.com>
+
+	* gcc.target/i386/avx512f-vpternlogd-1.c: Update test case.
+	* gcc.target/i386/avx512f-vpternlogq-1.c: Likewise.
+	* gcc.target/i386/avx512vl-vpternlogd-1.c: Likewise.
+	* gcc.target/i386/avx512vl-vpternlogq-1.c: Likewise.
+	* gcc.target/i386/pr100711-4.c: Likewise.
+	* gcc.target/i386/pr100711-5.c: Likewise.
+	* gcc.target/i386/avx512f-vpternlogd-3.c: New 128-bit test case.
+	* gcc.target/i386/avx512f-vpternlogd-4.c: New 256-bit test case.
+	* gcc.target/i386/avx512f-vpternlogd-5.c: New 512-bit test case.
+	* gcc.target/i386/avx512f-vpternlogq-3.c: New test case.
+
+2024-06-07  Michal Jires  <mjires@suse.cz>
+
+	* gcc.dg/completion-2.c: Add -flto-partition=cache.
+
+2024-06-07  Andre Vehreschild  <vehre@gcc.gnu.org>
+
+	PR fortran/90068
+	* gfortran.dg/finalize_57.f90: New test.
+
+2024-06-07  Jakub Jelinek  <jakub@redhat.com>
+
+	PR middle-end/115352
+	* gcc.dg/torture/bitint-71.c: New test.
+
+2024-06-07  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+	PR go/87589
+	* go.test/go-test.exp (go-gc-tests): Require split-stack support
+	for index0.go.
+
+2024-06-07  Andre Vehreschild  <vehre@gcc.gnu.org>
+
+	PR fortran/90072
+	* gfortran.dg/class_77.f90: New test.
+
+2024-06-07  liuhongt  <hongtao.liu@intel.com>
+
+	* gcc.dg/vect/pr112325.c:Add additional option --param
+	max-completely-peeled-insns=200 for power64*-*-*.
+
+2024-06-07  Pan Li  <pan2.li@intel.com>
+
+	* gcc.target/riscv/sat_arith.h: Add test macro for form 5.
+	* gcc.target/riscv/sat_u_add-21.c: New test.
+	* gcc.target/riscv/sat_u_add-22.c: New test.
+	* gcc.target/riscv/sat_u_add-23.c: New test.
+	* gcc.target/riscv/sat_u_add-24.c: New test.
+	* gcc.target/riscv/sat_u_add-run-21.c: New test.
+	* gcc.target/riscv/sat_u_add-run-22.c: New test.
+	* gcc.target/riscv/sat_u_add-run-23.c: New test.
+	* gcc.target/riscv/sat_u_add-run-24.c: New test.
+
+2024-06-07  Pan Li  <pan2.li@intel.com>
+
+	* gcc.target/riscv/sat_arith.h: Add test macro for form 4.
+	* gcc.target/riscv/sat_u_add-17.c: New test.
+	* gcc.target/riscv/sat_u_add-18.c: New test.
+	* gcc.target/riscv/sat_u_add-19.c: New test.
+	* gcc.target/riscv/sat_u_add-20.c: New test.
+	* gcc.target/riscv/sat_u_add-run-17.c: New test.
+	* gcc.target/riscv/sat_u_add-run-18.c: New test.
+	* gcc.target/riscv/sat_u_add-run-19.c: New test.
+	* gcc.target/riscv/sat_u_add-run-20.c: New test.
+
+2024-06-07  Pan Li  <pan2.li@intel.com>
+
+	* gcc.target/riscv/sat_arith.h: Add test macro for form 3.
+	* gcc.target/riscv/sat_u_add-13.c: New test.
+	* gcc.target/riscv/sat_u_add-14.c: New test.
+	* gcc.target/riscv/sat_u_add-15.c: New test.
+	* gcc.target/riscv/sat_u_add-16.c: New test.
+	* gcc.target/riscv/sat_u_add-run-13.c: New test.
+	* gcc.target/riscv/sat_u_add-run-14.c: New test.
+	* gcc.target/riscv/sat_u_add-run-15.c: New test.
+	* gcc.target/riscv/sat_u_add-run-16.c: New test.
+
+2024-06-07  Pan Li  <pan2.li@intel.com>
+
+	* gcc.target/riscv/sat_arith.h: Add test macro for form 2.
+	* gcc.target/riscv/sat_u_add-10.c: New test.
+	* gcc.target/riscv/sat_u_add-11.c: New test.
+	* gcc.target/riscv/sat_u_add-12.c: New test.
+	* gcc.target/riscv/sat_u_add-9.c: New test.
+	* gcc.target/riscv/sat_u_add-run-10.c: New test.
+	* gcc.target/riscv/sat_u_add-run-11.c: New test.
+	* gcc.target/riscv/sat_u_add-run-12.c: New test.
+	* gcc.target/riscv/sat_u_add-run-9.c: New test.
+
+2024-06-07  Pan Li  <pan2.li@intel.com>
+
+	* gcc.target/riscv/sat_arith.h: Add helper macro for form 1.
+	* gcc.target/riscv/sat_u_add-5.c: New test.
+	* gcc.target/riscv/sat_u_add-6.c: New test.
+	* gcc.target/riscv/sat_u_add-7.c: New test.
+	* gcc.target/riscv/sat_u_add-8.c: New test.
+	* gcc.target/riscv/sat_u_add-run-5.c: New test.
+	* gcc.target/riscv/sat_u_add-run-6.c: New test.
+	* gcc.target/riscv/sat_u_add-run-7.c: New test.
+	* gcc.target/riscv/sat_u_add-run-8.c: New test.
+
 2024-06-06  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c/114493
diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index 3e6f592..6025ebf 100644
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,7 @@
+2024-06-07  Jason Merrill  <jason@redhat.com>
+
+	* files.cc (_cpp_stack_file): LC_ENTER for -include header unit.
+
 2024-05-29  Jason Merrill  <jason@redhat.com>
 
 	* mkdeps.cc (make_write): Change .c++m to .c++-module.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index acbd716..bad8cff 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,16 @@
+2024-06-07  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/ranges_algobase.h: Include <bits/stl_algobase.h>.
+
+2024-06-07  Alexandre Oliva  <oliva@adacore.com>
+
+	* include/std/variant: Drop obsolete workaround.
+
+2024-06-07  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/ptr_traits.h (to_address): Optimize.
+	* testsuite/20_util/to_address/1_neg.cc: Adjust dg-error text.
+
 2024-06-06  Alexandre Oliva  <oliva@adacore.com>
 
 	* include/bits/c++config (_GLIBCXX_CLANG): Define or undefine.