From 0f3e76ee53a610a80e0fa032a252ed9d2505e6b7 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Thu, 11 Apr 2024 00:17:54 +0000 Subject: [PATCH] Daily bump. --- 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 + + 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 + + * doc/analyzer.texi: Various tweaks. + +2024-04-10 Richard Biener + + PR tree-optimization/114672 + * tree-ssa-math-opts.cc (convert_plusminus_to_widen): Only + allow mode-precision results. + +2024-04-10 Andre Vieira + + * 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 + + * 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 + + 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 + + Revert: + 2024-03-27 Segher Boessenkool + + 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 + + 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 + + * 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. + (aesu8): Use "jm" instead of "m" for memory + constraint. + (*aesu8): Likewise. + (*encodekey128u32): Use "jr" instead of "r" for register + constraints. + (*encodekey256u32): Likewise. + 2024-04-09 Juergen Christ * 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 + + 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 + + * 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 + + * infinite-recursion.cc: Include "diagnostic-format-sarif.h". + (infinite_recursion_diagnostic::maybe_add_sarif_properties): New. + +2024-04-10 David Malcolm + + * 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 + + * 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 * 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 + + 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 + + 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 + + PR c++/99377 + * module.cc (trees_in::install_entity): Overwrite entity map + index if installing from a partition. + 2024-04-09 Jakub Jelinek 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 + + 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 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 + + * gcc.pot: Regenerate. + 2024-04-08 Joseph Myers * 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 + + Revert: + 2024-04-05 Hans-Peter Nilsson + + * gcc.target/cris/pr93372-2.c: Tweak scan-assembler + checks to cover recent combine improvement. + +2024-04-10 Marek Polacek + + PR target/114606 + * gcc.target/i386/fhardened-1.c: New test. + * gcc.target/i386/fhardened-2.c: New test. + +2024-04-10 David Malcolm + + * c-c++-common/analyzer/out-of-bounds-pr114472.c: New test. + +2024-04-10 David Malcolm + + * c-c++-common/analyzer/memset-1.c: Clarify some comments. + +2024-04-10 David Malcolm + + * 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 + + 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 + + PR tree-optimization/114672 + * gcc.dg/torture/pr114672.c: New testcase. + +2024-04-10 Andre Vieira + + * 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 + + 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 + + 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 + + PR c++/104040 + * g++.dg/modules/pr104040_a.C: New test. + * g++.dg/modules/pr104040_b.C: New test. + +2024-04-10 Nathaniel Shead + + 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 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 + + * 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 * 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 + + * 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 + + * 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 PR libstdc++/114633