diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ChangeLog | 111 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/analyzer/ChangeLog | 34 | ||||
| -rw-r--r-- | gcc/c-family/ChangeLog | 14 | ||||
| -rw-r--r-- | gcc/cp/ChangeLog | 25 | ||||
| -rw-r--r-- | gcc/fortran/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/go/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 49 | ||||
| -rw-r--r-- | libcpp/ChangeLog | 7 | ||||
| -rw-r--r-- | libstdc++-v3/ChangeLog | 17 |
11 files changed, 273 insertions, 1 deletions
@@ -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 --- 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 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220715 +20220716 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 06d8454..4f010eb 100644 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 |