diff options
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ChangeLog | 152 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/analyzer/ChangeLog | 12 | ||||
| -rw-r--r-- | gcc/c-family/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/c/ChangeLog | 21 | ||||
| -rw-r--r-- | gcc/cp/ChangeLog | 45 | ||||
| -rw-r--r-- | gcc/lto/ChangeLog | 11 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 74 | ||||
| -rw-r--r-- | libstdc++-v3/ChangeLog | 21 |
11 files changed, 351 insertions, 1 deletions
@@ -1,3 +1,8 @@ +2023-06-29 Eugene Rozenfeld <erozen@microsoft.com> + + * Makefile.in: Remove -gtoggle for STAGEautoprofile + * Makefile.tpl: Remove -gtoggle for STAGEautoprofile + 2023-06-25 Lehua Ding <lehua.ding@rivai.ai> * MAINTAINERS: Add Lehua Ding to write after approval diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ab319b8..55d20f5 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,155 @@ +2023-06-29 Jan Hubicka <jh@suse.cz> + + PR tree-optimization/109849 + * ipa-fnsummary.cc (decompose_param_expr): Skip + functions returning its parameter. + (set_cond_stmt_execution_predicate): Return early + if predicate was constructed. + +2023-06-29 Qing Zhao <qing.zhao@oracle.com> + + PR c/77650 + * doc/extend.texi: Document GCC extension on a structure containing + a flexible array member to be a member of another structure. + +2023-06-29 Qing Zhao <qing.zhao@oracle.com> + + * print-tree.cc (print_node): Print new bit type_include_flexarray. + * tree-core.h (struct tree_type_common): Use bit no_named_args_stdarg_p + as type_include_flexarray for RECORD_TYPE or UNION_TYPE. + * tree-streamer-in.cc (unpack_ts_type_common_value_fields): Stream + in bit no_named_args_stdarg_p properly for its corresponding type. + * tree-streamer-out.cc (pack_ts_type_common_value_fields): Stream + out bit no_named_args_stdarg_p properly for its corresponding type. + * tree.h (TYPE_INCLUDES_FLEXARRAY): New macro TYPE_INCLUDES_FLEXARRAY. + +2023-06-29 Aldy Hernandez <aldyh@redhat.com> + + * tree-vrp.cc (maybe_set_nonzero_bits): Move from here... + * tree-ssa-dom.cc (maybe_set_nonzero_bits): ...to here. + * tree-vrp.h (maybe_set_nonzero_bits): Remove. + +2023-06-29 Aldy Hernandez <aldyh@redhat.com> + + * value-range.cc (frange::set): Do not call verify_range. + (frange::normalize_kind): Verify range. + (frange::union_nans): Do not call verify_range. + (frange::union_): Same. + (frange::intersect): Same. + (irange::irange_single_pair_union): Call normalize_kind if + necessary. + (irange::union_): Same. + (irange::intersect): Same. + (irange::set_range_from_nonzero_bits): Verify range. + (irange::set_nonzero_bits): Call normalize_kind if necessary. + (irange::get_nonzero_bits): Tweak comment. + (irange::intersect_nonzero_bits): Call normalize_kind if + necessary. + (irange::union_nonzero_bits): Same. + * value-range.h (irange::normalize_kind): Verify range. + +2023-06-29 Uros Bizjak <ubizjak@gmail.com> + + * cselib.h (rtx_equal_for_cselib_1): + Change return type from int to bool. + (references_value_p): Ditto. + (rtx_equal_for_cselib_p): Ditto. + * expr.h (can_store_by_pieces): Ditto. + (try_casesi): Ditto. + (try_tablejump): Ditto. + (safe_from_p): Ditto. + * sbitmap.h (bitmap_equal_p): Ditto. + * cselib.cc (references_value_p): Change return type + from int to void and adjust function body accordingly. + (rtx_equal_for_cselib_1): Ditto. + * expr.cc (is_aligning_offset): Ditto. + (can_store_by_pieces): Ditto. + (mostly_zeros_p): Ditto. + (all_zeros_p): Ditto. + (safe_from_p): Ditto. + (is_aligning_offset): Ditto. + (try_casesi): Ditto. + (try_tablejump): Ditto. + (store_constructor): Change "need_to_clear" and + "const_bounds_p" variables to bool. + * sbitmap.cc (bitmap_equal_p): Change return type from int to bool. + +2023-06-29 Robin Dapp <rdapp@ventanamicro.com> + + * tree-ssa-math-opts.cc (divmod_candidate_p): Use + element_precision. + +2023-06-29 Richard Biener <rguenther@suse.de> + + PR tree-optimization/110460 + * tree-vect-stmts.cc (get_related_vectype_for_scalar_type): + Only allow integral, pointer and scalar float type scalar_type. + +2023-06-29 Lili Cui <lili.cui@intel.com> + + PR tree-optimization/110148 + * tree-ssa-reassoc.cc (rewrite_expr_tree_parallel): Handle loop-carried + ops in this function. + +2023-06-29 Richard Biener <rguenther@suse.de> + + PR middle-end/110452 + * expr.cc (store_constructor): Handle uniform boolean + vectors with integer mode specially. + +2023-06-29 Richard Biener <rguenther@suse.de> + + PR middle-end/110461 + * match.pd (bitop (convert@2 @0) (convert?@3 @1)): Disable + for VECTOR_TYPE_P. + +2023-06-29 Richard Sandiford <richard.sandiford@arm.com> + + * vec.h (gt_pch_nx): Add overloads for va_gc_atomic. + (array_slice): Relax va_gc constructor to handle all vectors + with a vl_embed layout. + +2023-06-29 Pan Li <pan2.li@intel.com> + + * config/riscv/riscv.cc (riscv_emit_mode_set): Add emit for FRM. + (riscv_mode_needed): Likewise. + (riscv_entity_mode_after): Likewise. + (riscv_mode_after): Likewise. + (riscv_mode_entry): Likewise. + (riscv_mode_exit): Likewise. + * config/riscv/riscv.h (NUM_MODES_FOR_MODE_SWITCHING): Add number + for FRM. + * config/riscv/riscv.md: Add FRM register. + * config/riscv/vector-iterators.md: Add FRM type. + * config/riscv/vector.md (frm_mode): Define new attr for FRM mode. + (fsrm): Define new insn for fsrm instruction. + +2023-06-29 Pan Li <pan2.li@intel.com> + + * config/riscv/riscv-protos.h (enum floating_point_rounding_mode): + Add macro for static frm min and max. + * config/riscv/riscv-vector-builtins-bases.cc + (class binop_frm): New class for floating-point with frm. + (BASE): Add vfadd for frm. + * config/riscv/riscv-vector-builtins-bases.h: Likewise. + * config/riscv/riscv-vector-builtins-functions.def + (vfadd_frm): Likewise. + * config/riscv/riscv-vector-builtins-shapes.cc + (struct alu_frm_def): New struct for alu with frm. + (SHAPE): Add alu with frm. + * config/riscv/riscv-vector-builtins-shapes.h: Likewise. + * config/riscv/riscv-vector-builtins.cc + (function_checker::report_out_of_range_and_not): New function + for report out of range and not val. + (function_checker::require_immediate_range_or): New function + for checking in range or one val. + * config/riscv/riscv-vector-builtins.h: Add function decl. + +2023-06-29 Cui, Lili <lili.cui@intel.com> + + * common/config/i386/cpuinfo.h (get_intel_cpu): Remove model value 0xa8 + from Rocketlake, move model value 0xbf from Alderlake to Raptorlake. + 2023-06-28 Hans-Peter Nilsson <hp@axis.com> PR target/110144 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index d3dd503..e742d0e 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230629 +20230630 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 4111a2b..fb2c3d9 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2023-06-29 Richard Sandiford <richard.sandiford@arm.com> + + * gcc-interface/decl.cc (gt_pch_nx): Remove overloads for Entity_Id. + 2023-06-27 Eric Botcazou <ebotcazou@adacore.com> * gcc-interface/Makefile.in (LIBIBERTY): Fix condition. diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index a477da5..6b38d38 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,15 @@ +2023-06-29 benjamin priour <priour.be@gmail.com> + + PR analyzer/110198 + * region-model-manager.cc + (region_model_manager::get_or_create_initial_value): Take an + optional boolean value to bypass poisoning checks + * region-model-manager.h: Update declaration of the above function. + * region-model.cc (region_model::get_store_value): No longer returns + on OOB, but rather gives a boolean to get_or_create_initial_value. + (region_model::check_region_access): Update docstring. + (region_model::check_region_for_write): Update docstring. + 2023-06-24 David Malcolm <dmalcolm@redhat.com> * access-diagram.cc: Add #define INCLUDE_VECTOR. diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 395d88d..6419820 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,8 @@ +2023-06-29 Qing Zhao <qing.zhao@oracle.com> + + PR c/77650 + * c.opt: New option -Wflex-array-member-not-at-end. + 2023-06-28 Jason Merrill <jason@redhat.com> PR c++/110344 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 708c1c2..ed332e5 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,24 @@ +2023-06-29 Qing Zhao <qing.zhao@oracle.com> + + PR c/77650 + * c-decl.cc (finish_struct): Issue warnings for new option. + +2023-06-29 Qing Zhao <qing.zhao@oracle.com> + + * c-decl.cc (finish_struct): Set TYPE_INCLUDES_FLEXARRAY for + struct/union type. + +2023-06-29 Richard Biener <rguenther@suse.de> + + PR c/110454 + * c-typeck.cc (convert_argument): Sink formal_prec compute + to where TYPE_PRECISION is valid to use. + +2023-06-29 Eugene Rozenfeld <erozen@microsoft.com> + + * Make-lang.in: Pass correct stage cc1 when processing + profile data collected while building target libraries + 2023-06-16 David Malcolm <dmalcolm@redhat.com> PR c/107583 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 70d1b63..8e2526f 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,48 @@ +2023-06-29 Patrick Palka <ppalka@redhat.com> + + PR c++/110468 + * init.cc (maybe_instantiate_nsdmi_init): Mask out all + tsubst flags except for tf_warning_or_error. + +2023-06-29 Patrick Palka <ppalka@redhat.com> + + PR c++/110463 + * cp-gimplify.cc (cp_fold) <case CONSTRUCTOR>: Propagate + CONSTRUCTOR_MUTABLE_POISON. + +2023-06-29 Patrick Palka <ppalka@redhat.com> + + * cp-tree.h (tree_template_info::partial): New data member. + (TI_PARTIAL_INFO): New tree accessor. + (most_specialized_partial_spec): Add defaulted bool parameter. + * module.cc (trees_out::core_vals) <case TEMPLATE_INFO>: Stream + TI_PARTIAL_INFO. + (trees_in::core_vals) <case TEMPLATE_INFO>: Likewise. + * parser.cc (specialization_of): Adjust after making + most_specialized_partial_spec return TEMPLATE_INFO instead + of TREE_LIST. + * pt.cc (process_partial_specialization): Set TI_PARTIAL_INFO + of 'decl' to point back to the partial TEMPLATE_DECL. Likewise + (and pass rechecking=true to most_specialization_partial_spec). + (instantiate_class_template): Likewise. + (instantiate_template): Set TI_PARTIAL_INFO to the result of + most_specialization_partial_spec after forming a variable + template specialization. + (most_specialized_partial_spec): Add 'rechecking' parameter. + Exit early if the template is not primary. Use the TI_PARTIAL_INFO + of the corresponding TEMPLATE_INFO as a cache unless 'rechecking' + is true. Don't bother setting TREE_TYPE of each TREE_LIST. + (instantiate_decl): Adjust after making + most_specialized_partial_spec return TEMPLATE_INFO instead of + TREE_LIST. + * ptree.cc (cxx_print_xnode) <case TEMPLATE_INFO>: Dump + TI_PARTIAL_INFO. + +2023-06-29 Eugene Rozenfeld <erozen@microsoft.com> + + * Make-lang.in: Pass correct stage cc1plus when processing + profile data collected while building target libraries + 2023-06-28 Patrick Palka <ppalka@redhat.com> PR c++/89442 diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog index d4d9d88..4df6a2e 100644 --- a/gcc/lto/ChangeLog +++ b/gcc/lto/ChangeLog @@ -1,3 +1,14 @@ +2023-06-29 Qing Zhao <qing.zhao@oracle.com> + + * lto-common.cc (compare_tree_sccs_1): Compare bit + TYPE_NO_NAMED_ARGS_STDARG_P or TYPE_INCLUDES_FLEXARRAY properly + for its corresponding type. + +2023-06-29 Eugene Rozenfeld <erozen@microsoft.com> + + * Make-lang.in: Pass correct stage lto when processing + profile data collected while building target libraries + 2023-06-28 Richard Biener <rguenther@suse.de> * lto-common.cc (compare_tree_sccs_1): Use TYPE_PRECISION_RAW. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index fd1d40b..fedcb17 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,77 @@ +2023-06-29 Jan Hubicka <jh@suse.cz> + + PR tree-optimization/109849 + * gcc.dg/ipa/pr109849.c: New test. + +2023-06-29 Marek Polacek <polacek@redhat.com> + + * gcc.dg/plugin/crash-test-ice-sarif.c: Use -fno-report-bug. Adjust + scan-sarif-file. + * gcc.dg/plugin/crash-test-ice-stderr.c: Use -fno-report-bug. + * gcc.dg/plugin/crash-test-write-though-null-sarif.c: Use + -fno-report-bug. Adjust scan-sarif-file. + * gcc.dg/plugin/crash-test-write-though-null-stderr.c: Use + -fno-report-bug. + +2023-06-29 Marek Polacek <polacek@redhat.com> + + * gcc.target/i386/pr104610.c: Use -fno-stack-protector. + * gcc.target/i386/pr69482-1.c: Likewise. + +2023-06-29 Patrick Palka <ppalka@redhat.com> + + PR c++/110468 + * g++.dg/cpp0x/noexcept79.C: New test. + +2023-06-29 Patrick Palka <ppalka@redhat.com> + + PR c++/110463 + * g++.dg/cpp0x/constexpr-mutable6.C: New test. + +2023-06-29 Qing Zhao <qing.zhao@oracle.com> + + PR c/77650 + * gcc.dg/variable-sized-type-flex-array.c: New test. + +2023-06-29 Roger Sayle <roger@nextmovesoftware.com> + + * gcc.target/i386/pieces-memcmp-2.c: Specify that 128-bit + comparisons are desired, to see if 256-bit instructions are + generated inappropriately (fixes test on -march=cascadelake). + +2023-06-29 Alexandre Oliva <oliva@adacore.com> + + * lib/options.exp (check_for_options_with_filter): Handle + missing frontend compiler like disabled language. + +2023-06-29 Richard Biener <rguenther@suse.de> + + PR middle-end/110452 + * gcc.target/i386/pr110452.c: New file. + +2023-06-29 Richard Biener <rguenther@suse.de> + + PR middle-end/110461 + * gcc.dg/pr110461.c: New testcase. + +2023-06-29 Richard Biener <rguenther@suse.de> + + PR c/110454 + * gcc.dg/Wtraditional-conversion-3.c: New testcase. + +2023-06-29 Pan Li <pan2.li@intel.com> + + * gcc.target/riscv/rvv/base/float-point-frm-insert-1.c: New test. + * gcc.target/riscv/rvv/base/float-point-frm-insert-2.c: New test. + * gcc.target/riscv/rvv/base/float-point-frm-insert-3.c: New test. + * gcc.target/riscv/rvv/base/float-point-frm-insert-4.c: New test. + * gcc.target/riscv/rvv/base/float-point-frm-insert-5.c: New test. + +2023-06-29 Pan Li <pan2.li@intel.com> + + * gcc.target/riscv/rvv/base/float-point-frm-error.c: New test. + * gcc.target/riscv/rvv/base/float-point-frm.c: New test. + 2023-06-28 Hans-Peter Nilsson <hp@axis.com> * lib/target-supports.exp (check_effective_target_lra): Remove diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 4b9d67c..86807fb 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,24 @@ +2023-06-29 Jonathan Wakely <jwakely@redhat.com> + + * src/c++20/tzdb.cc (USE_ATOMIC_SHARED_PTR): Define consistently + with USE_ATOMIC_LIST_HEAD. + (list_mutex): Replace global object with function. Use local + static object when std::mutex constructor isn't constexpr. + +2023-06-29 Jonathan Wakely <jwakely@redhat.com> + + PR libstdc++/110462 + * acinclude.m4 (GLIBCXX_CHECK_FILESYSTEM_DEPS): Check that + copy_file_range can be called with loff_t* arguments. + * configure: Regenerate. + * src/filesystem/ops-common.h (copy_file_copy_file_range): + Use loff_t for offsets. + +2023-06-29 Tom Tromey <tromey@adacore.com> + + * testsuite/lib/gdb-test.exp (gdb-test): Relax type-printer + regexp. + 2023-06-28 Jan Hubicka <jh@suse.cz> PR middle-end/109849 |