From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id 150E83857350; Sat, 16 Jul 2022 00:17:05 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 150E83857350 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r13-1718] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 2582080f19e8fe9c1204dfb6fecf744311f00777 X-Git-Newrev: bdc7b765f8728cbb769fe1eeef773eda15578aee Message-Id: <20220716001705.150E83857350@sourceware.org> Date: Sat, 16 Jul 2022 00:17:05 +0000 (GMT) X-BeenThere: libstdc++-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libstdc++-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 16 Jul 2022 00:17:05 -0000 https://gcc.gnu.org/g:bdc7b765f8728cbb769fe1eeef773eda15578aee commit r13-1718-gbdc7b765f8728cbb769fe1eeef773eda15578aee Author: GCC Administrator Date: Sat Jul 16 00:16:30 2022 +0000 Daily bump. Diff: --- ChangeLog | 4 ++ gcc/ChangeLog | 111 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 34 +++++++++++++++ gcc/c-family/ChangeLog | 14 ++++++ gcc/cp/ChangeLog | 25 +++++++++++ gcc/fortran/ChangeLog | 6 +++ gcc/go/ChangeLog | 5 +++ gcc/testsuite/ChangeLog | 49 +++++++++++++++++++++ libcpp/ChangeLog | 7 +++ libstdc++-v3/ChangeLog | 17 ++++++++ 11 files changed, 273 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 2c32b6403f0..171f4903445 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2022-07-15 Andrew Carlotti + + * MAINTAINERS: Add myself to Write After Approval. + 2022-07-04 Martin Liska * MAINTAINERS: fix sorting of names diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 323b46f2ffd..dc8d2e74c34 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,114 @@ +2022-07-15 H.J. Lu + + PR target/85620 + * config/i386/i386.cc (ix86_function_ok_for_sibcall): Return + false if callee has indirect_return attribute and caller + doesn't. + +2022-07-15 Roger Sayle + + PR target/106273 + * config/i386/i386.md (*andn3_doubleword_bmi): Update the + constraints to reflect the output is earlyclobber, unless it is + the same register (pair) as one of the operands. + +2022-07-15 David Malcolm + + * doc/invoke.texi (Static Analyzer Options): Add the new fd + warnings to the initial gccoptlist, and to the list of those + disabled by -fanalyzer-checker=taint. + +2022-07-15 Andrew Carlotti + + * config/aarch64/aarch64-builtins.cc + (enum aarch64_type_qualifiers): Remove qualifier_internal. + (aarch64_init_simd_builtin_functions): Remove qualifier_internal check. + +2022-07-15 Andrew Carlotti + + * config/aarch64/aarch64-builtins.cc + (v1di_UP): Add V1DI mode to _UP macros. + * config/aarch64/aarch64-modes.def (VECTOR_MODE): Add V1DI mode. + * config/aarch64/aarch64-simd-builtin-types.def: Use V1DI mode. + * config/aarch64/aarch64-simd.md + (vec_extractv2dfv1df): Replace with... + (vec_extract): ...this. + * config/aarch64/aarch64.cc + (aarch64_classify_vector_mode): Add V1DI mode. + * config/aarch64/iterators.md + (VQ_2E, V1HALF, V1half): New. + (nunits): Add V1DI mode. + +2022-07-15 Roger Sayle + + PR target/106278 + * config/i386/i386-features.cc (general_scalar_chain::convert_insn): + Fix indentation whitespace. + (timode_scalar_chain::fix_debug_reg_uses): Likewise. + (timode_scalar_chain::convert_insn): Delete dead code. + Update TImode REG_EQUAL_NOTE even if the SET_DEST is already V1TI. + Fix indentation whitespace. + (convertible_comparison_p): Likewise. + (timode_scalar_to_vector_candidate_p): Likewise. + +2022-07-15 Aldy Hernandez + + * gimple-pretty-print.cc (dump_ssaname_info): Use pp_vrange. + +2022-07-15 Aldy Hernandez + + * Makefile.in (OBJS): Add value-range-pretty-print.o. + * pretty-print.h (pp_vrange): New. + * value-range.cc (vrange::dump): Call pp version. + (unsupported_range::dump): Move to its own file. + (dump_bound_with_infinite_markers): Same. + (irange::dump): Same. + (irange::dump_bitmasks): Same. + (vrange::debug): Remove. + * value-range.h: Remove virtual designation for dump methods. + Remove dump_bitmasks method. + * value-range-pretty-print.cc: New file. + * value-range-pretty-print.h: New file. + +2022-07-15 Aldy Hernandez + + * value-range.cc (irange::accept): New. + (unsupported_range::accept): New. + * value-range.h (class vrange_visitor): New. + (class vrange): Add accept method. + (class unsupported_range): Same. + (class Value_Range): Same. + +2022-07-15 Jonathan Wakely + + * diagnostic-format-json.cc (json_from_location_range): Adjust + to new label_text API. + * diagnostic-format-sarif.cc (sarif_builder::make_location_object): + Likewise. + * diagnostic-show-locus.cc (struct pod_label_text): Likewise. + (layout::print_any_labels): Likewise. + * tree-diagnostic-path.cc (class path_label): Likewise. + (struct event_range): Likewise. + (default_tree_diagnostic_path_printer): Likewise. + (default_tree_make_json_for_path): Likewise. + +2022-07-15 konglin1 + + PR target/106113 + * config/i386/i386-builtin.def (BDESC): Fix [u]comi{ss,sd} + comparison due to intrinsics changed over time. + * config/i386/i386-expand.cc (ix86_ssecom_setcc): + Add unordered check and mode for sse comi codegen. + (ix86_expand_sse_comi): Add unordered check and check a different + CCmode. + (ix86_expand_sse_comi_round):Extract unordered check and mode part + in ix86_ssecom_setcc. + +2022-07-15 Prathamesh Kulkarni + + * config/aarch64/aarch64.cc (aarch64_vectorize_vec_perm_const): Use + op_mode instead of vmode in calls to force_reg for op0 and op1. + 2022-07-14 H.J. Lu PR tree-optimization/103798 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 5d08726610c..cedfb434cc2 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220715 +20220716 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 06d845465fa..4f010eb75d7 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,37 @@ +2022-07-15 David Malcolm + + PR analyzer/106284 + * sm-taint.cc (taint_state_machine::on_condition): Handle range + checks optimized by build_range_check. + +2022-07-15 Jonathan Wakely + + * call-info.cc (call_info::print): Adjust to new label_text API. + * checker-path.cc (checker_event::dump): Likewise. + (region_creation_event::get_desc): Likewise. + (state_change_event::get_desc): Likewise. + (superedge_event::should_filter_p): Likewise. + (start_cfg_edge_event::get_desc): Likewise. + (call_event::get_desc): Likewise. + (return_event::get_desc): Likewise. + (warning_event::get_desc): Likewise. + (checker_path::dump): Likewise. + (checker_path::debug): Likewise. + * diagnostic-manager.cc (diagnostic_manager::prune_for_sm_diagnostic): + Likewise. + (diagnostic_manager::prune_interproc_events): Likewise. + * engine.cc (feasibility_state::maybe_update_for_edge): + Likewise. + * program-state.cc (sm_state_map::to_json): Likewise. + * region-model-impl-calls.cc (region_model::impl_call_analyzer_describe): Likewise. + (region_model::impl_call_analyzer_dump_capacity): Likewise. + * region.cc (region::to_json): Likewise. + * sm-malloc.cc (inform_nonnull_attribute): Likewise. + * store.cc (binding_map::to_json): Likewise. + (store::to_json): Likewise. + * supergraph.cc (superedge::dump): Likewise. + * svalue.cc (svalue::to_json): Likewise. + 2022-07-07 David Malcolm * checker-path.cc (start_cfg_edge_event::get_desc): Update for diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index d46eb18718e..ade553f42fa 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,17 @@ +2022-07-15 Marek Polacek + + PR c++/104477 + * c-common.cc (c_common_reswords): Add + __reference_constructs_from_temporary and + __reference_converts_from_temporary. + * c-common.h (enum rid): Add RID_REF_CONSTRUCTS_FROM_TEMPORARY and + RID_REF_CONVERTS_FROM_TEMPORARY. + +2022-07-15 Jonathan Wakely + + * c-format.cc (class range_label_for_format_type_mismatch): + Adjust to new label_text API. + 2022-07-11 Lewis Hyatt PR preprocessor/106252 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index aa317e867be..ce6f8ea0f21 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,28 @@ +2022-07-15 Marek Polacek + + PR c++/104477 + * call.cc (ref_conv_binds_directly_p): Rename to ... + (ref_conv_binds_directly): ... this. Add a new bool parameter. Change + the return type to tristate. + * constraint.cc (diagnose_trait_expr): Handle + CPTK_REF_CONSTRUCTS_FROM_TEMPORARY and CPTK_REF_CONVERTS_FROM_TEMPORARY. + * cp-tree.h: Include "tristate.h". + (enum cp_trait_kind): Add CPTK_REF_CONSTRUCTS_FROM_TEMPORARY + and CPTK_REF_CONVERTS_FROM_TEMPORARY. + (ref_conv_binds_directly_p): Rename to ... + (ref_conv_binds_directly): ... this. + (ref_xes_from_temporary): Declare. + * cxx-pretty-print.cc (pp_cxx_trait_expression): Handle + CPTK_REF_CONSTRUCTS_FROM_TEMPORARY and CPTK_REF_CONVERTS_FROM_TEMPORARY. + * method.cc (ref_xes_from_temporary): New. + * parser.cc (cp_parser_primary_expression): Handle + RID_REF_CONSTRUCTS_FROM_TEMPORARY and RID_REF_CONVERTS_FROM_TEMPORARY. + (cp_parser_trait_expr): Likewise. + (warn_for_range_copy): Adjust to call ref_conv_binds_directly. + * semantics.cc (trait_expr_value): Handle + CPTK_REF_CONSTRUCTS_FROM_TEMPORARY and CPTK_REF_CONVERTS_FROM_TEMPORARY. + (finish_trait_expr): Likewise. + 2022-07-13 Patrick Palka PR c++/105912 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index f02b65fbc59..cfe1e6df7f0 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2022-07-15 Steve Kargl + + PR fortran/104313 + * trans-decl.cc (gfc_generate_return): Do not generate conflicting + fake results for functions with no result variable under -ff2c. + 2022-07-14 Harald Anlauf Steven G. Kargl diff --git a/gcc/go/ChangeLog b/gcc/go/ChangeLog index 5fdf423fec7..6ad883f8b2e 100644 --- a/gcc/go/ChangeLog +++ b/gcc/go/ChangeLog @@ -1,3 +1,8 @@ +2022-07-15 Ian Lance Taylor + + * go-gcc.cc (Gcc_backend::call_expression): Handle a void + argument, as for f(g()) where g returns a zero-sized type. + 2022-06-02 David Malcolm * go-lang.cc (go_get_sarif_source_language): New. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index cfdf6462425..cc8ea71642a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,52 @@ +2022-07-15 H.J. Lu + + PR target/85620 + * gcc.target/i386/pr85620-2.c: Updated. + * gcc.target/i386/pr85620-5.c: New test. + * gcc.target/i386/pr85620-6.c: Likewise. + * gcc.target/i386/pr85620-7.c: Likewise. + +2022-07-15 Roger Sayle + + PR target/106273 + * gcc.target/i386/pr106273.c: New test case. + +2022-07-15 Steve Kargl + + PR fortran/104313 + * gfortran.dg/pr104313.f: New test. + +2022-07-15 Marek Polacek + + PR c++/104477 + * g++.dg/ext/reference_constructs_from_temporary1.C: New test. + * g++.dg/ext/reference_converts_from_temporary1.C: New test. + +2022-07-15 David Malcolm + + PR analyzer/106284 + * gcc.dg/analyzer/torture/taint-read-index-2.c: New test. + +2022-07-15 Roger Sayle + + * gcc.dg/pr106278.c: New test case. + +2022-07-15 konglin1 + + PR target/106113 + * gcc.target/i386/avx-vcomisd-pr106113-2.c: New test. + * gcc.target/i386/avx-vcomiss-pr106113-2.c: Ditto. + * gcc.target/i386/avx-vucomisd-pr106113-2.c: Ditto. + * gcc.target/i386/avx-vucomiss-pr106113-2.c: Ditto. + * gcc.target/i386/sse-comiss-pr106113-1.c: Ditto. + * gcc.target/i386/sse-comiss-pr106113-2.c: Ditto. + * gcc.target/i386/sse-ucomiss-pr106113-1.c: Ditto. + * gcc.target/i386/sse-ucomiss-pr106113-2.c: Ditto. + * gcc.target/i386/sse2-comisd-pr106113-1.c: Ditto. + * gcc.target/i386/sse2-comisd-pr106113-2.c: Ditto. + * gcc.target/i386/sse2-ucomisd-pr106113-1.c: Ditto. + * gcc.target/i386/sse2-ucomisd-pr106113-2.c: Ditto. + 2022-07-14 H.J. Lu PR tree-optimization/103798 diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog index fe02298eb2a..4905bd57e1b 100644 --- a/libcpp/ChangeLog +++ b/libcpp/ChangeLog @@ -1,3 +1,10 @@ +2022-07-15 Jonathan Wakely + + * include/line-map.h (label_text::take_or_copy): Remove. + (label_text::moved_from): Rename to release. + (label_text::m_buffer, label_text::m_owned): Make private. + (label_text::get, label_text::is_owned): New accessors. + 2022-07-13 Marek Polacek PR preprocessor/106272 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 5f0bbd72445..1980646dd80 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,20 @@ +2022-07-15 Marek Polacek + + PR c++/104477 + * include/std/type_traits (reference_constructs_from_temporary, + reference_converts_from_temporary): New class templates. + (reference_constructs_from_temporary_v, + reference_converts_from_temporary_v): New variable templates. + (__cpp_lib_reference_from_temporary): Define for C++23. + * include/std/version (__cpp_lib_reference_from_temporary): Define for + C++23. + * testsuite/20_util/variable_templates_for_traits.cc: Test + reference_constructs_from_temporary_v and + reference_converts_from_temporary_v. + * testsuite/20_util/reference_from_temporary/value.cc: New test. + * testsuite/20_util/reference_from_temporary/value2.cc: New test. + * testsuite/20_util/reference_from_temporary/version.cc: New test. + 2022-07-12 Jonathan Wakely PR libstdc++/106248