From 0f3e76ee53a610a80e0fa032a252ed9d2505e6b7 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Thu, 11 Apr 2024 00:17:54 +0000 Subject: 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 +++++++++++++++++++++++++++++++++++++++++++++++++ 7 files changed, 260 insertions(+), 1 deletion(-) (limited to 'gcc') 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 + + 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 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 + + 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 537c6a2..c466ce6 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 d0bfcef..a270aea 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 fd264de..94470aa 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 0bb7c40..4bf575b 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 -- cgit v1.1