diff options
-rw-r--r-- | ChangeLog | 4 | ||||
-rw-r--r-- | gcc/ChangeLog | 167 | ||||
-rw-r--r-- | gcc/DATESTAMP | 2 | ||||
-rw-r--r-- | gcc/ada/ChangeLog | 7 | ||||
-rw-r--r-- | gcc/analyzer/ChangeLog | 10 | ||||
-rw-r--r-- | gcc/c-family/ChangeLog | 37 | ||||
-rw-r--r-- | gcc/c/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/cp/ChangeLog | 30 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 55 | ||||
-rw-r--r-- | libstdc++-v3/ChangeLog | 37 |
10 files changed, 354 insertions, 1 deletions
@@ -1,3 +1,7 @@ +2021-06-03 Jason Merrill <jason@redhat.com> + + * MAINTAINERS: Add DCO version number. + 2021-06-02 Jason Merrill <jason@redhat.com> * MAINTAINERS: Add DCO section. diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5d118a5..06e6dbe 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,170 @@ +2021-06-03 Kewen Lin <linkw@linux.ibm.com> + + * config/cris/cris.md (*addi_reload): Fix empty split condition. + +2021-06-03 Jim Wilson <jimw@sifive.com> + + * config.gcc (riscv*-*-*): If --with-riscv-attribute not used, + turn it on for all riscv targets. + +2021-06-03 Uroš Bizjak <ubizjak@gmail.com> + + PR target/100637 + * config/i386/i386-expand.c (ix86_expand_vector_set): + Handle V2HI and V4QI modes. + (ix86_expand_vector_extract): Ditto. + * config/i386/mmx.md (*pinsrw): New insn pattern. + (*pinsrb): Ditto. + (*pextrw): Ditto. + (*pextrw_zext): Ditto. + (*pextrb): Ditto. + (*pextrb_zext): Ditto. + (vec_setv2hi): New expander. + (vec_extractv2hihi): Ditto. + (vec_setv4qi): Ditto. + (vec_extractv4qiqi): Ditto. + (vec_setv8qi): Enable only for TARGET_SSE4_1. + (vec_extractv8qiqi): Ditto. + +2021-06-03 Aaron Sawdey <acsawdey@linux.ibm.com> + + * config/rs6000/genfusion.pl (gen_logical_addsubf): Fix input + order to subf instruction. + * config/rs6000/fusion.md: Regenerate. + +2021-06-03 Aldy Hernandez <aldyh@redhat.com> + + * calls.c (get_size_range): Use range_of_expr instead of + determine_value_range. + * tree-affine.c (expr_to_aff_combination): Same. + * tree-data-ref.c (split_constant_offset): Same. + * tree-vrp.c (determine_value_range_1): Remove. + (determine_value_range): Remove. + * tree-vrp.h (determine_value_range): Remove. + +2021-06-03 Aldy Hernandez <aldyh@redhat.com> + + * function-tests.c (test_ranges): Call gimple_range_tests. + * gimple-range-cache.cc (ranger_cache::range_of_expr): Pass stmt + to get_tree_range. + * gimple-range.cc (fur_source::get_operand): Do not call + get_tree_range or gimple_range_global. + get_tree_range. + (get_tree_range): Move to value-query.cc. + Call get_arith_expr_range. + (gimple_ranger::range_of_expr): Add argument to get_tree_range. + Include gimple-range-tests.cc. + * gimple-range.h (fold_range): Add argument. + (get_tree_range): Remove. + * selftest.h (gimple_range_tests): New. + * value-query.cc (global_range_query::range_of_expr): Add + stmt argument. + (range_query::get_tree_range): Move from gimple-range.cc. + * value-query.h (class range_query): Add get_tree_range and + get_arith_expr_range. Make fur_source a friend. + * vr-values.c (vr_values::range_of_expr): Pass stmt to + get_tree_range. + * gimple-range-tests.cc: New file. + +2021-06-03 Aldy Hernandez <aldyh@redhat.com> + + * gimple-range.cc (gimple_ranger::export_global_ranges): Call + update_global_range. + * value-query.cc (update_global_range): New. + * value-query.h (update_global_range): New. + +2021-06-03 David Malcolm <dmalcolm@redhat.com> + + * diagnostic-show-locus.c (diagnostic_show_locus): Don't reject + printing the same location twice if there are fix-it hints, + multiple locations, or a label. + +2021-06-03 Andre Vieira <andre.simoesdiasvieira@arm.com> + + * tree-vect-loop.c (vect_transform_loop): Use main loop's various' + thresholds to narrow the upper bound on epilogue iterations. + +2021-06-03 Christophe Lyon <christophe.lyon@linaro.org> + + * config/arm/mve.md (mve_vabsq_f<mode>): Use 'abs' instead of unspec. + (mve_vabsq_s<mode>): Likewise. + * config/arm/neon.md (abs<mode>2): Rename to neon_abs<mode>2. + * config/arm/unspecs.md (VABSQ_F, VABSQ_S): Delete. + * config/arm/vec-common.md (neg<mode>2): Rename to + <absneg_str><mode>2. + +2021-06-03 Claudiu Zissulescu <claziss@synopsys.com> + + * common/config/arc/arc-common.c (arc_option_optimization_table): + Remove malign-call. + * config/arc/arc.c (arc_unalign_branch_p): Remove unused function. + * config/arc/arc.h (TARGET_MIXED_CODE): Remove macro. + (INDEX_REG_CLASS): Only refer to GENERAL_REGS. + * config/arc/arc.md (abssi2_mixed): Remove pattern. + * config/arc/arc.opt (munalign-prob-threshold): Mark it obsolete. + (malign-call): Likewise. + (mmixed-code): Likewise. + * doc/invoke.texi (ARC): Update doc. + +2021-06-03 Martin Liska <mliska@suse.cz> + + * common.opt: Use proper Enum values. + * opts.c (COVERAGE_SANITIZER_OPT): Remove. + (parse_sanitizer_options): Handle only sanitizer_opts. + (common_handle_option): Just assign value. + +2021-06-03 Eric Botcazou <ebotcazou@adacore.com> + + PR ipa/99122 + * tree-inline.c (inline_forbidden_p): Remove test on return type. + +2021-06-03 Eric Botcazou <ebotcazou@adacore.com> + + * dwarf2out.c (loc_list_from_tree_1) <FUNCTION_DECL>: Also generate + DW_OP_GNU_variable_value referencing an existing DIE at file scope. + (type_byte_size): Inline into... + (add_byte_size_attribute): ...this and call add_scalar_info. + +2021-06-03 Eric Botcazou <ebotcazou@adacore.com> + + * dwarf2out.c (mem_loc_descriptor) <UDIV>: Fix typo. + (typed_binop_from_tree): New function. + (loc_list_from_tree_1) <EXACT_DIV_EXPR>: For an unsigned type, + turn a divide by a power of 2 into a shift. + <CEIL_DIV_EXPR>: For an unsigned type, use a signed divide if the + size of the mode is lower than DWARF2_ADDR_SIZE; otherwise, do a + typed divide by calling typed_binop_from_tree. + +2021-06-03 Eric Botcazou <ebotcazou@adacore.com> + + * dwarf2out.c (scompare_loc_descriptor): Fix head comment. + (is_handled_procedure_type): Likewise. + (struct loc_descr_context): Add strict_signedness field. + (resolve_args_picking_1): Deal with DW_OP_[GNU_]deref_type, + DW_OP_[GNU_]convert and DW_OP_[GNU_]reinterpret. + (resolve_args_picking): Minor tweak. + (function_to_dwarf_procedure): Initialize strict_signedness field. + (type_byte_size): Likewise. + (field_byte_offset): Likewise. + (gen_descr_array_type_die): Likewise. + (gen_variant_part): Likewise. + (loc_list_from_tree_1) <CALL_EXPR>: Tidy up and set strict_signedness + to true when a context is present before evaluating the arguments. + <COND_EXPR>: Do not generate a useless comparison with zero. + When dereferencing an address, if strict_signedness is true and the + type is small and signed, use DW_OP_deref_type to do the dereference + and then DW_OP_convert to convert back to the generic type. + +2021-06-03 Jakub Jelinek <jakub@redhat.com> + + PR c++/100859 + * tree-inline.c (copy_tree_body_r): Handle iterators on + OMP_CLAUSE_AFFINITY or OMP_CLAUSE_DEPEND. + +2021-06-03 Kewen Lin <linkw@linux.ibm.com> + + * config/arc/arc.md (*bbit_di): Remove. + 2021-06-02 Christoph Muellner <cmuellner@gcc.gnu.org> PR rtl-optimization/100264 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index d185478..8da0c6d 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20210603 +20210604 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 0641e60..9805f18 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,10 @@ +2021-06-03 Eric Botcazou <ebotcazou@adacore.com> + + * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Add PAT + local constant and use it throughout. If it is set, use a ref-all + pointer type for the pointer-to-array field of the fat pointer type. + <E_Array_Subtype>: Add PAT local constant and use it throughout. + 2021-05-26 Jakub Jelinek <jakub@redhat.com> * init.c (__gnat_error_handler): Remove register keyword. diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 7396971..838d5f1 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,13 @@ +2021-06-03 David Malcolm <dmalcolm@redhat.com> + + * store.h (store::get_direct_binding): Remove unused decl. + (store::get_default_binding): Likewise. + +2021-06-03 David Malcolm <dmalcolm@redhat.com> + + * svalue.cc (poisoned_svalue::dump_to_pp): Dump type. + (compound_svalue::dump_to_pp): Dump any type. + 2021-05-18 David Malcolm <dmalcolm@redhat.com> PR analyzer/100615 diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index cb2757c..968322f 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,40 @@ +2021-06-03 Eric Botcazou <ebotcazou@adacore.com> + + * c-ada-spec.c (dump_ada_macros): Minor tweaks. + (dump_ada_decl_name): Likewise. + (dump_anonymous_type_name): Remove parent parameter and adjust. + (dump_sloc): Minor tweak. + (dump_ada_array_type): Remove type parameter and adjust. + (dump_ada_enum_type): Remove parent parameter and adjust. + (dump_ada_node): Adjust calls to above functions. + (dumped_anonymous_types): New global variable. + (dump_nested_types_1): Rename into... + (dump_nested_types): ...this. + (dump_nested_type): Remove parent and dumped_types parameters. + <ARRAY_TYPE>: Replace dumped_types with dumped_anonymous_types. + Adjust calls to dump_anonymous_type_name and dump_ada_array_type. + (dump_ada_specs): Initialize and free dumped_anonymous_types. + +2021-06-03 Eric Botcazou <ebotcazou@adacore.com> + + * c-ada-spec.c (pp_ada_tree_identifier): Tidy up. + (dump_ada_node) <POINTER_TYPE>: Deal specially with external subtypes. + +2021-06-03 Eric Botcazou <ebotcazou@adacore.com> + + * c-ada-spec.c (dump_ada_enum_type): Dump a prefix for constants. + (htable_t): New typedef. + (overloaded_names): Use it. + (add_name): New function. + (init_overloaded_names): Use add_name to populate the table and add + special cases for sigaction and stat. + (overloaded_name_p): Rename into... + (overloading_index): ...this. Do not initialize overloaded_names table + here. Return the index or zero. + (dump_ada_declaration): Minor tweaks. Do not skip overloaded functions + but add an overloading suffix instead. + (dump_ada_specs): Initialize overloaded_names tables here. + 2021-06-01 Martin Liska <mliska@suse.cz> PR other/100759 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index b6f76b3..3a7e3d4 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,9 @@ +2021-06-03 Jakub Jelinek <jakub@redhat.com> + + PR c++/100859 + * c-typeck.c (c_finish_omp_clauses): Move OMP_CLAUSE_AFFINITY + after depend only cases. + 2021-05-31 Richard Biener <rguenther@suse.de> PR c++/88601 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index e40cc6b..6c0f38c 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,33 @@ +2021-06-03 Patrick Palka <ppalka@redhat.com> + + PR c++/100592 + * decl.c (make_typename_type): After calling + lookup_template_class, adjust the result to its TYPE_NAME and + then consider the tf_keep_type_decl flag. + +2021-06-03 Patrick Palka <ppalka@redhat.com> + + PR c++/100862 + * pt.c (set_current_access_from_decl): Move to ... + * class.c (set_current_access_from_decl): ... here. + (handle_using_decl): Use it to propagate the access of the + using-enum decl to the copy of the imported enumerator. + * cp-tree.h (set_current_access_from_decl): Declare. + * decl.c (build_enumerator): Simplify using make_temp_override + and set_current_access_from_decl. + +2021-06-03 Jakub Jelinek <jakub@redhat.com> + + PR c++/100859 + * semantics.c (handle_omp_array_sections_1): For + OMP_CLAUSE_{AFFINITY,DEPEND} handle FIELD_DECL base using + finish_non_static_data_member and allow this as base. + (finish_omp_clauses): Move OMP_CLAUSE_AFFINITY + after depend only cases. Let this be diagnosed by !lvalue_p + case for OMP_CLAUSE_{AFFINITY,DEPEND} and remove useless + assert. + * pt.c (tsubst_omp_clauses): Handle OMP_CLAUSE_AFFINITY. + 2021-06-02 Jason Merrill <jason@redhat.com> PR c++/100838 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a8bb582..ac63a14 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,58 @@ +2021-06-03 Uroš Bizjak <ubizjak@gmail.com> + + PR target/100637 + * gcc.target/i386/vperm-v2hi.c: New test. + * gcc.target/i386/vperm-v4qi.c: Ditto. + +2021-06-03 Aldy Hernandez <aldyh@redhat.com> + + * gcc.dg/pr80776-1.c: XFAIL and document the reason why. + +2021-06-03 Patrick Palka <ppalka@redhat.com> + + PR c++/100592 + * g++.dg/cpp0x/alias-decl-71.C: New test. + +2021-06-03 Patrick Palka <ppalka@redhat.com> + + PR c++/100862 + * g++.dg/cpp2a/using-enum-9.C: New test. + +2021-06-03 Andre Vieira <andre.simoesdiasvieira@arm.com> + + * gcc.target/aarch64/sve/part_vect_single_iter_epilog.c: New test. + +2021-06-03 Christophe Lyon <christophe.lyon@linaro.org> + + * gcc.target/arm/simd/mve-vabs.c: New test. + +2021-06-03 Eric Botcazou <ebotcazou@adacore.com> + + * gnat.dg/bit_packed_array6.adb: New test. + * gnat.dg/bit_packed_array6_pkg.ads: New helper. + +2021-06-03 Martin Liska <mliska@suse.cz> + + * gcc.dg/spellcheck-options-23.c: New test. + +2021-06-03 Eric Botcazou <ebotcazou@adacore.com> + + * gnat.dg/inline22.adb: New test. + +2021-06-03 Tamar Christina <tamar.christina@arm.com> + + * gcc.target/aarch64/cpunative/info_16: Update implementer. + * gcc.target/aarch64/cpunative/info_17: Likewise + +2021-06-03 Jakub Jelinek <jakub@redhat.com> + + PR c++/100859 + * g++.dg/gomp/depend-iterator-3.C: New test. + * g++.dg/gomp/this-1.C: Don't expect any diagnostics for + this as base expression of depend array section, expect a different + error wording for this as depend locator and add testcases + for affinity clauses. + 2021-06-02 Jason Merrill <jason@redhat.com> PR c++/100838 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 834f00c..676e530 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,40 @@ +2021-06-03 Patrick Palka <ppalka@redhat.com> + + * include/bits/ranges_algo.h (__detail::__can_reread_output): + Factor out this concept from ... + (__unique_copy_fn::operator()): ... here. Use the concept + throughout. + * testsuite/std/ranges/range.cc: Remove now ill-formed use + of range_value_t on an output_range. + * testsuite/util/testsuite_iterators.h (output_iterator_wrapper): + Define value_type, pointer and reference member types to void. + +2021-06-03 Patrick Palka <ppalka@redhat.com> + + PR libstdc++/100577 + * include/std/ranges (_RangeAdaptorClosure): Document + _S_has_simple_call_op mechanism. + (_RangeAdaptor): Document _S_has_simple_extra_args mechanism. + (__closure_has_simple_call_op): New concept. + (__adaptor_has_simple_extra_args): Likewise. + (_Partial<_Adaptor, _Args...>): New partial specialization. + (_Partial<_Adaptor, _Arg>): Likewise. + (_Pipe<_Lhs, _Rhs>): Likewise. + (views::_All::_S_has_simple_call_op): Define to true. + (views::_Filter::_S_has_simple_extra_args): Likewise. + (views::_Transform::_S_has_simple_extra_args): Likewise. + (views::_Take::_S_has_simple_extra_args): Likewise. + (views::_TakeWhile::_S_has_simple_extra_args): Likewise. + (views::_Drop::_S_has_simple_extra_args): Likewise. + (views::_DropWhile::_S_has_simple_extra_args): Likewise. + (views::_Join::_S_has_simple_call_op): Likewise. + (views::_Split): Document why we don't define + _S_has_simple_extra_args to true for this adaptor. + (views::_Common::_S_has_simple_call_op): Define to true. + (views::_Reverse::_S_has_simple_call_op): Likewise. + (views::_Elements::_S_has_simple_call_op): Likewise. + * testsuite/std/ranges/adaptors/100577.cc: New test. + 2021-06-02 Jonathan Wakely <jwakely@redhat.com> PR libstdc++/100863 |