mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-04-09 23:51:18 +08:00
Daily bump.
This commit is contained in:
parent
d9e9532bb3
commit
6fba0eea8d
@ -1,3 +1,7 @@
|
||||
2021-07-06 Gaius Mulley <gaius.mulley@southwales.ac.uk>
|
||||
|
||||
* MAINTAINERS: Add myself for write after approval and DCO.
|
||||
|
||||
2021-07-05 Iain Sandoe <iain@sandoe.co.uk>
|
||||
|
||||
* Makefile.def: Add dsymutil defs.
|
||||
|
@ -1,3 +1,9 @@
|
||||
2021-07-06 Clément Chigot <clement.chigot@atos.net>
|
||||
|
||||
* inclhack.def (aix_externcpp1): Improve select regexp.
|
||||
* fixincl.x: Regenerate.
|
||||
* tests/base/sys/socket.h: Update.
|
||||
|
||||
2021-06-30 Xi Ruoyao <xry111@mengyan1223.wang>
|
||||
|
||||
PR other/91085
|
||||
|
140
gcc/ChangeLog
140
gcc/ChangeLog
@ -1,3 +1,143 @@
|
||||
2021-07-06 Indu Bhagat <indu.bhagat@oracle.com>
|
||||
|
||||
PR debug/101283
|
||||
* dwarf2ctf.c (ctf_get_AT_data_member_location): Multiply by 8 to get
|
||||
number of bits.
|
||||
|
||||
2021-07-06 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
* gimple-pretty-print.c (percent_G_format): Remove.
|
||||
* tree-diagnostic.c (default_tree_printer): Remove calls.
|
||||
* tree-pretty-print.c (percent_K_format): Remove.
|
||||
* tree-pretty-print.h (percent_K_format): Remove.
|
||||
|
||||
2021-07-06 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
* config/aarch64/aarch64-builtins.c (aarch64_simd_expand_builtin):
|
||||
Remove %K and use error_at.
|
||||
(aarch64_expand_fcmla_builtin): Same.
|
||||
(aarch64_expand_builtin_tme): Same.
|
||||
(aarch64_expand_builtin_memtag): Same.
|
||||
* config/arm/arm-builtins.c (arm_expand_acle_builtin): Same.
|
||||
(arm_expand_builtin): Same.
|
||||
* config/arm/arm.c (bounds_check): Same.
|
||||
|
||||
2021-07-06 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
* builtins.c (warn_string_no_nul): Remove %G.
|
||||
(maybe_warn_for_bound): Same.
|
||||
(warn_for_access): Same.
|
||||
(check_access): Same.
|
||||
(check_strncat_sizes): Same.
|
||||
(expand_builtin_strncat): Same.
|
||||
(expand_builtin_strncmp): Same.
|
||||
(expand_builtin): Same.
|
||||
(expand_builtin_object_size): Same.
|
||||
(warn_dealloc_offset): Same.
|
||||
(maybe_emit_free_warning): Same.
|
||||
* calls.c (maybe_warn_alloc_args_overflow): Same.
|
||||
(maybe_warn_nonstring_arg): Same.
|
||||
(maybe_warn_rdwr_sizes): Same.
|
||||
* expr.c (expand_expr_real_1): Remove %K.
|
||||
* gimple-fold.c (gimple_fold_builtin_strncpy): Remove %G.
|
||||
(gimple_fold_builtin_strncat): Same.
|
||||
* gimple-ssa-sprintf.c (format_directive): Same.
|
||||
(handle_printf_call): Same.
|
||||
* gimple-ssa-warn-alloca.c (pass_walloca::execute): Same.
|
||||
* gimple-ssa-warn-restrict.c (maybe_diag_overlap): Same.
|
||||
(maybe_diag_access_bounds): Same. Call gimple_location.
|
||||
(check_bounds_or_overlap): Same.
|
||||
* trans-mem.c (ipa_tm_scan_irr_block): Remove %K. Simplify.
|
||||
* tree-ssa-ccp.c (pass_post_ipa_warn::execute): Remove %G.
|
||||
* tree-ssa-strlen.c (maybe_warn_overflow): Same.
|
||||
(maybe_diag_stxncpy_trunc): Same.
|
||||
(handle_builtin_stxncpy_strncat): Same.
|
||||
(maybe_warn_pointless_strcmp): Same.
|
||||
* tree-ssa-uninit.c (maybe_warn_operand): Same.
|
||||
|
||||
2021-07-06 Uroš Bizjak <ubizjak@gmail.com>
|
||||
|
||||
PR target/97194
|
||||
* config/i386/predicates.md (vec_setm_operand): Enable
|
||||
register_operand for TARGET_SSE4_1.
|
||||
* config/i386/mmx.md (vec_setv2hi): Use vec_setm_operand
|
||||
as operand 2 predicate. Call ix86_expand_vector_set_var
|
||||
for non-constant index operand.
|
||||
(vec_setv4qi): Use vec_setm_mmx_operand as operand 2 predicate.
|
||||
Call ix86_expand_vector_set_var for non-constant index operand.
|
||||
|
||||
2021-07-06 Jeff Law <jeffreyalaw@gmail.com>
|
||||
|
||||
* config/h8300/jumpcall.md (*branch): When possible, generate
|
||||
the comparison in CCZN mode.
|
||||
* config/h8300/predicates.md (simple_memory_operand): Reject all
|
||||
auto-increment addressing modes.
|
||||
|
||||
2021-07-06 Iain Sandoe <iain@sandoe.co.uk>
|
||||
|
||||
PR bootstrap/100246
|
||||
* config/i386/i386.h (struct stringop_algs): Define a CTOR for
|
||||
this type.
|
||||
|
||||
2021-07-06 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* doc/md.texi (vec_fmaddsub<mode>4): Document.
|
||||
(vec_fmsubadd<mode>4): Likewise.
|
||||
* optabs.def (vec_fmaddsub$a4): Add.
|
||||
(vec_fmsubadd$a4): Likewise.
|
||||
* internal-fn.def (IFN_VEC_FMADDSUB): Add.
|
||||
(IFN_VEC_FMSUBADD): Likewise.
|
||||
* tree-vect-slp-patterns.c (addsub_pattern::recognize):
|
||||
Refactor to handle IFN_VEC_FMADDSUB and IFN_VEC_FMSUBADD.
|
||||
(addsub_pattern::build): Likewise.
|
||||
* tree-vect-slp.c (vect_optimize_slp): CFN_VEC_FMADDSUB
|
||||
and CFN_VEC_FMSUBADD are not transparent for permutes.
|
||||
* config/i386/sse.md (vec_fmaddsub<mode>4): New expander.
|
||||
(vec_fmsubadd<mode>4): Likewise.
|
||||
|
||||
2021-07-06 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* doc/invoke.texi (fmove-loop-stores): Document.
|
||||
* common.opt (fmove-loop-stores): New option.
|
||||
* opts.c (default_options_table): Enable -fmove-loop-stores
|
||||
at -O1 but not -Og.
|
||||
* tree-ssa-loop-im.c (pass_lim::execute): Pass
|
||||
flag_move_loop_stores instead of true to
|
||||
loop_invariant_motion_in_fun.
|
||||
|
||||
2021-07-06 Iain Sandoe <iain@sandoe.co.uk>
|
||||
|
||||
* doc/install.texi: Document --with-dsymutil.
|
||||
|
||||
2021-07-06 Andrew Pinski <apinski@marvell.com>
|
||||
|
||||
PR tree-optimization/101256
|
||||
* dbgcnt.def (phiopt_edge_range): New counter.
|
||||
* tree-ssa-phiopt.c (replace_phi_edge_with_variable):
|
||||
Check to make sure the new name is defined in the same
|
||||
bb as the conditional before duplicating range info.
|
||||
Also add debug counter.
|
||||
|
||||
2021-07-06 Kewen Lin <linkw@linux.ibm.com>
|
||||
|
||||
PR rtl-optimization/100328
|
||||
* config/i386/i386-options.c (ix86_option_override_internal):
|
||||
Set param_ira_consider_dup_in_all_alts to 0.
|
||||
|
||||
2021-07-06 Kewen Lin <linkw@linux.ibm.com>
|
||||
|
||||
PR rtl-optimization/100328
|
||||
* doc/invoke.texi (ira-consider-dup-in-all-alts): Document new
|
||||
parameter.
|
||||
* ira.c (ira_get_dup_out_num): Adjust as parameter
|
||||
param_ira_consider_dup_in_all_alts.
|
||||
* params.opt (ira-consider-dup-in-all-alts): New.
|
||||
* ira-conflicts.c (process_regs_for_copy): Add one parameter
|
||||
single_input_op_has_cstr_p.
|
||||
(get_freq_for_shuffle_copy): New function.
|
||||
(add_insn_allocno_copies): Adjust as single_input_op_has_cstr_p.
|
||||
* ira-int.h (ira_get_dup_out_num): Add one bool parameter.
|
||||
|
||||
2021-07-05 Jeff Law <jeffreyalaw@gmail.com>
|
||||
|
||||
* config/h8300/shiftrotate.md (shift-by-variable patterns): Update to
|
||||
|
@ -1 +1 @@
|
||||
20210706
|
||||
20210707
|
||||
|
@ -1,3 +1,360 @@
|
||||
2021-07-06 Bob Duff <duff@adacore.com>
|
||||
|
||||
* atree.ads (Current_Error_Node): Initialize to Empty.
|
||||
|
||||
2021-07-06 Steve Baird <baird@adacore.com>
|
||||
|
||||
* exp_put_image.adb: Eliminate references to
|
||||
Debug_Flag_Underscore_Z. Change the meaning of the function
|
||||
Enable_Put_Image. Previously, a result of False for a tagged
|
||||
type would mean that the type does not get a Put_Image (PI)
|
||||
routine at all. Now, it means that the type gets a PI routine
|
||||
with very abbreviated functionality (just a call to
|
||||
Unknown_Put_Image). This resolves problems in mixing code
|
||||
compiled with and without the -gnat2022 switch.
|
||||
* exp_ch3.adb: Enable_Put_Image no longer participates in
|
||||
determining whether a tagged type gets a Put_Image procedure. A
|
||||
tagged type does not get a Put_Image procedure if the type
|
||||
Root_Buffer_Type is unavailable. This is needed to support cross
|
||||
targets where tagged types are supported but the type
|
||||
Root_Buffer_Type is not available.
|
||||
* exp_dist.adb: Add workarounds for some problems that arise
|
||||
when using the (obsolete?) Garlic implementation of the
|
||||
distributed systems annex with Ada 2022 constructs.
|
||||
* libgnat/a-sttebu.ads: Workaround a bootstrapping problem.
|
||||
Older compilers do not support raise expressions, so revise the
|
||||
the Pre'Class condition to meet this requirement without
|
||||
changing the condition's behavior at run time.
|
||||
|
||||
2021-07-06 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* repinfo-input.adb (JSON_Entity_Kind, Read_Variant_Part): Fix
|
||||
typo in comment.
|
||||
|
||||
2021-07-06 Steve Baird <baird@adacore.com>
|
||||
|
||||
* sem_ch5.adb (Analyze_Assignment): Add new nested function,
|
||||
Omit_Range_Check_For_Streaming, and make call to
|
||||
Apply_Scalar_Range_Check conditional on the result of this new
|
||||
function.
|
||||
* exp_attr.adb (Compile_Stream_Body_In_Scope): Eliminate Check
|
||||
parameter, update callers. The new
|
||||
Omit_Range_Check_For_Streaming parameter takes the place of the
|
||||
old use of calling Insert_Action with Suppress => All_Checks,
|
||||
which was insufficiently precise (it did not allow suppressing
|
||||
checks for one component but not for another).
|
||||
(Expand_N_Attribute_Reference): Eliminate another "Suppress =>
|
||||
All_Checks" from an Insert_Action call, this one in generating
|
||||
the expansion of a T'Read attribute reference for a composite
|
||||
type T.
|
||||
|
||||
2021-07-06 Ghjuvan Lacambre <lacambre@adacore.com>
|
||||
|
||||
* sem_ch5.adb (Analyze_Loop_Parameter_Specification): Check for
|
||||
empty loops caused by constraints.
|
||||
|
||||
2021-07-06 Nicolas Roche <roche@adacore.com>
|
||||
|
||||
* rtinit.c (skip_quoted_string): Handle malformed command line
|
||||
with no closing double quote.
|
||||
(skip_argument): Handle case in which a null character is
|
||||
encountered by skip_quote_string.
|
||||
|
||||
2021-07-06 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* uname.adb (Add_Node_Name): Replace local constant whose
|
||||
initial expression was evaluated even when unnecessary with just
|
||||
that expression that is evaluated at most once and only when
|
||||
needed.
|
||||
|
||||
2021-07-06 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* lib.adb (Remove_Unit): Replace defensive code with an
|
||||
assertion.
|
||||
* par-load.adb (Load): Address a question mark in the comment.
|
||||
|
||||
2021-07-06 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_util.adb (Enclosing_Comp_Unit_Node): When the loop exits
|
||||
the Current_Node is either an N_Compilation_Unit node or Empty,
|
||||
so simply return it without redundant checks.
|
||||
|
||||
2021-07-06 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* lib-load.adb (Load_Unit): Remove excessive whitespace.
|
||||
* lib.adb (Is_Internal_Unit, Is_Predefined_Unit): Likewise.
|
||||
* par-ch10.adb (P_Compilation_Unit): Simplify with membership
|
||||
test.
|
||||
* par-load.adb (Load): Likewise.
|
||||
* uname.adb (Get_Unit_Name): Likewise.
|
||||
|
||||
2021-07-06 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* lib-writ.adb (Ensure_System_Dependency): Simplify by reusing a
|
||||
constant name.
|
||||
|
||||
2021-07-06 Steve Baird <baird@adacore.com>
|
||||
|
||||
* exp_ch5.adb
|
||||
(Expand_N_Case_Statement.Expand_General_Case_Statement.Pattern_Match):
|
||||
When generating an equality test for a statically known discrete
|
||||
value, only generate the numeric value if the discrete type is
|
||||
not an enumeration type. If it is an enumeration type, then
|
||||
call Get_Enum_Lit_From_Pos instead.
|
||||
|
||||
2021-07-06 Justin Squirek <squirek@adacore.com>
|
||||
|
||||
* par-ch6.adb (Get_Return_Kind): Removed.
|
||||
(Is_Extended): Created to identify simple and "when" return
|
||||
statements from extended return statements.
|
||||
(P_Return_Statement): Merged simple and "when" return statement
|
||||
processing.
|
||||
|
||||
2021-07-06 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* sem_ch4.adb (Try_One_Prefix_Interpretation): Augment test of
|
||||
"not Extensions_Allowed" with test for absence of Obj_Type's
|
||||
primitive operations Elist, as an additional condition for early
|
||||
return from this procedure.
|
||||
|
||||
2021-07-06 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* exp_ch4.adb (Process_Transient_In_Expression): In one comment,
|
||||
fix two typos and reorder wording of one sentence, plus minor
|
||||
reformatting.
|
||||
|
||||
2021-07-06 Justin Squirek <squirek@adacore.com>
|
||||
|
||||
* exp_ch5.adb (Expand_Formal_Container_Element_Loop): Remove
|
||||
legacy expansion of element iterators, and use expansion form
|
||||
used by unconstrained element types in the general case.
|
||||
|
||||
2021-07-06 Ed Schonberg <schonberg@adacore.com>
|
||||
|
||||
* exp_ch4.adb (Process_Transient_In_Expression): Ensure that
|
||||
Fin_Context, used to insert finalization code for the
|
||||
expression, is a list member: the value returned by
|
||||
Find_Hook_Context may be an expression node when the transient
|
||||
is part of a larger expression and it has a non-boolean type.
|
||||
|
||||
2021-07-06 Yannick Moy <moy@adacore.com>
|
||||
|
||||
* sem_case.adb: Fix error message.
|
||||
|
||||
2021-07-06 Bob Duff <duff@adacore.com>
|
||||
|
||||
* tbuild.adb (Convert_To): Add assert, along with a comment.
|
||||
(Make_DT_Access): Remove this function, which is not used. It
|
||||
was incorrect anyway (the call to New_Occurrence_Of should not
|
||||
be there).
|
||||
(Unchecked_Convert_To): Add assert. The previous version's test
|
||||
for unchecked conversion to the same type was redundant and
|
||||
could never be true, because the previous 'if' already checked
|
||||
for ANY expression of the same type. Remove that, and replace
|
||||
with a test for unchecked conversion to a related type.
|
||||
Otherwise, we somethings get things like
|
||||
"finalize(some_type!(some_type!(x)))" in the generated code,
|
||||
where x is already of type some_type, but we're converting it to
|
||||
the private type and then to the full type or vice versa (so the
|
||||
types aren't equal, so the previous 'if' doesn't catch it).
|
||||
Avoid updating the Parent. This is not necessary; the Parent
|
||||
will be updated if/when the node is attached to the tree.
|
||||
* tbuild.ads: Fix comments. No need to say "this is safe" when
|
||||
we just explained that a few lines earlier. Remove
|
||||
Make_DT_Access.
|
||||
* sinfo.ads: Add comments.
|
||||
* exp_ch7.adb (Make_Finalize_Address_Stmts): Minor comment fix.
|
||||
* gen_il-gen.adb, gen_il-gen.ads, gen_il-gen-gen_nodes.adb,
|
||||
gen_il-internals.ads: Implement a feature where you can put:
|
||||
Nmake_Assert => "expr" where expr is a boolean expression in a
|
||||
call to Create_Concrete_Node_Type. It is added in a pragma
|
||||
Assert in the Nmake.Make_... function for that type.
|
||||
|
||||
2021-07-06 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* checks.adb: Remove calls of Set_Do_Tag_Check (N, False).
|
||||
* einfo.ads: Remove hanging unneeded ??? comment ("this real description
|
||||
was clobbered").
|
||||
* exp_util.ads (Insert_Actions_After): Remove ??? from spec comment.
|
||||
* gen_il-fields.ads (Opt_Field_Enum): Remove literals
|
||||
Do_Accessibility_Check and Do_Tag_Check.
|
||||
* gen_il-gen-gen_nodes.adb: Remove all calls to Sm for
|
||||
Do_Accessibility_Check and Do_Tag_Check.
|
||||
* sem_type.ads (Is_Subtype_Of): Remove obsolete ???
|
||||
comment (function is not limited to scalar subtypes).
|
||||
* sem_util.ads (Is_Local_Variable_Reference): Revise comment to
|
||||
mention out-mode parameters as well, and remove ???.
|
||||
(Propagate_Concurrent_Flags): Minor reformatting.
|
||||
(Propagate_Invariant_Attributes): Typo fix.
|
||||
(Propagate_Predicate_Attributes): Indicate what is propagated
|
||||
and remove ??? comment.
|
||||
* sem_util.adb (Cannot_Raise_Constraint_Error): Remove unneeded
|
||||
test of Do_Tag_Check.
|
||||
(Is_Local_Variable_Reference): Extend function to testing for
|
||||
formals of mode out as well.
|
||||
* sinfo.ads: Remove ??? comment about flag
|
||||
Convert_To_Return_False indicating that the flag is obsolete (in
|
||||
fact it's used). Remove references to Do_Accessibility_Check and
|
||||
Do_Tag_Check (and the two associated ??? comments), as these
|
||||
flags are unneeded.
|
||||
* sinfo-cn.adb (Change_Conversion_To_Unchecked): Remove call of
|
||||
Set_Do_Tag_Check (N, False).
|
||||
* targparm.ads (Support_Atomic_Primitives_On_Target): Remove ???
|
||||
comment, plus minor reformatting.
|
||||
|
||||
2021-07-06 Justin Squirek <squirek@adacore.com>
|
||||
|
||||
* par-ch6.adb (Get_Return_Kind): Properly handle the case of a
|
||||
"return when" statement in the procedure case.
|
||||
|
||||
2021-07-06 Bob Duff <duff@adacore.com>
|
||||
|
||||
* sem.ads (Node_To_Be_Wrapped): Minor comment fix.
|
||||
* exp_ch7.adb (Establish_Transient_Scope): Misc cleanups and
|
||||
comment improvements.
|
||||
(Set_Node_To_Be_Wrapped): Remove -- not worth putting this code
|
||||
in a separate procedure, called only once.
|
||||
* sem_util.adb (Requires_Transient_Scope): Assert that our
|
||||
parameter has the right Kind. It probably shouldn't be E_Void,
|
||||
but that is passed in in some cases.
|
||||
(Ensure_Minimum_Decoration): Move the call later, so we know Typ
|
||||
is Present, and remove "if Present (Typ)" from this procedure.
|
||||
* exp_aggr.adb (Convert_To_Assignments): Use membership test,
|
||||
and avoid the "if False" idiom.
|
||||
(Expand_Array_Aggregate): Remove a ??? comment.
|
||||
* sem_ch8.adb (Push_Scope): Take advantage of the full coverage
|
||||
rules for aggregates.
|
||||
* sem_res.adb (Resolve_Declare_Expression): Remove test for
|
||||
Is_Type -- that's all it can be. Use named notation in call to
|
||||
Establish_Transient_Scope.
|
||||
* libgnat/a-cdlili.adb (Adjust): Remove redundant code.
|
||||
(Clear): Remove "pragma Warnings (Off);", which wasn't actually
|
||||
suppressing any warnings.
|
||||
|
||||
2021-07-06 Bob Duff <duff@adacore.com>
|
||||
|
||||
* gen_il-gen-gen_nodes.adb: Change the parent of
|
||||
N_Exception_Declaration to be N_Declaration. Minor comment fix.
|
||||
|
||||
2021-07-06 Ed Schonberg <schonberg@adacore.com>
|
||||
|
||||
* exp_ch4.adb (Expand_N_Type_Conversion): If the conversion is
|
||||
the name of an assignment operation do not apply predicate check
|
||||
to it prior to the assignment.
|
||||
|
||||
2021-07-06 Bob Duff <duff@adacore.com>
|
||||
|
||||
* libgnat/a-conhel.adb: Assert that tampering counts remain
|
||||
between 0 and 2**31-1. This makes debugging of
|
||||
finalization-related bugs easier.
|
||||
|
||||
2021-07-06 Doug Rupp <rupp@adacore.com>
|
||||
|
||||
* Makefile.rtl (LIBGNAT_TARGET_PAIRS): Use s-osprim__posix.adb
|
||||
vice s-osprim__vxworks.adb for all vxworks7r2 targets.
|
||||
|
||||
2021-07-06 Richard Kenner <kenner@adacore.com>
|
||||
|
||||
* gen_il-types.ads (Void_Or_Type_Kind,
|
||||
Exception_Or_Object_Kind): Declare.
|
||||
* gen_il-gen-gen_entities.adb: Likewise.
|
||||
|
||||
2021-07-06 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* doc/gnat_rm/implementation_defined_pragmas.rst: Add a
|
||||
description of the feature of prefixed-view calls for untagged
|
||||
types to the section on pragma Extensions_Allowed.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
* einfo.ads: Update specification for
|
||||
Direct_Primitive_Operations to reflect its use for untagged
|
||||
types when Extensions_Allowed is True.
|
||||
* gen_il-gen-gen_entities.adb: Allow Direct_Primitive_Operations
|
||||
as a field of untagged classes of types by removing the "Pre"
|
||||
test of "Is_Tagged_Type (N)", and making that field generally
|
||||
available for all types and subtypes by defining it for
|
||||
Type_Kind and removing its specification for individual classes
|
||||
of types.
|
||||
* sem_ch3.adb (Analyze_Full_Type_Declaration): Initialize the
|
||||
Direct_Primitive_Operations list when not already set for the
|
||||
new (sub)type and its base type (except when Ekind of the type
|
||||
is E_Void, which can happen due to errors in cases where
|
||||
Derived_Type_Declaration is called and perhaps in other
|
||||
situations).
|
||||
(Analyze_Subtype_Declaration): Inherit
|
||||
Direct_Primitive_Operations list from the base type, for record
|
||||
and private cases.
|
||||
(Build_Derived_Record_Type): Initialize the
|
||||
Direct_Primitive_Operations list for derived record and private
|
||||
types.
|
||||
(Build_Derived_Type): Initialize the Direct_Primitive_Operations
|
||||
list for derived types (and also for their associated base types
|
||||
when needed).
|
||||
(Process_Full_View): For full types that are untagged record and
|
||||
private types, copy the primitive operations of the partial view
|
||||
to the primitives list of the full view.
|
||||
* sem_ch4.adb (Analyze_Selected_Component): Allow prefixed
|
||||
notation for subprogram calls in the case of untagged
|
||||
types (when Extensions_Allowed is True). In the case where
|
||||
Is_Private_Type (Prefix_Type) is True, call Try_Object_Operation
|
||||
when a discriminant selector wasn't found. Also call
|
||||
Try_Object_Operation in other type kind cases (when
|
||||
Extensions_Allowed is True).
|
||||
(Try_Object_Operation.Try_One_Prefixed_Interpretation): Prevent
|
||||
early return in the untagged case (when Extensions_Allowed is
|
||||
True). Condition main call to Try_Primitive_Operation on the
|
||||
type having primitives, and after that, if Prim_Result is False,
|
||||
test for case where the prefix type is a named access type with
|
||||
primitive operations and in that case call
|
||||
Try_Primitive_Operation after temporarily resetting Obj_Type to
|
||||
denote the access type (and restore it to the designated type
|
||||
after the call)
|
||||
(Try_Object_Operation.Valid_First_Argument_Of): Do matching type
|
||||
comparison by testing Base_Type (Obj_Type) against
|
||||
Base_Type (Typ), rather than against just Typ, to properly
|
||||
handle cases where the object prefix has a constrained
|
||||
subtype. (Fixes a bug discovered while working on this
|
||||
feature.)
|
||||
* sem_ch6.adb
|
||||
(New_Overloaded_Entity.Check_For_Primitive_Subprogram): Add a
|
||||
primitive of an untagged type to the type's list of primitive
|
||||
operations, for both explicit and implicit (derived, so
|
||||
Comes_From_Source is False) subprogram declarations. In the case
|
||||
where the new primitive overrides an inherited subprogram,
|
||||
locate the primitives Elist that references the overridden
|
||||
subprogram, and replace that element of the list with the new
|
||||
subprogram (done by calling the new procedure
|
||||
Add_Or_Replace_Untagged_Primitive on the result type and each
|
||||
formal atype).
|
||||
(Check_For_Primitive_Subprogram.Add_Or_Replace_Untagged_Primitive):
|
||||
New nested procedure to either add or replace an untagged
|
||||
primitive subprogram in a given type's list of primitive
|
||||
operations (replacement happens in case where the new subprogram
|
||||
overrides a primitive of the type).
|
||||
* sem_ch7.adb (New_Private_Type): When Extensions_Allowed is
|
||||
True, initialize the Direct_Primitive_Operations list of a
|
||||
private type to New_Elmt_List in the case of untagged types.
|
||||
* sem_ch8.adb (Find_Selected_Component): In the case where the
|
||||
prefix is an entity name, relax condition that tests
|
||||
Has_Components so that Analyze_Selected_Component will also be
|
||||
called when Extensions_Allowed is True and the prefix type is
|
||||
any type.
|
||||
|
||||
2021-07-06 Ed Schonberg <schonberg@adacore.com>
|
||||
|
||||
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not perform
|
||||
conformance check when the subprogram body has been created for
|
||||
an expression function that is not a completion of a previous
|
||||
specification, because the profile of the constructed body is
|
||||
copied from the expression function itself.
|
||||
|
||||
2021-07-06 Steve Baird <baird@adacore.com>
|
||||
|
||||
* doc/gnat_rm/implementation_of_specific_ada_features.rst: Add a
|
||||
warning indicating that the details of the default (i.e.,
|
||||
selected by the compiler) implementation of T'Put_Image for a
|
||||
nonscalar type T are subject to change.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
|
||||
2021-07-05 Pierre-Marie de Rodat <derodat@adacore.com>
|
||||
|
||||
* gnat-style.texi, gnat_rm.texi, gnat_ugn.texi: Regenerate.
|
||||
|
@ -1,3 +1,9 @@
|
||||
2021-07-06 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
* c-format.c (gcc_tdiag_char_table): Remove support for %G and %K.
|
||||
(gcc_cdiag_char_table): Same.
|
||||
(gcc_cxxdiag_char_table): Same.
|
||||
|
||||
2021-07-02 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
* c-common.h (enum c_omp_directive_kind): New enum.
|
||||
|
@ -1,3 +1,7 @@
|
||||
2021-07-06 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
* c-objc-common.c (c_tree_printer): Remove support for %G and %K.
|
||||
|
||||
2021-07-02 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR c/101297
|
||||
|
@ -1,3 +1,7 @@
|
||||
2021-07-06 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
* error.c (cp_printer): Remove support for %G and %K.
|
||||
|
||||
2021-07-02 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
* parser.h (struct cp_lexer): Add in_omp_attribute_pragma member.
|
||||
|
@ -1,3 +1,10 @@
|
||||
2021-07-06 Thomas Koenig <tkoenig@gcc.gnu.org>
|
||||
|
||||
PR fortran/100227
|
||||
* frontend-passes.c (traverse_io_block): Adjust test for
|
||||
when a variable is eligible for the transformation to
|
||||
array slice.
|
||||
|
||||
2021-06-28 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
* trans-array.c (trans_array_constructor): Replace direct uses
|
||||
|
@ -1,3 +1,124 @@
|
||||
2021-07-06 Indu Bhagat <indu.bhagat@oracle.com>
|
||||
|
||||
PR debug/101283
|
||||
* gcc.dg/debug/btf/btf-bitfields-3.c: Remove the check on btm_type.
|
||||
|
||||
2021-07-06 Indu Bhagat <indu.bhagat@oracle.com>
|
||||
|
||||
PR debug/101283
|
||||
* gcc.dg/debug/ctf/ctf-attr-mode-1.c: Remove the check for ctv_typeidx.
|
||||
|
||||
2021-07-06 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
PR c++/55881
|
||||
* g++.dg/warn/uninit-pr55881.C: New test.
|
||||
|
||||
2021-07-06 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
PR tree-optimization/86650
|
||||
* gcc.dg/Warray-bounds-76.c: New test.
|
||||
|
||||
2021-07-06 Indu Bhagat <indu.bhagat@oracle.com>
|
||||
|
||||
PR debug/101283
|
||||
* gcc.dg/debug/ctf/ctf-struct-array-2.c: Adjust the value in the testcase.
|
||||
|
||||
2021-07-06 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
* gcc.dg/format/gcc_diag-10.c: Update expected warnings.
|
||||
* gcc.dg/plugin/diagnostic_plugin_test_inlining.c: Remove %G.
|
||||
|
||||
2021-07-06 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
* gcc.dg/Wobjsize-1.c: Prune expected output.
|
||||
* gcc.dg/Warray-bounds-71.c: New test.
|
||||
* gcc.dg/Warray-bounds-71.h: New test header.
|
||||
* gcc.dg/Warray-bounds-72.c: New test.
|
||||
* gcc.dg/Warray-bounds-73.c: New test.
|
||||
* gcc.dg/Warray-bounds-74.c: New test.
|
||||
* gcc.dg/Warray-bounds-75.c: New test.
|
||||
* gcc.dg/Wfree-nonheap-object-4.c: Adjust expected output.
|
||||
* gcc.dg/Wfree-nonheap-object-5.c: New test.
|
||||
* gcc.dg/Wfree-nonheap-object-6.c: New test.
|
||||
* gcc.dg/pragma-diag-10.c: New test.
|
||||
* gcc.dg/pragma-diag-9.c: New test.
|
||||
* gcc.dg/uninit-suppress_3.c: New test.
|
||||
* gcc.dg/pr79214.c: Xfail tests.
|
||||
* gcc.dg/tree-ssa/builtin-sprintf-warn-27.c: New test.
|
||||
* gcc.dg/format/c90-printf-1.c: Adjust expected output.
|
||||
|
||||
2021-07-06 Uroš Bizjak <ubizjak@gmail.com>
|
||||
|
||||
PR target/97194
|
||||
* gcc.target/i386/sse4_1-vec-set-1a.c: New test.
|
||||
* gcc.target/i386/sse4_1-vec-set-2a.c: Ditto.
|
||||
|
||||
2021-07-06 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* gcc.target/i386/vect-fmaddsubXXXpd.c: New testcase.
|
||||
* gcc.target/i386/vect-fmaddsubXXXps.c: Likewise.
|
||||
* gcc.target/i386/vect-fmsubaddXXXpd.c: Likewise.
|
||||
* gcc.target/i386/vect-fmsubaddXXXps.c: Likewise.
|
||||
|
||||
2021-07-06 Andrew Pinski <apinski@marvell.com>
|
||||
|
||||
PR tree-optimization/101256
|
||||
* g++.dg/torture/pr101256.C: New test.
|
||||
|
||||
2021-07-06 Thomas Koenig <tkoenig@gcc.gnu.org>
|
||||
|
||||
PR fortran/100227
|
||||
* gfortran.dg/implied_do_io_7.f90: New test.
|
||||
|
||||
2021-07-06 Kewen Lin <linkw@linux.ibm.com>
|
||||
|
||||
PR rtl-optimization/100328
|
||||
* gcc.target/aarch64/sve/acle/asm/div_f16.c: Remove one xfail.
|
||||
* gcc.target/aarch64/sve/acle/asm/div_f32.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/div_f64.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/divr_f16.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/divr_f32.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/divr_f64.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/mad_f16.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/mad_f32.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/mad_f64.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/mla_f16.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/mla_f32.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/mla_f64.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/mls_f16.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/mls_f32.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/mls_f64.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/msb_f16.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/msb_f32.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/msb_f64.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/mulx_f16.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/mulx_f32.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/mulx_f64.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/nmad_f16.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/nmad_f32.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/nmad_f64.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/nmla_f16.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/nmla_f32.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/nmla_f64.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/nmls_f16.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/nmls_f32.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/nmls_f64.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/nmsb_f16.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/nmsb_f32.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/nmsb_f64.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/sub_f16.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/sub_f32.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/sub_f64.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/subr_f16.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/subr_f32.c: Likewise.
|
||||
* gcc.target/aarch64/sve/acle/asm/subr_f64.c: Likewise.
|
||||
|
||||
2021-07-06 Indu Bhagat <indu.bhagat@oracle.com>
|
||||
|
||||
PR debug/101283
|
||||
* gcc.dg/debug/btf/btf-cvr-quals-1.c: Use -gdwarf-4 on Darwin targets.
|
||||
* gcc.dg/debug/ctf/ctf-cvr-quals-1.c: Likewise.
|
||||
|
||||
2021-07-05 Andrew Pinski <apinski@marvell.com>
|
||||
|
||||
PR tree-optimization/101039
|
||||
|
Loading…
x
Reference in New Issue
Block a user