Daily bump.

7 files changed, 260 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ec10730..8fff7c4 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,90 @@
+2024-04-10  Marek Polacek  <polacek@redhat.com>
+
+	PR target/114606
+	* config/i386/i386-options.cc (ix86_option_override_internal): Use
+	opts_set rather than checking == CF_NONE.
+
+2024-04-10  David Malcolm  <dmalcolm@redhat.com>
+
+	* doc/analyzer.texi: Various tweaks.
+
+2024-04-10  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/114672
+	* tree-ssa-math-opts.cc (convert_plusminus_to_widen): Only
+	allow mode-precision results.
+
+2024-04-10  Andre Vieira  <andre.simoesdiasvieira@arm.com>
+
+	* config/aarch64/aarch64.cc (TARGET_C_BITINT_TYPE_INFO): Declare MACRO.
+	(aarch64_bitint_type_info): New function.
+	(aarch64_return_in_memory_1): Return large _BitInt's in memory.
+	(aarch64_function_arg_alignment): Adapt to correctly return the ABI
+	mandated alignment of _BitInt(N) where N > 128 as the alignment of
+	TImode.
+	(aarch64_composite_type_p): Return true for _BitInt(N), where N > 128.
+
+2024-04-10  Andre Vieira  <andre.simoesdiasvieira@arm.com>
+
+	* config/aarch64/aarch64.cc (bitint_or_aggr_of_bitint_p): New function.
+	(aarch64_layout_arg): Don't emit diagnostics for types involving
+	_BitInt(N).
+
+2024-04-10  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/114462
+	* tree-core.h (enum annot_expr_kind): Add
+	annot_expr_maybe_infinite_kind enumerator.
+	* gimplify.cc (gimple_boolify): Handle annot_expr_maybe_infinite_kind.
+	* tree-cfg.cc (replace_loop_annotate_in_block): Likewise.
+	(replace_loop_annotate): Likewise.  Move loop->finite_p initialization
+	before the replace_loop_annotate_in_block calls.
+	* tree-pretty-print.cc (dump_generic_node): Handle
+	annot_expr_maybe_infinite_kind.
+
+2024-04-10  Richard Biener  <rguenther@suse.de>
+
+	Revert:
+	2024-03-27  Segher Boessenkool  <segher@kernel.crashing.org>
+
+	PR rtl-optimization/101523
+	* combine.cc (try_combine): Don't do a 2-insn combination if
+	it does not in fact change I2.
+
+2024-04-10  Peter Bergner  <bergner@linux.ibm.com>
+
+	PR target/101865
+	* config/rs6000/rs6000.h (TARGET_DIRECT_MOVE): Define.
+	* config/rs6000/rs6000.cc (rs6000_option_override_internal): Replace
+	OPTION_MASK_DIRECT_MOVE with OPTION_MASK_P8_VECTOR.  Delete redundant
+	OPTION_MASK_DIRECT_MOVE usage.  Delete TARGET_DIRECT_MOVE dead code.
+	(rs6000_opt_masks): Neuter the "direct-move" option.
+	* config/rs6000/rs6000-c.cc (rs6000_target_modify_macros): Replace
+	OPTION_MASK_DIRECT_MOVE with OPTION_MASK_P8_VECTOR.  Delete useless
+	comment.
+	* config/rs6000/rs6000-cpus.def (ISA_2_7_MASKS_SERVER): Delete
+	OPTION_MASK_DIRECT_MOVE.
+	(OTHER_VSX_VECTOR_MASKS): Likewise.
+	(POWERPC_MASKS): Likewise.
+	* config/rs6000/rs6000.opt (mdirect-move): Remove Mask and Var.
+
+2024-04-10  Hongyu Wang  <hongyu.wang@intel.com>
+
+	* config/i386/sse.md (sha1msg1): Use "ja" instead of "Bm" for
+	memory constraint.
+	(sha1msg2): Likewise.
+	(sha1nexte): Likewise.
+	(sha1rnds4): Likewise.
+	(sha256msg1): Likewise.
+	(sha256msg2): Likewise.
+	(sha256rnds2): Likewise.
+	(aes<aesklvariant>u8): Use "jm" instead of "m" for memory
+	constraint.
+	(*aes<aeswideklvariant>u8): Likewise.
+	(*encodekey128u32): Use "jr" instead of "r" for register
+	constraints.
+	(*encodekey256u32): Likewise.
+
 2024-04-09  Juergen Christ  <jchrist@linux.ibm.com>
 
 	* config/s390/s390.cc (expand_perm_as_replicate): Implement.
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 017b582..8dbf863 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20240410
+20240411
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index abfb157..7f200cf 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,51 @@
+2024-04-10  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/114472
+	* access-diagram.cc (bit_size_expr::maybe_get_formatted_str):
+	Reject attempts to print sizes that are too large.
+	* region.cc (region_offset::calc_symbolic_bit_offset): Use a
+	typeless svalue for the bit offset.
+	* store.cc (bit_range::intersects_p): Replace assertion with
+	test.
+	(bit_range::exceeds_p): Likewise.
+	(bit_range::falls_short_of_p): Likewise.
+
+2024-04-10  David Malcolm  <dmalcolm@redhat.com>
+
+	* infinite-loop.cc: Include "diagnostic-format-sarif.h".
+	(infinite_loop::to_json): New.
+	(infinite_loop_diagnostic::maybe_add_sarif_properties): New.
+
+2024-04-10  David Malcolm  <dmalcolm@redhat.com>
+
+	* infinite-recursion.cc: Include "diagnostic-format-sarif.h".
+	(infinite_recursion_diagnostic::maybe_add_sarif_properties): New.
+
+2024-04-10  David Malcolm  <dmalcolm@redhat.com>
+
+	* call-details.cc: Include "diagnostic-format-sarif.h".
+	(overlapping_buffers::overlapping_buffers): Add params for new
+	fields.
+	(overlapping_buffers::maybe_add_sarif_properties): New.
+	(overlapping_buffers::m_byte_range_a): New field.
+	(overlapping_buffers::byte_range_b): New field.
+	(overlapping_buffers::m_num_bytes_read_sval): New field.
+	(call_details::complain_about_overlap): Pass new params to
+	overlapping_buffers ctor.
+	* ranges.cc (symbolic_byte_offset::to_json): New.
+	(symbolic_byte_range::to_json): New.
+	* ranges.h (symbolic_byte_offset::to_json): New decl.
+	(symbolic_byte_range::to_json): New decl.
+
+2024-04-10  David Malcolm  <dmalcolm@redhat.com>
+
+	* sm-taint.cc (tainted_allocation_size::tainted_allocation_size):
+	Add "size_in_bytes" param.
+	(tainted_allocation_size::maybe_add_sarif_properties): New.
+	(tainted_allocation_size::m_size_in_bytes): New field.
+	(region_model::check_dynamic_size_for_taint): Pass size_in_bytes
+	to tainted_allocation_size ctor.
+
 2024-04-09  Jakub Jelinek  <jakub@redhat.com>
 
 	* analyzer.opt (Wanalyzer-undefined-behavior-strtok): Fix duplicated
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 537c6a2..c466ce6 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,28 @@
+2024-04-10  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/114462
+	* semantics.cc: Implement C++26 P2809R3 - Trivial infinite
+	loops are not Undefined Behavior.
+	(maybe_warn_for_constant_evaluated): Add trivial_infinite argument
+	and emit special diagnostics for that case.
+	(finish_if_stmt_cond): Adjust caller.
+	(finish_loop_cond): New function.
+	(finish_while_stmt): Use it.
+	(finish_do_stmt): Likewise.
+	(finish_for_stmt): Likewise.
+
+2024-04-10  Nathaniel Shead  <nathanieloshead@gmail.com>
+
+	PR c++/104040
+	* semantics.cc (expand_or_defer_fn_1): Keep DECL_SAVED_TREE for
+	all vague linkage cdtors with modules.
+
+2024-04-10  Nathaniel Shead  <nathanieloshead@gmail.com>
+
+	PR c++/99377
+	* module.cc (trees_in::install_entity): Overwrite entity map
+	index if installing from a partition.
+
 2024-04-09  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c++/114580
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index d0bfcef..a270aea 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,10 @@
+2024-04-10  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/106500
+	* check.cc (is_c_interoperable): Fix checks for C_SIZEOF.
+	(gfc_check_c_f_pointer): Reject function returning a pointer as FPTR,
+	and improve an error message.
+
 2024-04-09  Paul Thomas  <pault@gcc.gnu.org>
 
 	PR fortran/114535
diff --git a/gcc/po/ChangeLog b/gcc/po/ChangeLog
index fd264de..94470aa 100644
--- a/gcc/po/ChangeLog
+++ b/gcc/po/ChangeLog
@@ -1,3 +1,7 @@
+2024-04-10  Joseph Myers  <josmyers@redhat.com>
+
+	* gcc.pot: Regenerate.
+
 2024-04-08  Joseph Myers  <josmyers@redhat.com>
 
 	* fr.po: Update.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0bb7c40..4bf575b 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,91 @@
+2024-04-10  Hans-Peter Nilsson  <hp@axis.com>
+
+	Revert:
+	2024-04-05  Hans-Peter Nilsson  <hp@axis.com>
+
+	* gcc.target/cris/pr93372-2.c: Tweak scan-assembler
+	checks to cover recent combine improvement.
+
+2024-04-10  Marek Polacek  <polacek@redhat.com>
+
+	PR target/114606
+	* gcc.target/i386/fhardened-1.c: New test.
+	* gcc.target/i386/fhardened-2.c: New test.
+
+2024-04-10  David Malcolm  <dmalcolm@redhat.com>
+
+	* c-c++-common/analyzer/out-of-bounds-pr114472.c: New test.
+
+2024-04-10  David Malcolm  <dmalcolm@redhat.com>
+
+	* c-c++-common/analyzer/memset-1.c: Clarify some comments.
+
+2024-04-10  David Malcolm  <dmalcolm@redhat.com>
+
+	* gcc.dg/plugin/copy_from_user-1.c: Add missing directives for an
+	analyzer test.
+	* gcc.dg/plugin/taint-CVE-2011-0521-1-fixed.c: Add missing
+	-fanalyzer to options.
+	* gcc.dg/plugin/taint-CVE-2011-0521-1.c: Likewise.
+	* gcc.dg/plugin/taint-CVE-2011-0521-2-fixed.c: Likewise.
+	(dvb_usercopy): Add default case to avoid complaints about NULL
+	derefs.
+	* gcc.dg/plugin/taint-CVE-2011-0521-2.c: Likewise.
+	* gcc.dg/plugin/taint-CVE-2011-0521-3-fixed.c: Add missing
+	-fanalyzer to options.
+	* gcc.dg/plugin/taint-CVE-2011-0521-3.c: Likewise.  Drop
+	xfail.
+
+2024-04-10  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/106500
+	* gfortran.dg/c_sizeof_6.f90: Remove wrong dg-error.
+	* gfortran.dg/sizeof_2.f90: Adjust pattern.
+	* gfortran.dg/c_f_pointer_tests_9.f90: New test.
+	* gfortran.dg/c_sizeof_7.f90: New test.
+
+2024-04-10  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/114672
+	* gcc.dg/torture/pr114672.c: New testcase.
+
+2024-04-10  Andre Vieira  <andre.simoesdiasvieira@arm.com>
+
+	* gcc.target/aarch64/bitint-alignments.c: New test.
+	* gcc.target/aarch64/bitint-args.c: New test.
+	* gcc.target/aarch64/bitint-sizes.c: New test.
+	* gcc.target/aarch64/bitfield-bitint-abi.h: New header.
+	* gcc.target/aarch64/bitfield-bitint-abi-align16.c: New test.
+	* gcc.target/aarch64/bitfield-bitint-abi-align8.c: New test.
+
+2024-04-10  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/114462
+	* g++.dg/cpp26/trivial-infinite-loop1.C: New test.
+	* g++.dg/cpp26/trivial-infinite-loop2.C: New test.
+	* g++.dg/cpp26/trivial-infinite-loop3.C: New test.
+
+2024-04-10  Kewen Lin  <linkw@linux.ibm.com>
+
+	PR testsuite/114662
+	* gcc.dg/lto/pr113359-2_0.c: Use unsigned long long instead of
+	unsigned long.
+	* gcc.dg/lto/pr113359-2_1.c: Likewise.
+
+2024-04-10  Nathaniel Shead  <nathanieloshead@gmail.com>
+
+	PR c++/104040
+	* g++.dg/modules/pr104040_a.C: New test.
+	* g++.dg/modules/pr104040_b.C: New test.
+
+2024-04-10  Nathaniel Shead  <nathanieloshead@gmail.com>
+
+	PR c++/99377
+	* g++.dg/modules/pr99377-3_a.H: New test.
+	* g++.dg/modules/pr99377-3_b.C: New test.
+	* g++.dg/modules/pr99377-3_c.C: New test.
+	* g++.dg/modules/pr99377-3_d.C: New test.
+
 2024-04-09  David Faust  <david.faust@oracle.com>
 
 	PR testsuite/114642