Daily bump.

diff --git a/ChangeLog b/ChangeLog
index 2c32b64..171f490 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2022-07-15  Andrew Carlotti  <andrew.carlotti@arm.com>
+
+       * MAINTAINERS: Add myself to Write After Approval.
+
 2022-07-04  Martin Liska  <mliska@suse.cz>
 
        * MAINTAINERS: fix sorting of names

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 323b46f..dc8d2e7 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,114 @@
+2022-07-15  H.J. Lu  <hjl.tools@gmail.com>
+
+       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  <roger@nextmovesoftware.com>
+
+       PR target/106273
+       * config/i386/i386.md (*andn<dwi>3_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  <dmalcolm@redhat.com>
+
+       * 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  <andrew.carlotti@arm.com>
+
+       * 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  <andrew.carlotti@arm.com>
+
+       * 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<mode><V1half>): ...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  <roger@nextmovesoftware.com>
+
+       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  <aldyh@redhat.com>
+
+       * gimple-pretty-print.cc (dump_ssaname_info): Use pp_vrange.
+
+2022-07-15  Aldy Hernandez  <aldyh@redhat.com>
+
+       * 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  <aldyh@redhat.com>
+
+       * 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  <jwakely@redhat.com>
+
+       * 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  <lingling.kong@intel.com>
+
+       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  <prathamesh.kulkarni@linaro.org>
+
+       * 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  <hjl.tools@gmail.com>
 
        PR tree-optimization/103798

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 5d08726..cedfb43 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220715
+20220716

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 06d8454..4f010eb 100644 (file)
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,37 @@
+2022-07-15  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/106284
+       * sm-taint.cc (taint_state_machine::on_condition): Handle range
+       checks optimized by build_range_check.
+
+2022-07-15  Jonathan Wakely  <jwakely@redhat.com>
+
+       * 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  <dmalcolm@redhat.com>
 
        * checker-path.cc (start_cfg_edge_event::get_desc): Update for

diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index d46eb18..ade553f 100644 (file)
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,17 @@
+2022-07-15  Marek Polacek  <polacek@redhat.com>
+
+       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  <jwakely@redhat.com>
+
+       * c-format.cc (class range_label_for_format_type_mismatch):
+       Adjust to new label_text API.
+
 2022-07-11  Lewis Hyatt  <lhyatt@gmail.com>
 
        PR preprocessor/106252

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index aa317e8..ce6f8ea 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,28 @@
+2022-07-15  Marek Polacek  <polacek@redhat.com>
+
+       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  <ppalka@redhat.com>
 
        PR c++/105912

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index f02b65f..cfe1e6d 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2022-07-15  Steve Kargl  <kargl@gcc.gnu.org>
+
+       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  <anlauf@gmx.de>
            Steven G. Kargl  <kargl@gcc.gnu.org>
 

diff --git a/gcc/go/ChangeLog b/gcc/go/ChangeLog
index 5fdf423..6ad883f 100644 (file)
--- a/gcc/go/ChangeLog
+++ b/gcc/go/ChangeLog
@@ -1,3 +1,8 @@
+2022-07-15  Ian Lance Taylor  <iant@golang.org>
+
+       * 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  <dmalcolm@redhat.com>
 
        * go-lang.cc (go_get_sarif_source_language): New.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index cfdf646..cc8ea71 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,52 @@
+2022-07-15  H.J. Lu  <hjl.tools@gmail.com>
+
+       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  <roger@nextmovesoftware.com>
+
+       PR target/106273
+       * gcc.target/i386/pr106273.c: New test case.
+
+2022-07-15  Steve Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/104313
+       * gfortran.dg/pr104313.f: New test.
+
+2022-07-15  Marek Polacek  <polacek@redhat.com>
+
+       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  <dmalcolm@redhat.com>
+
+       PR analyzer/106284
+       * gcc.dg/analyzer/torture/taint-read-index-2.c: New test.
+
+2022-07-15  Roger Sayle  <roger@nextmovesoftware.com>
+
+       * gcc.dg/pr106278.c: New test case.
+
+2022-07-15  konglin1  <lingling.kong@intel.com>
+
+       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  <hjl.tools@gmail.com>
 
        PR tree-optimization/103798

diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index fe02298..4905bd5 100644 (file)
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,10 @@
+2022-07-15  Jonathan Wakely  <jwakely@redhat.com>
+
+       * 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  <polacek@redhat.com>
 
        PR preprocessor/106272

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 5f0bbd7..1980646 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,20 @@
+2022-07-15  Marek Polacek  <polacek@redhat.com>
+
+       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  <jwakely@redhat.com>
 
        PR libstdc++/106248