Daily bump.

This commit is contained in:
GCC Administrator 2021-06-30 00:16:52 +00:00
parent 1cb5e50f98
commit 6bc18203dd
9 changed files with 456 additions and 1 deletions

View file

@ -1,3 +1,142 @@
2021-06-29 Sergei Trofimovich <siarheit@google.com>
* doc/generic.texi: Fix s/net yet/not yet/ typo.
2021-06-29 Andrew MacLeod <amacleod@redhat.com>
PR tree-optimization/101254
* range-op.cc (operator_minus::op1_op2_relation_effect): Check for
wrapping/non-wrapping when setting the result range.
2021-06-29 Andrew MacLeod <amacleod@redhat.com>
* value-query.cc (gimple_range_global): Allow phis.
2021-06-29 Andrew MacLeod <amacleod@redhat.com>
* vr-values.c (vr_values::vrp_stmt_computes_nonzero): Use stmt.
(simplify_using_ranges::op_with_boolean_value_range_p): Add a
statement for location context.
(check_for_binary_op_overflow): Ditto.
(simplify_using_ranges::get_vr_for_comparison): Ditto.
(simplify_using_ranges::compare_name_with_value): Ditto.
(simplify_using_ranges::compare_names): Ditto.
(vrp_evaluate_conditional_warnv_with_ops_using_ranges): Ditto.
(simplify_using_ranges::simplify_truth_ops_using_ranges): Ditto.
(simplify_using_ranges::simplify_min_or_max_using_ranges): Ditto.
(simplify_using_ranges::simplify_internal_call_using_ranges): Ditto.
(simplify_using_ranges::two_valued_val_range_p): Ditto.
(simplify_using_ranges::simplify): Ditto.
* vr-values.h: Adjust prototypes.
2021-06-29 Uroš Bizjak <ubizjak@gmail.com>
PR target/95046
* config/i386/mmx.md (vec_addsubv2sf3): New insn pattern.
2021-06-29 Julian Brown <julian@codesourcery.com>
* config/gcn/gcn.c (gcn_init_libfuncs): New function.
(TARGET_INIT_LIBFUNCS): Define target hook using above function.
* config/gcn/gcn.h (UNITS_PER_WORD): Define to 8 for IN_LIBGCC2, 4
otherwise.
(LIBGCC2_UNITS_PER_WORD, BITS_PER_WORD): Remove definitions.
(MAX_FIXED_MODE_SIZE): Change to 128.
2021-06-29 Julian Brown <julian@codesourcery.com>
* config/gcn/gcn.md (UNSPEC_FLBIT_INT): New unspec constant.
(s_mnemonic): Add clrsb.
(gcn_flbit<mode>_int): Add insn pattern for SImode/DImode.
(clrsb<mode>2): Add expander for SImode/DImode.
2021-06-29 Julian Brown <julian@codesourcery.com>
* config/gcn/gcn.md (<su>mulsidi3, <su>mulsidi3_reg, <su>mulsidi3_imm,
muldi3): Add patterns.
2021-06-29 Julian Brown <julian@codesourcery.com>
* config/gcn/gcn.md (<su>mulsi3_highpart): Change to expander.
(<su>mulsi3_highpart_reg, <su>mulsi3_highpart_imm): New patterns.
2021-06-29 Julian Brown <julian@codesourcery.com>
* config/gcn/gcn.md (mulsi3): Make s_mulk_i32 variant clobber SCC.
2021-06-29 Joseph Myers <joseph@codesourcery.com>
* btfout.c, ctfout.c: Include "memmodel.h".
2021-06-29 Tobias Burnus <tobias@codesourcery.com>
* gcc.c (check_offload_target_name): Cast len argument to
%q.*s to 'int'; avoid -Wstringop-truncation warning.
2021-06-29 Richard Biener <rguenther@suse.de>
* tree-vect-slp.c (vect_optimize_slp): Forward propagate
to "any" permute nodes and relax "any" permute proapgation
during iterative backward propagation.
2021-06-29 Tobias Burnus <tobias@codesourcery.com>
PR other/67300
* common.opt (-foffload=): Update description.
(-foffload-options=): New.
* doc/invoke.texi (C Language Options): Document
-foffload and -foffload-options.
* gcc.c (check_offload_target_name): New, split off from
handle_foffload_option.
(check_foffload_target_names): New.
(handle_foffload_option): Handle -foffload=default.
(driver_handle_option): Update for -foffload-options.
* lto-opts.c (lto_write_options): Use -foffload-options
instead of -foffload.
* lto-wrapper.c (merge_and_complain, append_offload_options):
Likewise.
* opts.c (common_handle_option): Likewise.
2021-06-29 Tobias Burnus <tobias@codesourcery.com>
* doc/invoke.texi (C Language Options): Sort options
alphabetically in optlist and also the description itself.
Remove leftover -fallow-single-precision from and add missing
-fgnu-tm to the optlist.
2021-06-29 Richard Biener <rguenther@suse.de>
* tree-vect-slp.c (slpg_vertex::visited): Remove.
(vect_slp_perms_eq): Handle -1 permutes.
(vect_optimize_slp): Rewrite permute propagation.
2021-06-29 Jakub Jelinek <jakub@redhat.com>
PR c++/101210
* match.pd ((intptr_t)x eq/ne CST to x eq/ne (typeof x) CST): Don't
perform the optimization in GENERIC when sanitizing and x has a
reference type.
2021-06-29 Richard Biener <rguenther@suse.de>
PR tree-optimization/101242
* tree-vect-slp.c (vect_slp_build_vertices): Force-add
PHIs with not represented initial values as leafs.
2021-06-29 Jan-Benedict Glaw <jbglaw@getslash.de>
* config/pdp11/pdp11.h (ASM_OUTPUT_SKIP): Fix signedness warning.
* config/pdp11/pdp11.c (pdp11_asm_print_operand_punct_valid_p): Remove
"register" keyword.
(pdp11_initial_elimination_offset) Remove unused variable.
(pdp11_cmp_length) Ditto.
(pdp11_insn_cost): Ditto, and fix signedness warning.
2021-06-29 David Edelsohn <dje.gcc@gmail.com>
* btfout.c: Include tm_p.h.
* ctfout.c: Same.
2021-06-28 Indu Bhagat <indu.bhagat@oracle.com>
* config/bpf/bpf.c (bpf_expand_prologue): Do not mark insns as

View file

@ -1 +1 @@
20210629
20210630

View file

@ -1,3 +1,244 @@
2021-06-29 Richard Kenner <kenner@adacore.com>
* sem_util.adb (Visit_Node): Add handling for N_Block_Statement
with declarations.
2021-06-29 Piotr Trojanek <trojanek@adacore.com>
* einfo-utils.adb
(Unknown_Alignment): Simply negate the Known_ counterpart.
(Unknown_Component_Bit_Offset): Likewise.
(Unknown_Esize): Likewise.
(Unknown_Normalized_First_Bit): Likewise.
(Unknown_Normalized_Position): Likewise.
(Unknown_Normalized_Position_Max): Likewise.
(Unknown_RM_Size): Likewise.
2021-06-29 Boris Yakobowski <yakobowski@adacore.com>
* exp_ch4.adb (Expand_N_Op_Mod): Remove special case for mod -1
in CodePeer_Mode.
2021-06-29 Aleksandra Pasek <pasek@adacore.com>
* libgnat/s-objrea.adb (EM_AARCH64): New Constant.
(Initialize): Handle EM_AARCH64 case.
(Read_Address): Handle AARCH64 case.
* libgnat/s-objrea.ads (Object_Arch): Add AARCH64 record
component.
2021-06-29 Bob Duff <duff@adacore.com>
* sem_ch13.adb (Analyze_Record_Representation_Clause): Call
Set_Entity_With_Checks instead of Set_Entity, so we perform the
check for correct casing.
* style.adb (Check_Identifier): Minor comment improvement.
Cleanup overly complicated code.
2021-06-29 Ed Schonberg <schonberg@adacore.com>
* exp_aggr.adb (Convert_Aggr_In_Object_Decl): After expansion of
the aggregate, the expression can be removed from the
declaration, except if the object is class-wide, in which case
the aggregate provides the actual type. In other cases the
presence of the expression may lead to spurious freezing issue.
* exp_ch3.adb (Expand_N_Object_Declaration): If the expression
in the declaration is an aggregate with delayed expansion (as is
the case for objects of a limited type, or a subsequent address
specification) the aggregate must be resolved at this point.
This resolution must not include expansion, because the
expansion of the enclosing declaration will construct the
necessary aggregate expansion.
2021-06-29 Piotr Trojanek <trojanek@adacore.com>
* errout.ads (Adjust_Name_Case): Remove obsolete and now unused
variant.
* errout.adb (Adjust_Name_Case): Likewise; fix variant that uses
a custom buffer to also use it for names in Standard_Location.
2021-06-29 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch12.adb (Freeze_Subprogram_Body): Add missing "freeze".
(Install_Body): Likewise.
2021-06-29 Piotr Trojanek <trojanek@adacore.com>
* adaint.c (__gnat_portable_spawn): Revert change that
introduced setting of __gnat_in_child_after_fork.
2021-06-29 Patrick Bernardi <bernardi@adacore.com>
* libgnarl/s-tasdeb.ads (Known_Tasks): Add Atomic_Components
aspect.
2021-06-29 Doug Rupp <rupp@adacore.com>
* Makefile.rtl (x86_64-vx7r2) [EXTRA_GNATRTL_TASKING_OBJS]: Move
i-vxinco.o out of RTP runtime.
2021-06-29 Claire Dross <dross@adacore.com>
* libgnat/a-cfdlli.ads: Use pragma Assertion_Policy to disable
pre and postconditions.
* libgnat/a-cfhama.ads: Likewise.
* libgnat/a-cfhase.ads: Likewise.
* libgnat/a-cfinve.ads: Likewise.
* libgnat/a-cforma.ads: Likewise.
* libgnat/a-cforse.ads: Likewise.
* libgnat/a-cofove.ads: Likewise.
2021-06-29 Piotr Trojanek <trojanek@adacore.com>
* sem_util.ads (Get_Fullest_View): Refill comment; remove extra
extra after period.
* sem_util.adb (Get_Fullest_View): Fix style.
2021-06-29 Piotr Trojanek <trojanek@adacore.com>
* sem_ch3.adb (Analyze_Declarations): Remove explicit check for
missing, because a subsequent call to Is_Empty_List will detect
them anyway.
2021-06-29 Piotr Trojanek <trojanek@adacore.com>
* freeze.adb (Freeze_All): Simplify by reusing
Is_Subprogram_Or_Entry.
* sem_ch11.adb (Analyze_Handled_Statement): Likewise.
2021-06-29 Piotr Trojanek <trojanek@adacore.com>
* sem_warn.adb (Warn_On_Overlapping_Actuals): Prevent cascaded
errors once for the subprogram call, not for every pair of
actual parameters.
2021-06-29 Piotr Trojanek <trojanek@adacore.com>
* sem_ch3.adb (Is_Local_Type): Simplify by reusing Scope_Within.
2021-06-29 Gary Dismukes <dismukes@adacore.com>
* sem_ch6.ads (Can_Override_Operator): Function declaration
moved from package body to package spec.
* sem_ch6.adb (Check_Overriding_Indicator): Now use test of
whether the subprogram's Chars is an operator name, to handle
cases of function instances whose entity is
N_Defining_Identifier rather than N_Defining_Operator_Symbol.
(Can_Override_Operator): Function declaration moved to package
spec. Now use test of whether the subprogram's Chars is an
operator name, to handle cases of function instances whose
entity is N_Defining_Identifier rather than
N_Defining_Operator_Symbol.
* sem_ch8.adb (Analyze_Renamed_Subprogram): Check for
possibility of an overridden predefined operator, and suppress
the "not overriding" message in that case.
2021-06-29 Doug Rupp <rupp@adacore.com>
* Makefile.rtl: Add a new ifeq for vx7r2 shared gnatlib.
2021-06-29 Piotr Trojanek <trojanek@adacore.com>
* exp_attr.adb (Build_Array_VS_Func): Restore uses of
Validated_View.
(Build_Record_VS_Func): Likewise.
(Expand_N_Attribute_Reference): Likewise.
* sem_util.adb (Validated_View): Behave as an identity function
for arrays and scalars.
2021-06-29 Bob Duff <duff@adacore.com>
* atree.adb, atree.ads (Parent, Set_Parent): Assert node is
Present.
(Copy_Parent, Parent_Kind): New helper routines.
* gen_il-gen.adb: Add with clause.
* nlists.adb (Parent): Assert Parent of list is Present.
* aspects.adb, checks.adb, exp_aggr.adb, exp_ch6.adb,
exp_util.adb, lib-xref-spark_specific.adb, osint.ads,
sem_ch12.adb, sem_ch13.adb, sem_ch3.adb, sem_ch6.adb,
sem_dim.adb, sem_prag.adb, sem_res.adb, sem_util.adb,
treepr.adb: Do not call Parent and Set_Parent on the Empty node.
* libgnat/a-stwiun__shared.adb, libgnat/a-stzunb__shared.adb:
Minor: Fix typos in comments.
* einfo.ads: Minor comment update.
* sinfo-utils.ads, sinfo-utils.adb (Parent_Kind, Copy_Parent):
New functions.
2021-06-29 Eric Botcazou <ebotcazou@adacore.com>
* repinfo-input.adb (Read_JSON_Stream): Fix typo.
2021-06-29 Eric Botcazou <ebotcazou@adacore.com>
* rtsfind.ads (RE_Id): Change RE_Valid_Enumeration_Value_NN into
RE_Valid_Value_Enumeration_NN.
(RE_Unit_Table): Adjust to above renaming.
* exp_imgv.adb (Expand_Valid_Value_Attribute): Likewise.
* libgnat/s-valuen.ads (Invalid): Remove.
(Value_Enumeration_Pos): Move to...
* libgnat/s-valuen.adb (Value_Enumeration_Pos): ...here.
Return -1 instead of Invalid.
(Value_Enumeration): Compare against 0 instead of Invalid.
(Valid_Enumeration_Value): Likewise. Rename to...
(Valid_Value_Enumeration): ...this.
* libgnat/s-vaenu8.ads (Valid_Enumeration_Value_8): Rename into...
(Valid_Value_Enumeration_8): ...this.
* libgnat/s-vaen16.ads (Valid_Enumeration_Value_16): Rename into...
(Valid_Value_Enumeration_16): ...this.
* libgnat/s-vaen32.ads (Valid_Enumeration_Value_32): Rename into...
(Valid_Value_Enumeration_32): ...this.
2021-06-29 Bob Duff <duff@adacore.com>
* einfo.ads (Component_Bit_Offset, Component_Size): Update
documentation: Repinfo is the package where these negative
values are documented.
* einfo-utils.adb (Known_Component_Size,
Known_Static_Component_Size, Unknown_Component_Size): Remove
calls to Implementation_Base_Type, because Component_Size is an
Impl_Base_Type_Only field (see Gen_Entities).
* sem_ch13.ads, sem_ch13.adb (Check_Size): Do not set Esize and
RM_Size. This is unnecessary in the case of Size. For
Component_Size, it is wrong, because we would be setting the
Esize and RM_Size of the component type.
2021-06-29 Pascal Obry <obry@adacore.com>
* s-oscons-tmplt.c: Add some OS constants.
2021-06-29 Piotr Trojanek <trojanek@adacore.com>
* sem_util.ads (Validated_View): Fix style in comment.
* sem_util.adb (Validated_View): Rewrite in recursive style.
2021-06-29 Eric Botcazou <ebotcazou@adacore.com>
* Make-generated.in (ada/stamp-gen_il): Ignore errors from
running gen_il-main.
2021-06-29 Richard Kenner <kenner@adacore.com>
* gen_il-gen-gen_entities.adb (Record_Field_Kind,
Allocatable_Kind): Add new abstract kinds.
(Constant_Or_Variable_Kind): Likewise.
(E_Constant, E_Variable, E_Loop_Parameter): Use them.
(E_Discriminant, E_Component): Likewise.
* gen_il-types.ads (type Opt_Type_Enum): Add them.
2021-06-29 Bob Duff <duff@adacore.com>
* gen_il-gen.adb (Put_C_Type_And_Subtypes): Put the correct
numbers.
* gen_il-internals.ads, gen_il-internals.adb: (Pos): Remove this
function. It was assuming that the order of the enumeration
literals in Type_Enum is the same as the order of the generated
types Node_Kind and Entity_Kind, which is not true.
2021-06-29 Piotr Trojanek <trojanek@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference): Explicitly use
Validated_View for record objects.
2021-06-28 Martin Sebor <msebor@redhat.com>
* gcc-interface/trans.c (Handled_Sequence_Of_Statements_to_gnu):

View file

@ -1,3 +1,8 @@
2021-06-29 Jason Merrill <jason@redhat.com>
* pt.c (instantiate_decl): Only consider partial specializations of
actual variable templates.
2021-06-26 Patrick Palka <ppalka@redhat.com>
PR c++/96204

View file

@ -1,3 +1,10 @@
2021-06-29 Ian Lance Taylor <iant@golang.org>
* go-gcc.cc (Gcc_backend::static_chain_variable): Set
DECL_NAMELESS on the new decl.
(Gcc_backend::temporary_variable): Likewise.
(Gcc_backend::function): Set DECL_NAMELESS on the result decl.
2021-05-27 Ian Lance Taylor <iant@golang.org>
* gccgo.texi (Function Names): Don't HTML quote ampersand.

View file

@ -1,3 +1,28 @@
2021-06-29 Andrew MacLeod <amacleod@redhat.com>
* gcc.dg/pr101254.c: New.
2021-06-29 Uroš Bizjak <ubizjak@gmail.com>
PR target/95046
* gcc.target/i386/pr95046-9.c: New test.
2021-06-29 Richard Biener <rguenther@suse.de>
* gcc.dg/vect/pr67790.c: Un-XFAIL.
* gcc.dg/vect/bb-slp-71.c: New testcase.
2021-06-29 Jakub Jelinek <jakub@redhat.com>
PR c++/101210
* g++.dg/ubsan/pr101210.C: New test.
2021-06-29 Richard Biener <rguenther@suse.de>
PR tree-optimization/101242
* gcc.dg/vect/bb-slp-pr101242.c: New testcase.
* gcc.dg/vect/pr67790.c: XFAIL scan for zero VEC_PERM_EXPR.
2021-06-28 Martin Sebor <msebor@redhat.com>
* g++.dg/uninit-pr74762.C: New test.

View file

@ -1,3 +1,19 @@
2021-06-29 Julian Brown <julian@codesourcery.com>
* config/gcn/lib2-bswapti2.c: New file.
* config/gcn/lib2-divmod-di.c: New file.
* config/gcn/lib2-gcn.h (DItype, UDItype, TItype, UTItype): Add
typedefs.
(__divdi3, __moddi3, __udivdi3, __umoddi3): Add prototypes.
* config/gcn/t-amdgcn (LIB2ADD): Add lib2-divmod-di.c and
lib2-bswapti2.c.
2021-06-29 Julian Brown <julian@codesourcery.com>
* config/gcn/lib2-divmod.c (__udivsi3, __umodsi3): Change argument and
return types to USItype.
* config/gcn/lib2-gcn.h (__udivsi3, __umodsi3): Update prototypes.
2021-06-23 Kewen Lin <linkw@linux.ibm.com>
* configure: Regenerate.

View file

@ -1,3 +1,9 @@
2021-06-29 Julian Brown <julian@codesourcery.com>
PR target/96306
* configure.ac: Remove stanza that removes KIND=16 integers for AMD GCN.
* configure: Regenerate.
2021-06-22 Sandra Loosemore <sandra@codesourcery.com>
Tobias Burnus <tobias@codesourcery.com>

View file

@ -1,3 +1,19 @@
2021-06-29 Tobias Burnus <tobias@codesourcery.com>
PR other/67300
* testsuite/libgomp.c-c++-common/reduction-16.c: Replace
-foffload=nvptx-none= by -foffload-options=nvptx-none= to
avoid disabling other offload targets.
* testsuite/libgomp.c-c++-common/reduction-5.c: Likewise.
* testsuite/libgomp.c-c++-common/reduction-6.c: Likewise.
* testsuite/libgomp.c/target-44.c: Likewise.
2021-06-29 Tobias Burnus <tobias@codesourcery.com>
* testsuite/libgomp.fortran/defaultmap-8.f90 (bar): Determine whether
target has shared memory and disable some scalar pointer/allocatable
checks if not as firstprivate does not work.
2021-06-25 Chung-Lin Tang <cltang@codesourcery.com>
PR testsuite/101114