Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ec107302a44fd2f8210184dfd0ad9b617a545848..8fff7c41ace5100e6ae5e29c08c83c038cc596c6 100644 (file)
--- 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 017b58270a736fa6295d9e405e6d68fe53320e0b..8dbf8633f534893b9862a07550ca45c7b64ba245 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20240410
+20240411

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index abfb157660d1645a544724cbbcdb1d4abaf15dc3..7f200cf2071811d7d507576b78b990a913c8bd35 100644 (file)
--- 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 537c6a23e62ff5153c177239701f905ed5f7eb13..c466ce670fd0e40c0bad127342569b3a1a36f4aa 100644 (file)
--- 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 d0bfcef2ad185cc4f2a8ed1f430c9c96d7020798..a270aea0c5690f67cb6c5ce08d6414169f75b6a5 100644 (file)
--- 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 fd264defc9cc9499a818e66952c37209701001e2..94470aa8ff8646cadef98f8223ee38da194018fa 100644 (file)
--- 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 0bb7c408c53531e8a79109c68e3f67fb2646bb99..4bf575b25c7725267bc274e4a4e7fd40cbbdd4c2 100644 (file)
--- 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

diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index f3206978020f7d83a0461e628daadbb041b9f2db..79ce55c6293312d49399ed97065c3ec63f5b432d 100644 (file)
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,10 @@
+2024-04-10  Andre Vieira  <andre.simoesdiasvieira@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  <bugaevc@gmail.com>
 
        * config.host: Recognize aarch64*-*-gnu* hosts.

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 1ed8b9bc93f01c804308f14b71ca2d98644caa04..3a05795065e57629dc831063a6fd04213b2ddd37 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,17 @@
+2024-04-10  Jonathan Wakely  <jwakely@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  <jwakely@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  <jwakely@redhat.com>
 
        PR libstdc++/114633