aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGCC Administrator <gccadmin@gcc.gnu.org>2021-06-04 00:16:24 +0000
committerGCC Administrator <gccadmin@gcc.gnu.org>2021-06-04 00:16:24 +0000
commit440c8a0a91b7ea1603e3e1eaae64fc0e12f0c4f1 (patch)
treed537634d8a5a0caa2daec74a58fd4e927197e6a9
parent47d25a0314d8f28d399cd93f673df5886ca81d78 (diff)
downloadgcc-440c8a0a91b7ea1603e3e1eaae64fc0e12f0c4f1.zip
gcc-440c8a0a91b7ea1603e3e1eaae64fc0e12f0c4f1.tar.gz
gcc-440c8a0a91b7ea1603e3e1eaae64fc0e12f0c4f1.tar.bz2
Daily bump.
-rw-r--r--ChangeLog4
-rw-r--r--gcc/ChangeLog167
-rw-r--r--gcc/DATESTAMP2
-rw-r--r--gcc/ada/ChangeLog7
-rw-r--r--gcc/analyzer/ChangeLog10
-rw-r--r--gcc/c-family/ChangeLog37
-rw-r--r--gcc/c/ChangeLog6
-rw-r--r--gcc/cp/ChangeLog30
-rw-r--r--gcc/testsuite/ChangeLog55
-rw-r--r--libstdc++-v3/ChangeLog37
10 files changed, 354 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog
index bec4700..fabfc3b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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