https://gcc.gnu.org/g:0f3e76ee53a610a80e0fa032a252ed9d2505e6b7
commit r14-9905-g0f3e76ee53a610a80e0fa032a252ed9d2505e6b7
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Thu Apr 11 00:17:54 2024 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 87 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/analyzer/ChangeLog | 48 +++++++++++++++++++++++++++
gcc/cp/ChangeLog | 25 ++++++++++++++
gcc/fortran/ChangeLog | 7 ++++
gcc/po/ChangeLog | 4 +++
gcc/testsuite/ChangeLog | 88 +++++++++++++++++++++++++++++++++++++++++++++++++
libgcc/ChangeLog | 7 ++++
libstdc++-v3/ChangeLog | 14 ++++++++
9 files changed, 281 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ec107302a44..8fff7c41ace 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,90 @@
+2024-04-10 Marek Polacek <pola...@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 <dmalc...@redhat.com>
+
+ * doc/analyzer.texi: Various tweaks.
+
+2024-04-10 Richard Biener <rguent...@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.simoesdiasvie...@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.simoesdiasvie...@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 <ja...@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 <rguent...@suse.de>
+
+ Revert:
+ 2024-03-27 Segher Boessenkool <seg...@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 <berg...@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.w...@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 <jchr...@linux.ibm.com>
* config/s390/s390.cc (expand_perm_as_replicate): Implement.
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 017b58270a7..8dbf8633f53 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20240410
+20240411
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index abfb157660d..7f200cf2071 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,51 @@
+2024-04-10 David Malcolm <dmalc...@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 <dmalc...@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 <dmalc...@redhat.com>
+
+ * infinite-recursion.cc: Include "diagnostic-format-sarif.h".
+ (infinite_recursion_diagnostic::maybe_add_sarif_properties): New.
+
+2024-04-10 David Malcolm <dmalc...@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 <dmalc...@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 <ja...@redhat.com>
* analyzer.opt (Wanalyzer-undefined-behavior-strtok): Fix duplicated
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 537c6a23e62..c466ce670fd 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,28 @@
+2024-04-10 Jakub Jelinek <ja...@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 <nathanielosh...@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 <nathanielosh...@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 <ja...@redhat.com>
PR c++/114580
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index d0bfcef2ad1..a270aea0c56 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,10 @@
+2024-04-10 Harald Anlauf <anl...@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 <pa...@gcc.gnu.org>
PR fortran/114535
diff --git a/gcc/po/ChangeLog b/gcc/po/ChangeLog
index fd264defc9c..94470aa8ff8 100644
--- a/gcc/po/ChangeLog
+++ b/gcc/po/ChangeLog
@@ -1,3 +1,7 @@
+2024-04-10 Joseph Myers <josmy...@redhat.com>
+
+ * gcc.pot: Regenerate.
+
2024-04-08 Joseph Myers <josmy...@redhat.com>
* fr.po: Update.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0bb7c408c53..4bf575b25c7 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,91 @@
+2024-04-10 Hans-Peter Nilsson <h...@axis.com>
+
+ Revert:
+ 2024-04-05 Hans-Peter Nilsson <h...@axis.com>
+
+ * gcc.target/cris/pr93372-2.c: Tweak scan-assembler
+ checks to cover recent combine improvement.
+
+2024-04-10 Marek Polacek <pola...@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 <dmalc...@redhat.com>
+
+ * c-c++-common/analyzer/out-of-bounds-pr114472.c: New test.
+
+2024-04-10 David Malcolm <dmalc...@redhat.com>
+
+ * c-c++-common/analyzer/memset-1.c: Clarify some comments.
+
+2024-04-10 David Malcolm <dmalc...@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 <anl...@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 <rguent...@suse.de>
+
+ PR tree-optimization/114672
+ * gcc.dg/torture/pr114672.c: New testcase.
+
+2024-04-10 Andre Vieira <andre.simoesdiasvie...@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 <ja...@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 <li...@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 <nathanielosh...@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 <nathanielosh...@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.fa...@oracle.com>
PR testsuite/114642
diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index f3206978020..79ce55c6293 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,10 @@
+2024-04-10 Andre Vieira <andre.simoesdiasvie...@arm.com>
+
+ * config/aarch64/t-softfp (softfp_extras): Add floatbitinthf,
+ floatbitintbf, floatbitinttf and fixtfbitint.
+ * config/aarch64/libgcc-softfp.ver (GCC_14.0.0): Add __floatbitinthf,
+ __floatbitintbf, __floatbitinttf and __fixtfbitint.
+
2024-04-09 Sergey Bugaev <buga...@gmail.com>
* config.host: Recognize aarch64*-*-gnu* hosts.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 1ed8b9bc93f..3a05795065e 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,17 @@
+2024-04-10 Jonathan Wakely <jwak...@redhat.com>
+
+ * testsuite/27_io/manipulators/extended/get_time/char/2.cc:
+ Adjust input string so that it matches %a with or without a
+ trailing period.
+ * testsuite/std/time/year_month_day/io.cc: Adjust expected
+ format for %x in the fr_FR locale.
+
+2024-04-10 Jonathan Wakely <jwak...@redhat.com>
+
+ * src/c++17/fs_ops.cc (remove_all) [__FreeBSD__ || __DragonFly__]:
+ Check for EMLINK as well as ELOOP.
+ [__NetBSD__]: Check for EFTYPE as well as ELOOP.
+
2024-04-09 Jonathan Wakely <jwak...@redhat.com>
PR libstdc++/114633
