https://gcc.gnu.org/g:6e5f77fdc7fc61d854660c238b719c1c83067613
commit r15-1110-g6e5f77fdc7fc61d854660c238b719c1c83067613
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Sat Jun 8 00:18:05 2024 +0000
Daily bump.
Diff:
---
fixincludes/ChangeLog | 7 +++
gcc/ChangeLog | 79 +++++++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/analyzer/ChangeLog | 59 ++++++++++++++++++++
gcc/cp/ChangeLog | 20 +++++++
gcc/fortran/ChangeLog | 19 +++++++
gcc/go/ChangeLog | 5 ++
gcc/lto/ChangeLog | 25 +++++++++
gcc/testsuite/ChangeLog | 140 ++++++++++++++++++++++++++++++++++++++++++++++++
libcpp/ChangeLog | 4 ++
libstdc++-v3/ChangeLog | 13 +++++
11 files changed, 372 insertions(+), 1 deletion(-)
diff --git a/fixincludes/ChangeLog b/fixincludes/ChangeLog
index 37403c66be0..1af386ce01e 100644
--- a/fixincludes/ChangeLog
+++ b/fixincludes/ChangeLog
@@ -1,3 +1,10 @@
+2024-06-07 Francois-Xavier Coudert <fxcoud...@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 <zacwal...@microsoft.com>
* mkfixinc.sh: Extend for *-mingw32* targets.
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 33ddca9e303..4291a5705fb 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,82 @@
+2024-06-07 David Malcolm <dmalc...@redhat.com>
+
+ * doc/invoke.texi: Add -Wanalyzer-undefined-behavior-ptrdiff.
+
+2024-06-07 Jason Merrill <ja...@redhat.com>
+
+ * doc/invoke.texi (C++ Modules): Mention -include.
+
+2024-06-07 Roger Sayle <ro...@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 <ro...@nextmovesoftware.com>
+ Hongtao Liu <hongtao....@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 <mji...@suse.cz>
+
+ * common.opt: Add cache partitioning.
+ * flag-types.h (enum lto_partition_model): Likewise.
+
+2024-06-07 Richard Biener <rguent...@suse.de>
+
+ * tree-vect-loop.cc (vectorize_fold_left_reduction): Fix
+ mask vector operand indexing.
+
+2024-06-07 Jakub Jelinek <ja...@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 <ol...@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...@intel.com>
* doc/match-and-simplify.texi: Add doc for the matching flag '^'.
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index de43a34b913..ee1c5e1ee91 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20240607
+20240608
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 50f20caeb32..0e453ef84f7 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,62 @@
+2024-06-07 David Malcolm <dmalc...@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 <dmalc...@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 <dmalc...@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 <dmalc...@redhat.com>
PR analyzer/106203
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 4a389e22881..f2af41b4094 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,23 @@
+2024-06-07 Simon Martin <si...@nasilyan.com>
+
+ PR c++/107575
+ * decl.cc (duplicate_decls): Check for error_mark_node
+ DECL_LOCAL_DECL_ALIAS.
+
+2024-06-07 Jason Merrill <ja...@redhat.com>
+
+ * module.cc (maybe_translate_include): Allow before the main file.
+
+2024-06-07 Patrick Palka <ppa...@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 <ja...@redhat.com>
Frederik Harwath <frede...@codesourcery.com>
Sandra Loosemore <san...@codesourcery.com>
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 4ef3e119f5d..115cd484c02 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,22 @@
+2024-06-07 Andre Vehreschild <ve...@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 <ve...@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 <ja...@redhat.com>
Frederik Harwath <frede...@codesourcery.com>
Sandra Loosemore <san...@codesourcery.com>
diff --git a/gcc/go/ChangeLog b/gcc/go/ChangeLog
index b255ae98160..810b2fa0e7a 100644
--- a/gcc/go/ChangeLog
+++ b/gcc/go/ChangeLog
@@ -1,3 +1,8 @@
+2024-06-07 Rainer Orth <r...@cebitec.uni-bielefeld.de>
+
+ * gospec.cc (lang_specific_driver) [TARGET_SOLARIS !USE_GLD]: Only
+ add -t if linking.
+
2024-05-26 Gerald Pfeifer <ger...@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 89b9fceb276..718c556bbda 100644
--- a/gcc/lto/ChangeLog
+++ b/gcc/lto/ChangeLog
@@ -1,3 +1,28 @@
+2024-06-07 Simon Martin <si...@nasilyan.com>
+
+ * lto-partition.cc: Define INCLUDE_VECTOR to avoid running into
+ poisoned identifiers.
+
+2024-06-07 Michal Jires <mji...@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 <mji...@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 f2569929416..1e7493fc1fe 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,143 @@
+2024-06-07 David Malcolm <dmalc...@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 <dmalc...@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 <si...@nasilyan.com>
+
+ PR c++/107575
+ * g++.dg/parse/crash74.C: New test.
+
+2024-06-07 Jason Merrill <ja...@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 <ppa...@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 <ro...@nextmovesoftware.com>
+
+ PR target/115351
+ * g++.target/i386/pr115351.C: New test case.
+
+2024-06-07 Roger Sayle <ro...@nextmovesoftware.com>
+ Hongtao Liu <hongtao....@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 <mji...@suse.cz>
+
+ * gcc.dg/completion-2.c: Add -flto-partition=cache.
+
+2024-06-07 Andre Vehreschild <ve...@gcc.gnu.org>
+
+ PR fortran/90068
+ * gfortran.dg/finalize_57.f90: New test.
+
+2024-06-07 Jakub Jelinek <ja...@redhat.com>
+
+ PR middle-end/115352
+ * gcc.dg/torture/bitint-71.c: New test.
+
+2024-06-07 Rainer Orth <r...@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 <ve...@gcc.gnu.org>
+
+ PR fortran/90072
+ * gfortran.dg/class_77.f90: New test.
+
+2024-06-07 liuhongt <hongtao....@intel.com>
+
+ * gcc.dg/vect/pr112325.c:Add additional option --param
+ max-completely-peeled-insns=200 for power64*-*-*.
+
+2024-06-07 Pan Li <pan2...@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...@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...@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...@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...@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 <ja...@redhat.com>
PR c/114493
diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index 3e6f592b052..6025ebfba42 100644
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,7 @@
+2024-06-07 Jason Merrill <ja...@redhat.com>
+
+ * files.cc (_cpp_stack_file): LC_ENTER for -include header unit.
+
2024-05-29 Jason Merrill <ja...@redhat.com>
* mkdeps.cc (make_write): Change .c++m to .c++-module.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index acbd7165d5f..bad8cff02b2 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,16 @@
+2024-06-07 Jonathan Wakely <jwak...@redhat.com>
+
+ * include/bits/ranges_algobase.h: Include <bits/stl_algobase.h>.
+
+2024-06-07 Alexandre Oliva <ol...@adacore.com>
+
+ * include/std/variant: Drop obsolete workaround.
+
+2024-06-07 Jonathan Wakely <jwak...@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 <ol...@adacore.com>
* include/bits/c++config (_GLIBCXX_CLANG): Define or undefine.
