diff --git a/fixincludes/ChangeLog b/fixincludes/ChangeLog index 37403c66be0767798a108266c09aa9689a8914f4..1af386ce01e47d7b200d07d85c5fb9cf3ebc47fe 100644 --- a/fixincludes/ChangeLog +++ b/fixincludes/ChangeLog @@ -1,3 +1,10 @@ +2024-06-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org> + + * fixincl.x: Regenerate. + * inclhack.def (darwin_stdint_7, darwin_dispatch_object_1, + darwin_os_trace_2, darwin_os_base_1): Include bypasses + for recent headers, fixed by Apple. + 2024-05-07 Zac Walker <zacwalker@microsoft.com> * mkfixinc.sh: Extend for *-mingw32* targets. diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 33ddca9e303658568b9e33eff6507af6cf2acc57..4291a5705fb70953daa774e4d069690ef5fbc78a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,82 @@ +2024-06-07 David Malcolm <dmalcolm@redhat.com> + + * doc/invoke.texi: Add -Wanalyzer-undefined-behavior-ptrdiff. + +2024-06-07 Jason Merrill <jason@redhat.com> + + * doc/invoke.texi (C++ Modules): Mention -include. + +2024-06-07 Roger Sayle <roger@nextmovesoftware.com> + + PR target/115351 + * config/i386/i386.cc (ix86_rtx_costs): Provide estimates for + the *concatditi3 and *insvti_highpart patterns, about two insns. + +2024-06-07 Roger Sayle <roger@nextmovesoftware.com> + Hongtao Liu <hongtao.liu@intel.com> + + * config/i386/i386-expand.cc (ix86_expand_args_builtin): Call + fixup_modeless_constant before testing predicates. Only call + copy_to_mode_reg on memory operands (after the first one). + (ix86_gen_bcst_mem): Helper function to convert a CONST_VECTOR + into a VEC_DUPLICATE if possible. + (ix86_ternlog_idx): Convert an RTX expression into a ternlog + index between 0 and 255, recording the operands in ARGS, if + possible or return -1 if this is not possible/valid. + (ix86_ternlog_leaf_p): Helper function to identify "leaves" + of a ternlog expression, e.g. REG_P, MEM_P, CONST_VECTOR, etc. + (ix86_ternlog_operand_p): Test whether a expression is suitable + for and prefered as an UNSPEC_TERNLOG. + (ix86_expand_ternlog_binop): Helper function to construct the + binary operation corresponding to a sufficiently simple ternlog. + (ix86_expand_ternlog_andnot): Helper function to construct a + ANDN operation corresponding to a sufficiently simple ternlog. + (ix86_expand_ternlog): Expand a 3-operand ternary logic + expression, constructing either an UNSPEC_TERNLOG or simpler + rtx expression. Called from builtin expanders and pre-reload + splitters. + * config/i386/i386-protos.h (ix86_ternlog_idx): Prototype here. + (ix86_ternlog_operand_p): Likewise. + (ix86_expand_ternlog): Likewise. + * config/i386/predicates.md (ternlog_operand): New predicate + that calls xi86_ternlog_operand_p. + * config/i386/sse.md (<avx512>_vpternlog<mode>_0): New + define_insn_and_split that recognizes a SET_SRC of ternlog_operand + and expands it via ix86_expand_ternlog pre-reload. + (<avx512>_vternlog<mode>_mask): Convert from define_insn to + define_expand. Use ix86_expand_ternlog if the mask operand is + ~0 (or 255 or -1). + (*<avx512>_vternlog<mode>_mask): define_insn renamed from above. + +2024-06-07 Michal Jires <mjires@suse.cz> + + * common.opt: Add cache partitioning. + * flag-types.h (enum lto_partition_model): Likewise. + +2024-06-07 Richard Biener <rguenther@suse.de> + + * tree-vect-loop.cc (vectorize_fold_left_reduction): Fix + mask vector operand indexing. + +2024-06-07 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/115352 + * gimple-lower-bitint.cc (lower_addsub_overflow): Don't disable + single_comparison if cmp_code is GE_EXPR. + +2024-06-07 Alexandre Oliva <oliva@adacore.com> + + * target.def (call_offset_return_label): New hook. + * doc/tm.texi.in (TARGET_CALL_OFFSET_RETURN_LABEL): Add + placeholder. + * doc/tm.texi: Rebuild. + * dwarf2out.cc (struct call_arg_loc_node): Record call_insn + instead of call_arg_loc_note. + (add_AT_lbl_id): Add optional offset argument. + (gen_call_site_die): Compute and pass on a return pc offset. + (gen_subprogram_die): Move call_arg_loc_note computation... + (dwarf2out_var_location): ... from here. Set call_insn. + 2024-06-06 Pan Li <pan2.li@intel.com> * doc/match-and-simplify.texi: Add doc for the matching flag '^'. diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index de43a34b9136fec7b0a3b4fb57ce26deb58d3bc4..ee1c5e1ee910d4039563fde43f9955d5490551f8 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20240607 +20240608 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 50f20caeb32caa6def456d898f89a423951fa301..0e453ef84f7048ccc5214b1857e738792cc413d7 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,62 @@ +2024-06-07 David Malcolm <dmalcolm@redhat.com> + + * engine.cc (impl_region_model_context::on_state_leak): Pass nullptr + to get_representative_path_var. + * region-model.cc (region_model::get_representative_path_var_1): + Add logger param and use it in both overloads. + (region_model::get_representative_path_var): Likewise. + (region_model::get_representative_tree): Likewise. + (selftest::test_get_representative_path_var): Pass nullptr to + get_representative_path_var. + * region-model.h (region_model::get_representative_tree): Add + optional logger param to both overloads. + (region_model::get_representative_path_var): Add logger param to + both overloads. + (region_model::get_representative_path_var_1): Likewise. + * store.cc (binding_cluster::get_representative_path_vars): Add + logger param and use it. + (store::get_representative_path_vars): Likewise. + * store.h (binding_cluster::get_representative_path_vars): Add + logger param. + (store::get_representative_path_vars): Likewise. + +2024-06-07 David Malcolm <dmalcolm@redhat.com> + + * call-summary.cc + (call_summary_replay::convert_region_from_summary_1): Update + for removal of cast_region::m_original_region. + * region-model-manager.cc + (region_model_manager::get_or_create_initial_value): Likewise. + * region-model.cc (region_model::get_store_value): Likewise. + * region.cc (region::get_base_region): Likewise. + (region::descendent_of_p): Likewise. + (region::maybe_get_frame_region): Likewise. + (region::get_memory_space): Likewise. + (region::calc_offset): Likewise. + (cast_region::accept): Delete. + (cast_region::dump_to_pp): Update for removal of + cast_region::m_original_region. + (cast_region::add_dump_widget_children): Delete. + * region.h (struct cast_region::key_t): Rename "original_region" + to "parent". + (cast_region::cast_region): Likewise. Update for removal of + cast_region::m_original_region. + (cast_region::accept): Delete. + (cast_region::add_dump_widget_children): Delete. + (cast_region::get_original_region): Delete. + (cast_region::m_original_region): Delete. + * sm-taint.cc (region_model::check_region_for_taint): Remove + special-casing for RK_CAST. + +2024-06-07 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/105892 + * analyzer.opt (Wanalyzer-undefined-behavior-ptrdiff): New option. + * analyzer.opt.urls: Regenerate. + * region-model.cc (class undefined_ptrdiff_diagnostic): New. + (check_for_invalid_ptrdiff): New. + (region_model::get_gassign_result): Call it for POINTER_DIFF_EXPR. + 2024-06-01 David Malcolm <dmalcolm@redhat.com> PR analyzer/106203 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 4a389e22881ac2499e896f92a9b3ea6941b9f3a3..f2af41b40944757f148bbe0694b736e36870bb90 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,23 @@ +2024-06-07 Simon Martin <simon@nasilyan.com> + + PR c++/107575 + * decl.cc (duplicate_decls): Check for error_mark_node + DECL_LOCAL_DECL_ALIAS. + +2024-06-07 Jason Merrill <jason@redhat.com> + + * module.cc (maybe_translate_include): Allow before the main file. + +2024-06-07 Patrick Palka <ppalka@redhat.com> + + PR c++/115378 + * lambda.cc (lambda_capture_field_type): Set + TEMPLATE_TYPE_PARAMETER_PACK on the auto type of an init-capture + pack expansion. + * pt.cc (find_parameter_packs_r) <case TEMPLATE_TYPE_PARM>: + Restrict TEMPLATE_TYPE_PARAMETER_PACK promotion with + flag_concepts_ts. + 2024-06-05 Jakub Jelinek <jakub@redhat.com> Frederik Harwath <frederik@codesourcery.com> Sandra Loosemore <sandra@codesourcery.com> diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 4ef3e119f5d7d97da9fe4621e4bc56775cf4953a..115cd484c02b5346edd3f8ec165c579d002c1760 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,22 @@ +2024-06-07 Andre Vehreschild <vehre@gcc.gnu.org> + + PR fortran/90068 + * trans-array.cc (gfc_trans_array_ctor_element): Eval non- + variable expressions once only. + (gfc_trans_array_constructor_value): Add statements of + final block. + (trans_array_constructor): Detect when final block is required. + +2024-06-07 Andre Vehreschild <vehre@gcc.gnu.org> + + PR fortran/90072 + * expr.cc (gfc_is_alloc_class_scalar_function): Detect + allocatable class return types also for user-defined + functions. + * trans-expr.cc (gfc_conv_procedure_call): Same. + (trans_class_vptr_len_assignment): Compute vptr len + assignment correctly for user-defined functions. + 2024-06-05 Jakub Jelinek <jakub@redhat.com> Frederik Harwath <frederik@codesourcery.com> Sandra Loosemore <sandra@codesourcery.com> diff --git a/gcc/go/ChangeLog b/gcc/go/ChangeLog index b255ae98160e1ad910221b8501d75dce6783f33e..810b2fa0e7ab95756f9557e8c510ba28a19f1555 100644 --- a/gcc/go/ChangeLog +++ b/gcc/go/ChangeLog @@ -1,3 +1,8 @@ +2024-06-07 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> + + * gospec.cc (lang_specific_driver) [TARGET_SOLARIS !USE_GLD]: Only + add -t if linking. + 2024-05-26 Gerald Pfeifer <gerald@pfeifer.com> * gccgo.texi (Top): Move a web reference from golang.org to go.dev. diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog index 89b9fceb2764fa8152eb1a580fff2e5d5ad794ba..718c556bbda37b11e5ee2917f23dc92145997b27 100644 --- a/gcc/lto/ChangeLog +++ b/gcc/lto/ChangeLog @@ -1,3 +1,28 @@ +2024-06-07 Simon Martin <simon@nasilyan.com> + + * lto-partition.cc: Define INCLUDE_VECTOR to avoid running into + poisoned identifiers. + +2024-06-07 Michal Jires <mjires@suse.cz> + + * lto-partition.cc (new_partition): Use new_partition_no_push. + (new_partition_no_push): New. + (free_ltrans_partition): New. + (free_ltrans_partitions): Use free_ltrans_partition. + (join_partitions): New. + (split_partition_into_nodes): New. + (is_partition_reorder): New. + (class partition_set): New. + (distribute_n_partitions): New. + (partition_over_target_split): New. + (partition_binary_split): New. + (partition_fixed_split): New. + (class partitioner_base): New. + (class partitioner_default): New. + (lto_cache_map): New. + * lto-partition.h (lto_cache_map): New. + * lto.cc (do_whole_program_analysis): Use lto_cache_map. + 2024-06-06 Michal Jires <mjires@suse.cz> * lto-common.cc (lto_section_with_id): Dont load suffix during LTRANS. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f2569929416d61215516fca464e88a2b0a237f55..1e7493fc1fef33efe48783cc9bfd2ca7612b1be8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,143 @@ +2024-06-07 David Malcolm <dmalcolm@redhat.com> + + * gcc.dg/analyzer/taint-alloc-4.c: Update expected result to + reflect change in message due to + region_model::get_representative_path_var_1 now handling RK_CAST. + +2024-06-07 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/105892 + * c-c++-common/analyzer/out-of-bounds-pr110387.c: Add + expected warnings about pointer subtraction. + * c-c++-common/analyzer/ptr-subtraction-1.c: New test. + * c-c++-common/analyzer/ptr-subtraction-CWE-469-example.c: New test. + +2024-06-07 Simon Martin <simon@nasilyan.com> + + PR c++/107575 + * g++.dg/parse/crash74.C: New test. + +2024-06-07 Jason Merrill <jason@redhat.com> + + * g++.dg/modules/dashinclude-1_b.C: New test. + * g++.dg/modules/dashinclude-1_a.H: New test. + +2024-06-07 Patrick Palka <ppalka@redhat.com> + + PR c++/115378 + * g++.dg/cpp1y/decltype-auto-103497.C: Adjust expected diagnostic. + * g++.dg/template/pr95672.C: Likewise. + * g++.dg/cpp2a/lambda-targ5.C: New test. + +2024-06-07 Roger Sayle <roger@nextmovesoftware.com> + + PR target/115351 + * g++.target/i386/pr115351.C: New test case. + +2024-06-07 Roger Sayle <roger@nextmovesoftware.com> + Hongtao Liu <hongtao.liu@intel.com> + + * gcc.target/i386/avx512f-vpternlogd-1.c: Update test case. + * gcc.target/i386/avx512f-vpternlogq-1.c: Likewise. + * gcc.target/i386/avx512vl-vpternlogd-1.c: Likewise. + * gcc.target/i386/avx512vl-vpternlogq-1.c: Likewise. + * gcc.target/i386/pr100711-4.c: Likewise. + * gcc.target/i386/pr100711-5.c: Likewise. + * gcc.target/i386/avx512f-vpternlogd-3.c: New 128-bit test case. + * gcc.target/i386/avx512f-vpternlogd-4.c: New 256-bit test case. + * gcc.target/i386/avx512f-vpternlogd-5.c: New 512-bit test case. + * gcc.target/i386/avx512f-vpternlogq-3.c: New test case. + +2024-06-07 Michal Jires <mjires@suse.cz> + + * gcc.dg/completion-2.c: Add -flto-partition=cache. + +2024-06-07 Andre Vehreschild <vehre@gcc.gnu.org> + + PR fortran/90068 + * gfortran.dg/finalize_57.f90: New test. + +2024-06-07 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/115352 + * gcc.dg/torture/bitint-71.c: New test. + +2024-06-07 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> + + PR go/87589 + * go.test/go-test.exp (go-gc-tests): Require split-stack support + for index0.go. + +2024-06-07 Andre Vehreschild <vehre@gcc.gnu.org> + + PR fortran/90072 + * gfortran.dg/class_77.f90: New test. + +2024-06-07 liuhongt <hongtao.liu@intel.com> + + * gcc.dg/vect/pr112325.c:Add additional option --param + max-completely-peeled-insns=200 for power64*-*-*. + +2024-06-07 Pan Li <pan2.li@intel.com> + + * gcc.target/riscv/sat_arith.h: Add test macro for form 5. + * gcc.target/riscv/sat_u_add-21.c: New test. + * gcc.target/riscv/sat_u_add-22.c: New test. + * gcc.target/riscv/sat_u_add-23.c: New test. + * gcc.target/riscv/sat_u_add-24.c: New test. + * gcc.target/riscv/sat_u_add-run-21.c: New test. + * gcc.target/riscv/sat_u_add-run-22.c: New test. + * gcc.target/riscv/sat_u_add-run-23.c: New test. + * gcc.target/riscv/sat_u_add-run-24.c: New test. + +2024-06-07 Pan Li <pan2.li@intel.com> + + * gcc.target/riscv/sat_arith.h: Add test macro for form 4. + * gcc.target/riscv/sat_u_add-17.c: New test. + * gcc.target/riscv/sat_u_add-18.c: New test. + * gcc.target/riscv/sat_u_add-19.c: New test. + * gcc.target/riscv/sat_u_add-20.c: New test. + * gcc.target/riscv/sat_u_add-run-17.c: New test. + * gcc.target/riscv/sat_u_add-run-18.c: New test. + * gcc.target/riscv/sat_u_add-run-19.c: New test. + * gcc.target/riscv/sat_u_add-run-20.c: New test. + +2024-06-07 Pan Li <pan2.li@intel.com> + + * gcc.target/riscv/sat_arith.h: Add test macro for form 3. + * gcc.target/riscv/sat_u_add-13.c: New test. + * gcc.target/riscv/sat_u_add-14.c: New test. + * gcc.target/riscv/sat_u_add-15.c: New test. + * gcc.target/riscv/sat_u_add-16.c: New test. + * gcc.target/riscv/sat_u_add-run-13.c: New test. + * gcc.target/riscv/sat_u_add-run-14.c: New test. + * gcc.target/riscv/sat_u_add-run-15.c: New test. + * gcc.target/riscv/sat_u_add-run-16.c: New test. + +2024-06-07 Pan Li <pan2.li@intel.com> + + * gcc.target/riscv/sat_arith.h: Add test macro for form 2. + * gcc.target/riscv/sat_u_add-10.c: New test. + * gcc.target/riscv/sat_u_add-11.c: New test. + * gcc.target/riscv/sat_u_add-12.c: New test. + * gcc.target/riscv/sat_u_add-9.c: New test. + * gcc.target/riscv/sat_u_add-run-10.c: New test. + * gcc.target/riscv/sat_u_add-run-11.c: New test. + * gcc.target/riscv/sat_u_add-run-12.c: New test. + * gcc.target/riscv/sat_u_add-run-9.c: New test. + +2024-06-07 Pan Li <pan2.li@intel.com> + + * gcc.target/riscv/sat_arith.h: Add helper macro for form 1. + * gcc.target/riscv/sat_u_add-5.c: New test. + * gcc.target/riscv/sat_u_add-6.c: New test. + * gcc.target/riscv/sat_u_add-7.c: New test. + * gcc.target/riscv/sat_u_add-8.c: New test. + * gcc.target/riscv/sat_u_add-run-5.c: New test. + * gcc.target/riscv/sat_u_add-run-6.c: New test. + * gcc.target/riscv/sat_u_add-run-7.c: New test. + * gcc.target/riscv/sat_u_add-run-8.c: New test. + 2024-06-06 Jakub Jelinek <jakub@redhat.com> PR c/114493 diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog index 3e6f592b0526f631301c71ea9690bfc73edf7870..6025ebfba42e5989a4fe4cb53a1bb11b46d4dde6 100644 --- a/libcpp/ChangeLog +++ b/libcpp/ChangeLog @@ -1,3 +1,7 @@ +2024-06-07 Jason Merrill <jason@redhat.com> + + * files.cc (_cpp_stack_file): LC_ENTER for -include header unit. + 2024-05-29 Jason Merrill <jason@redhat.com> * mkdeps.cc (make_write): Change .c++m to .c++-module. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index acbd7165d5f58f29ce2e69ef90bd2e97e0119e30..bad8cff02b299f8b50cb0ec04969996178cad0af 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,16 @@ +2024-06-07 Jonathan Wakely <jwakely@redhat.com> + + * include/bits/ranges_algobase.h: Include <bits/stl_algobase.h>. + +2024-06-07 Alexandre Oliva <oliva@adacore.com> + + * include/std/variant: Drop obsolete workaround. + +2024-06-07 Jonathan Wakely <jwakely@redhat.com> + + * include/bits/ptr_traits.h (to_address): Optimize. + * testsuite/20_util/to_address/1_neg.cc: Adjust dg-error text. + 2024-06-06 Alexandre Oliva <oliva@adacore.com> * include/bits/c++config (_GLIBCXX_CLANG): Define or undefine.