mirror of
https://github.com/gcc-mirror/gcc.git
synced 2026-05-06 14:59:39 +02:00
Daily bump.
This commit is contained in:
@@ -1,3 +1,7 @@
|
||||
2023-06-13 Andi Kleen <ak@linux.intel.com>
|
||||
|
||||
* gen_autofdo_event.py: Update for download server changes
|
||||
|
||||
2023-06-03 Lehua Ding <lehua.ding@rivai.ai>
|
||||
|
||||
* clang-format (ForEachMacros): Add missing cases
|
||||
|
||||
122
gcc/ChangeLog
122
gcc/ChangeLog
@@ -1,3 +1,125 @@
|
||||
2023-06-13 Jeff Law <jlaw@ventanamicro.com>
|
||||
|
||||
* gcc.cc (LINK_COMMAND_SPEC): Remove mudflap spec handling.
|
||||
|
||||
2023-06-13 Jeff Law <jlaw@ventanamicro.com>
|
||||
|
||||
* config/sh/divtab.cc: Remove.
|
||||
|
||||
2023-06-13 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
* config/i386/i386.cc (standard_sse_constant_opcode): Remove
|
||||
superfluous spaces around \t for vpcmpeqd.
|
||||
|
||||
2023-06-13 Roger Sayle <roger@nextmovesoftware.com>
|
||||
|
||||
* expr.cc (store_constructor) <case VECTOR_TYPE>: Don't bother
|
||||
clearing vectors with only a single element. Set CLEARED if the
|
||||
vector was initialized to zero.
|
||||
|
||||
2023-06-13 Lehua Ding <lehua.ding@rivai.ai>
|
||||
|
||||
* config/riscv/riscv-v.cc (struct mode_vtype_group): Remove duplicate
|
||||
#include.
|
||||
(ENTRY): Undef.
|
||||
(TUPLE_ENTRY): Undef.
|
||||
|
||||
2023-06-13 Juzhe-Zhong <juzhe.zhong@rivai.ai>
|
||||
|
||||
* config/riscv/riscv-v.cc (rvv_builder::single_step_npatterns_p): Add comment.
|
||||
(shuffle_generic_patterns): Ditto.
|
||||
(expand_vec_perm_const_1): Ditto.
|
||||
|
||||
2023-06-13 Juzhe-Zhong <juzhe.zhong@rivai.ai>
|
||||
|
||||
* config/riscv/riscv-v.cc (emit_vlmax_decompress_insn): Fix bug.
|
||||
(shuffle_decompress_patterns): Ditto.
|
||||
|
||||
2023-06-13 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* tree-ssa-loop-ch.cc (ch_base::copy_headers): Free loop BBs.
|
||||
|
||||
2023-06-13 Yanzhang Wang <yanzhang.wang@intel.com>
|
||||
Kito Cheng <kito.cheng@sifive.com>
|
||||
|
||||
* config/riscv/riscv-protos.h (riscv_init_cumulative_args): Set
|
||||
warning flag if func is not builtin
|
||||
* config/riscv/riscv.cc
|
||||
(riscv_scalable_vector_type_p): Determine whether the type is scalable vector.
|
||||
(riscv_arg_has_vector): Determine whether the arg is vector type.
|
||||
(riscv_pass_in_vector_p): Check the vector type param is passed by value.
|
||||
(riscv_init_cumulative_args): The same as header.
|
||||
(riscv_get_arg_info): Add the checking.
|
||||
(riscv_function_value): Check the func return and set warning flag
|
||||
* config/riscv/riscv.h (INIT_CUMULATIVE_ARGS): Add a flag to
|
||||
determine whether warning psabi or not.
|
||||
|
||||
2023-06-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
|
||||
|
||||
* config/arm/arm-opts.h (enum arm_tp_type): Remove TP_CP15.
|
||||
Add TP_TPIDRURW, TP_TPIDRURO, TP_TPIDRPRW values.
|
||||
* config/arm/arm-protos.h (arm_output_load_tpidr): Declare prototype.
|
||||
* config/arm/arm.cc (arm_option_reconfigure_globals): Replace TP_CP15
|
||||
with TP_TPIDRURO.
|
||||
(arm_output_load_tpidr): Define.
|
||||
* config/arm/arm.h (TARGET_HARD_TP): Define in terms of TARGET_SOFT_TP.
|
||||
* config/arm/arm.md (load_tp_hard): Call arm_output_load_tpidr to output
|
||||
assembly.
|
||||
(reload_tp_hard): Likewise.
|
||||
* config/arm/arm.opt (tpidrurw, tpidruro, tpidrprw): New values for
|
||||
arm_tp_type.
|
||||
* doc/invoke.texi (Arm Options, mtp): Document new values.
|
||||
|
||||
2023-06-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
|
||||
|
||||
PR target/108779
|
||||
* config/aarch64/aarch64-opts.h (enum aarch64_tp_reg): Add
|
||||
AARCH64_TPIDRRO_EL0 value.
|
||||
* config/aarch64/aarch64.cc (aarch64_output_load_tp): Define.
|
||||
* config/aarch64/aarch64.opt (tpidr_el0, tpidr_el1, tpidr_el2,
|
||||
tpidr_el3, tpidrro_el3): New accepted values to -mtp=.
|
||||
* doc/invoke.texi (AArch64 Options): Document new -mtp= options.
|
||||
|
||||
2023-06-13 Alexandre Oliva <oliva@adacore.com>
|
||||
|
||||
* range-op-float.cc (frange_nextafter): Drop inline.
|
||||
(frelop_early_resolve): Add static.
|
||||
(frange_float): Likewise.
|
||||
|
||||
2023-06-13 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR middle-end/110232
|
||||
* fold-const.cc (native_interpret_vector): Use TYPE_SIZE_UNIT
|
||||
to check whether the buffer covers the whole vector.
|
||||
|
||||
2023-06-13 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* tree-ssa-alias.cc (ref_maybe_used_by_call_p_1): For
|
||||
.MASK_LOAD and friends set the size of the access to unknown.
|
||||
|
||||
2023-06-13 Tejas Belagod <tbelagod@arm.com>
|
||||
|
||||
PR target/96339
|
||||
* config/aarch64/aarch64-sve-builtins-base.cc (svlast_impl::fold): Fold sve
|
||||
calls that have a constant input predicate vector.
|
||||
(svlast_impl::is_lasta): Query to check if intrinsic is svlasta.
|
||||
(svlast_impl::is_lastb): Query to check if intrinsic is svlastb.
|
||||
(svlast_impl::vect_all_same): Check if all vector elements are equal.
|
||||
|
||||
2023-06-13 Andi Kleen <ak@linux.intel.com>
|
||||
|
||||
* config/i386/gcc-auto-profile: Regenerate.
|
||||
|
||||
2023-06-13 Juzhe-Zhong <juzhe.zhong@rivai.ai>
|
||||
|
||||
* config/riscv/vector-iterators.md: Fix requirement.
|
||||
|
||||
2023-06-13 Juzhe-Zhong <juzhe.zhong@rivai.ai>
|
||||
|
||||
* config/riscv/riscv-v.cc (emit_vlmax_decompress_insn): New function.
|
||||
(shuffle_decompress_patterns): New function.
|
||||
(expand_vec_perm_const_1): Add decompress optimization.
|
||||
|
||||
2023-06-12 Jeff Law <jlaw@ventanamicro.com>
|
||||
|
||||
PR rtl-optimization/101188
|
||||
|
||||
@@ -1 +1 @@
|
||||
20230613
|
||||
20230614
|
||||
|
||||
@@ -1,3 +1,329 @@
|
||||
2023-06-13 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_aggr.adb (Resolve_Iterated_Component_Association): Simply resolve
|
||||
the expression.
|
||||
|
||||
2023-06-13 Bob Duff <duff@adacore.com>
|
||||
|
||||
* exp_ch4.adb
|
||||
(Expand_N_Quantified_Expression): Detect the secondary-stack
|
||||
case, and find the innermost scope where we should mark/release,
|
||||
and Set_Uses_Sec_Stack on that. Skip intermediate blocks and loops
|
||||
that are part of expansion.
|
||||
|
||||
2023-06-13 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_util.adb (Is_Repeatedly_Evaluated): Recognize iterated component
|
||||
association as repeatedly evaluated.
|
||||
|
||||
2023-06-13 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_util.adb (Is_Potentially_Unevaluated): Recognize iterated
|
||||
component association as potentially unevaluated.
|
||||
|
||||
2023-06-13 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_res.adb (Resolve_Call): Replace early call to
|
||||
In_Quantified_Expression with a call to Is_Potentially_Unevaluated that
|
||||
was only done when Full_Analysis is true.
|
||||
|
||||
2023-06-13 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* aspects.ads (Aspect_Id): Add new aspect.
|
||||
(Implementation_Defined_Aspect): New aspect is
|
||||
implementation-defined.
|
||||
(Aspect_Argument): New aspect has an expression argument.
|
||||
(Is_Representation_Aspect): New aspect is not a representation
|
||||
aspect.
|
||||
(Aspect_Names): Link new aspect identifier with a name.
|
||||
(Aspect_Delay): New aspect is never delayed.
|
||||
* contracts.adb (Expand_Subprogram_Contract): Mention new aspect
|
||||
in comment.
|
||||
(Add_Contract_Item): Attach pragma corresponding to the new aspect
|
||||
to contract items.
|
||||
(Analyze_Entry_Or_Subprogram_Contract): Analyze pragma
|
||||
corresponding to the new aspect that appears with subprogram spec.
|
||||
(Analyze_Subprogram_Body_Stub_Contract): Expand pragma
|
||||
corresponding to the new aspect.
|
||||
* contracts.ads
|
||||
(Add_Contract_Item, Analyze_Entry_Or_Subprogram_Contract)
|
||||
(Analyze_Entry_Or_Subprogram_Body_Contract)
|
||||
(Analyze_Subprogram_Body_Stub_Contract): Mention new aspect in
|
||||
comment.
|
||||
* einfo-utils.adb (Get_Pragma): Return pragma attached to
|
||||
contract.
|
||||
* einfo-utils.ads (Get_Pragma): Mention new contract in comment.
|
||||
* exp_prag.adb (Expand_Pragma_Always_Terminates): Placeholder for
|
||||
possibly expanding new aspect.
|
||||
* exp_prag.ads (Expand_Pragma_Always_Terminates): Dedicated
|
||||
routine for expansion of the new aspect.
|
||||
* inline.adb (Remove_Aspects_And_Pragmas): Remove aspect from
|
||||
inlined bodies.
|
||||
* par-prag.adb (Prag): Postpone checking of the pragma until
|
||||
analysis.
|
||||
* sem_ch12.adb: Mention new aspect in explanation of handling
|
||||
contracts on generic units.
|
||||
* sem_ch13.adb (Analyze_Aspect_Specifications): Convert new aspect
|
||||
into a corresponding pragma.
|
||||
(Check_Aspect_At_Freeze_Point): Don't expect new aspect.
|
||||
* sem_prag.adb (Analyze_Always_Terminates_In_Decl_Part): Analyze
|
||||
pragma corresponding to the new aspect.
|
||||
(Analyze_Pragma): Handle pragma corresponding to the new aspect.
|
||||
(Is_Non_Significant_Pragma_Reference): Handle references appearing
|
||||
within new aspect.
|
||||
* sem_prag.ads (Aspect_Specifying_Pragma): New aspect can be
|
||||
emulated with a pragma.
|
||||
(Assertion_Expression_Pragma): New aspect has an assertion
|
||||
expression.
|
||||
(Pragma_Significant_To_Subprograms): New aspect is significant to
|
||||
subprograms.
|
||||
(Analyze_Always_Terminates_In_Decl_Part): Add spec for routine
|
||||
that analyses new aspect.
|
||||
(Find_Related_Declaration_Or_Body): Mention new aspect in comment.
|
||||
* sem_util.adb (Is_Subprogram_Contract_Annotation): New aspect is
|
||||
a subprogram contract annotation.
|
||||
* sem_util.ads (Is_Subprogram_Contract_Annotation): Mention new
|
||||
aspect in comment.
|
||||
* sinfo.ads (Is_Generic_Contract_Pragma): New pragma is a generic
|
||||
contract.
|
||||
(Contract): Explain attaching new pragma to subprogram contract.
|
||||
* snames.ads-tmpl (Name_Always_Terminates): New name for the new
|
||||
contract.
|
||||
(Pragma_Always_Terminates): New pragma identifier.
|
||||
|
||||
2023-06-13 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_elab.adb (Check_Overriding_Primitive): Prevent Corresponding_Body
|
||||
to be called with entity of an abstract subprogram.
|
||||
|
||||
2023-06-13 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* sem_ch12.adb (Save_References_In_Identifier): In the case where
|
||||
the identifier has been turned into a function call by analysis,
|
||||
call Set_Global_Type on the entity if it is global.
|
||||
|
||||
2023-06-13 Marc Poulhiès <poulhies@adacore.com>
|
||||
|
||||
* sem_aggr.adb (Resolve_Iterated_Component_Association): Call
|
||||
Preanalyze_And_Resolve instead of Resolve_Aggr_Expr except for
|
||||
aggregate.
|
||||
Co-authored-by: Ed Schonberg <schonberg@adacore.com>
|
||||
|
||||
2023-06-13 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* contracts.adb (Contract_Error): New exception.
|
||||
(Add_Contract_Item): Raise Contract_Error instead of Program_Error.
|
||||
(Add_Generic_Contract_Pragma): Deal with Contract_Error.
|
||||
|
||||
2023-06-13 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* sem_attr.adb (Eval_Attribute): Add more exceptions to the early
|
||||
return for a prefix which is a nonfrozen generic actual type.
|
||||
* sem_ch12.adb (Copy_Generic_Node): Also check private views in the
|
||||
case of an entity name or operator analyzed as a function call.
|
||||
(Set_Global_Type): Make it a child of Save_Global_References.
|
||||
(Save_References_In_Operator): In the case where the operator has
|
||||
been turned into a function call, call Set_Global_Type on the entity
|
||||
if it is global.
|
||||
|
||||
2023-06-13 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): For a
|
||||
subprogram body that has no contracts and does not come from source,
|
||||
make sure that contracts on its corresponding spec are analyzed, if
|
||||
any, before expanding them.
|
||||
|
||||
2023-06-13 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* gen_il-fields.ads (Opt_Field_Enum): Add No_Finalize_Actions and
|
||||
remove No_Side_Effect_Removal.
|
||||
* gen_il-gen-gen_nodes.adb (N_Function_Call): Remove semantic flag
|
||||
No_Side_Effect_Removal
|
||||
(N_Assignment_Statement): Add semantic flag No_Finalize_Actions.
|
||||
* sinfo.ads (No_Ctrl_Actions): Adjust comment.
|
||||
(No_Finalize_Actions): New flag on assignment statements.
|
||||
(No_Side_Effect_Removal): Delete.
|
||||
* exp_aggr.adb (Build_Record_Aggr_Code): Remove obsolete comment and
|
||||
Ancestor_Is_Expression variable. In the case of an extension, do
|
||||
not generate a call to Adjust manually, call Set_No_Finalize_Actions
|
||||
instead. Do not set the tags, replace call to Make_Unsuppress_Block
|
||||
by Make_Suppress_Block and remove useless assertions.
|
||||
In the general case, call Initialize_Component.
|
||||
(Initialize_Controlled_Component): Delete.
|
||||
(Initialize_Simple_Component): Delete.
|
||||
(Initialize_Component): Do the low-level processing, but do not
|
||||
generate a call to Adjust manually, call Set_No_Finalize_Actions.
|
||||
(Process_Transient_Component): Delete.
|
||||
(Process_Transient_Component_Completion): Likewise.
|
||||
* exp_ch5.adb (Expand_Assign_Array): Deal with No_Finalize_Actions.
|
||||
(Expand_Assign_Array_Loop): Likewise.
|
||||
(Expand_N_Assignment_Statement): Likewise.
|
||||
(Make_Tag_Ctrl_Assignment): Likewise.
|
||||
* exp_util.adb (Remove_Side_Effects): Do not test the
|
||||
No_Side_Effect_Removal flag.
|
||||
* sem_prag.adb (Process_Suppress_Unsuppress): Give the warning in
|
||||
SPARK mode only for pragma Suppress.
|
||||
* tbuild.ads (Make_Suppress_Block): New declaration.
|
||||
(Make_Unsuppress_Block): Adjust comment.
|
||||
* tbuild.adb (Make_Suppress_Block): New procedure.
|
||||
(Make_Unsuppress_Block): Unsuppress instead of suppressing.
|
||||
|
||||
2023-06-13 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* sem_ch5.adb (Analyze_Assignment): Turn Rhs into a constant and
|
||||
remove calls to the following subprograms.
|
||||
(Transform_BIP_Assignment): Delete.
|
||||
(Should_Transform_BIP_Assignment): Likewise.
|
||||
|
||||
2023-06-13 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_util.ads (Is_Inherited_Operation_For_Type): Remove spec.
|
||||
* sem_util.adb (Is_Inherited_Operation_For_Type): Remove body.
|
||||
|
||||
2023-06-13 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_aggr.adb (Build_Record_Aggr_Code): Add new variable Ancestor_Q
|
||||
to store the result of Unqualify on Ancestor. Remove the dead call
|
||||
to Generate_Finalization_Actions in the case of another aggregate as
|
||||
ancestor part. Remove the redundant setting of Assignment_OK. Use
|
||||
Init_Typ in lieu of Etype (Ancestor) more consistently.
|
||||
|
||||
2023-06-13 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_aggr.adb (Build_Record_Aggr_Code): In the case of an extension
|
||||
aggregate of a limited type whose ancestor part is an aggregate, do
|
||||
not skip the final code assigning the tag of the extension.
|
||||
|
||||
2023-06-13 Yannick Moy <moy@adacore.com>
|
||||
|
||||
* ghost.adb (Check_Ghost_Context): Allow absence of Ghost_Id
|
||||
for attribute. Update error message to mention Ghost_Predicate.
|
||||
(Is_Ghost_Attribute_Reference): New query.
|
||||
* ghost.ads (Is_Ghost_Attribute_Reference): New query.
|
||||
* sem_attr.adb (Resolve_Attribute): Check ghost context for ghost
|
||||
attributes.
|
||||
|
||||
2023-06-13 Daniel King <dmking@adacore.com>
|
||||
|
||||
* libgnat/s-stoele.ads: Add No_Elaboration_Code_All pragma.
|
||||
|
||||
2023-06-13 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_util.ads (Make_Tag_Assignment_From_Type): Declare.
|
||||
* exp_util.adb (Make_Tag_Assignment_From_Type): New function.
|
||||
* exp_aggr.adb (Build_Record_Aggr_Code): Call the above function.
|
||||
(Initialize_Simple_Component): Likewise.
|
||||
* exp_ch3.adb (Build_Record_Init_Proc.Build_Assignment): Likewise.
|
||||
(Build_Record_Init_Proc.Build_Init_Procedure ): Likewise.
|
||||
(Make_Tag_Assignment): Likewise. Rename local variable and call
|
||||
Unqualify to go through qualified expressions.
|
||||
* exp_ch4.adb (Expand_Allocator_Expression): Likewise.
|
||||
|
||||
2023-06-13 Yannick Moy <moy@adacore.com>
|
||||
|
||||
* libgnat/a-strsup.ads: Change predicate aspect.
|
||||
* sem_ch13.adb (Add_Predicate): Fix for first predicate.
|
||||
|
||||
2023-06-13 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_aggr.adb (Initialize_Component): Perform immediate expansion
|
||||
of the initialization expression if it is a conditional expression
|
||||
and the component type is controlled.
|
||||
|
||||
2023-06-13 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_aggr.adb (Initialize_Component): New procedure factored out
|
||||
from the processing of array and record aggregates.
|
||||
(Initialize_Controlled_Component): Likewise.
|
||||
(Initialize_Simple_Component): Likewise.
|
||||
(Build_Array_Aggr_Code.Gen_Assign): Remove In_Loop parameter.
|
||||
Call Initialize_Component to initialize the component.
|
||||
(Initialize_Array_Component): Delete.
|
||||
(Initialize_Ctrl_Array_Component): Likewise.
|
||||
(Build_Array_Aggr_Code): Adjust calls to Gen_Assign.
|
||||
(Build_Record_Aggr_Code): Call Initialize_Simple_Component or
|
||||
Initialize_Component to initialize the component.
|
||||
(Initialize_Ctrl_Record_Component): Delete.
|
||||
(Initialize_Record_Component): Likewise.
|
||||
|
||||
2023-06-13 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_ch11.adb (Expand_N_Raise_Statement): Expansion of raise statements
|
||||
never happens in GNATprove mode.
|
||||
|
||||
2023-06-13 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_ch11.adb (Find_Local_Handler): Replace guard against other
|
||||
constructs appearing in the list of exception handlers with iteration
|
||||
using First_Non_Pragma/Next_Non_Pragma.
|
||||
|
||||
2023-06-13 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_ch11.ads (Find_Local_Handler): Fix typo in comment.
|
||||
* exp_ch11.adb (Find_Local_Handler): Remove redundant check for the
|
||||
Exception_Handler list being present; use membership test to eliminate
|
||||
local object LCN; fold nested IF statements. Remove useless ELSIF
|
||||
condition.
|
||||
|
||||
2023-06-13 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_util.adb (Check_Function_Writable_Actuals): Tune style; use
|
||||
subtype name to detect membership test nodes.
|
||||
|
||||
2023-06-13 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_disp.adb (Make_Disp_Asynchronous_Select_Spec): Use a single call
|
||||
to New_List.
|
||||
|
||||
2023-06-13 Yannick Moy <moy@adacore.com>
|
||||
|
||||
* doc/gnat_rm/implementation_defined_aspects.rst: Document new
|
||||
aspect.
|
||||
* doc/gnat_rm/implementation_defined_pragmas.rst: Whitespace.
|
||||
* aspects.adb (Init_Canonical_Aspect): Set it to Predicate.
|
||||
* aspects.ads: Set global constants for new aspect.
|
||||
* einfo.ads: Describe new flag related to new aspect.
|
||||
* exp_ch6.adb (Can_Fold_Predicate_Call): Do not fold new aspect.
|
||||
* exp_util.adb (Make_Predicate_Check): Add comment.
|
||||
* gen_il-fields.ads: Add new flag.
|
||||
* gen_il-gen-gen_entities.adb: Add new flag.
|
||||
* ghost.adb (Is_OK_Ghost_Context): Ghost predicate is an OK
|
||||
ghost context.
|
||||
(Mark_Ghost_Pragma): Add overloading with ghost mode parameter.
|
||||
* ghost.ads (Mark_Ghost_Pragma): Add overloading with ghpst mode
|
||||
parameter.
|
||||
(Name_To_Ghost_Mode): Make function public.
|
||||
* sem_aggr.adb: Issue error for violation of valid use.
|
||||
* sem_case.adb: Issue error for violation of valid use.
|
||||
* sem_ch13.adb: Adapt for new aspect.
|
||||
* sem_ch3.adb (Analyze_Full_Type_Declaration): Remove dead code
|
||||
which was trying to propagate Has_Predicates flag in the wrong
|
||||
direction (from derived to parent type).
|
||||
(Analyze_Number_Declaration): Issue error for violation of valid
|
||||
use.
|
||||
(Build_Derived_Type): Cleanup inheritance of predicate flags from
|
||||
parent to derived type.
|
||||
(Build_Predicate_Function): Only add a predicate check when it
|
||||
is not ignored as Ghost code.
|
||||
* sem_ch4.adb (Analyze_Membership_Op): Issue an error for use of
|
||||
a subtype with a ghost predicate as name in a membership test.
|
||||
* sem_ch5.adb (Check_Predicate_Use): Issue error for violation of
|
||||
valid use.
|
||||
* sem_eval.adb: Adapt code for Dynamic_Predicate to account for
|
||||
Ghost_Predicate too.
|
||||
* sem_prag.adb (Analyze_Pragma): Make pragma ghost or not.
|
||||
* sem_util.adb (Bad_Predicated_Subtype_Use): Adapt to new aspect.
|
||||
(Inherit_Predicate_Flags): Add inheritance of flag. Add parameter
|
||||
to apply to derived types.
|
||||
* sem_util.ads (Inherit_Predicate_Flags): Change signature.
|
||||
* snames.ads-tmpl: Add new aspect name.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
|
||||
2023-06-13 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_ch3.adb (Make_Controlling_Function_Wrappers): Remove early
|
||||
decoration.
|
||||
|
||||
2023-05-30 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* gcc-interface/trans.cc (get_storage_model_access): Also strip any
|
||||
|
||||
@@ -1,3 +1,10 @@
|
||||
2023-06-13 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
PR c/84890
|
||||
* known-headers.cc
|
||||
(suggest_missing_header::~suggest_missing_header): Reword note to
|
||||
avoid negative tone of "forgetting".
|
||||
|
||||
2023-06-07 Jason Merrill <jason@redhat.com>
|
||||
|
||||
PR c++/58487
|
||||
|
||||
@@ -1,3 +1,13 @@
|
||||
2023-06-13 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
PR c/84890
|
||||
* name-lookup.cc (missing_std_header::~missing_std_header): Reword
|
||||
note to avoid negative tone of "forgetting".
|
||||
|
||||
2023-06-13 Jason Merrill <jason@redhat.com>
|
||||
|
||||
* tree.cc (build_target_expr): Check TYPE_HAS_MUTABLE_P.
|
||||
|
||||
2023-06-12 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
* parser.cc (cp_parser_omp_clause_map): Reword error message for
|
||||
|
||||
@@ -1,3 +1,11 @@
|
||||
2023-06-13 Harald Anlauf <anlauf@gmx.de>
|
||||
Mikael Morin <mikael@gcc.gnu.org>
|
||||
|
||||
PR fortran/86277
|
||||
* trans-array.cc (gfc_trans_allocate_array_storage): When passing a
|
||||
zero-sized array with fixed (= non-dynamic) size, allocate temporary
|
||||
by the caller, not by the callee.
|
||||
|
||||
2023-06-10 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
|
||||
|
||||
* f95-lang.cc (gfc_init_builtin_functions): Add fmax() and
|
||||
|
||||
@@ -1,3 +1,21 @@
|
||||
2023-06-13 Gaius Mulley <gaiusmod2@gmail.com>
|
||||
|
||||
* Make-lang.in (check-format-error): New rule.
|
||||
* gm2-compiler/M2MetaError.mod (op): Add calls InternalError if
|
||||
digits are detected.
|
||||
* gm2-compiler/M2Quads.mod (BuildForToByDo): Bugfix to format
|
||||
specifier.
|
||||
(BuildLengthFunction): Bugfix to format specifiers.
|
||||
(BuildOddFunction): Bugfix to format specifiers.
|
||||
(BuildAbsFunction): Bugfix to format specifiers.
|
||||
(BuildCapFunction): Bugfix to format specifiers.
|
||||
(BuildChrFunction): Bugfix to format specifiers.
|
||||
(BuildOrdFunction): Bugfix to format specifiers.
|
||||
(BuildMakeAdrFunction): Bugfix to format specifiers.
|
||||
(BuildSizeFunction): Bugfix to format specifiers.
|
||||
(BuildBitSizeFunction): Bugfix to format specifiers.
|
||||
* tools-src/checkmeta.py: New file.
|
||||
|
||||
2023-06-12 Gaius Mulley <gaiusmod2@gmail.com>
|
||||
|
||||
PR modula2/110189
|
||||
|
||||
@@ -1,3 +1,149 @@
|
||||
2023-06-13 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
PR c/84890
|
||||
* g++.dg/cpp2a/srcloc3.C: Update expected message.
|
||||
* g++.dg/lookup/missing-std-include-2.C: Likewise.
|
||||
* g++.dg/lookup/missing-std-include-3.C: Likewise.
|
||||
* g++.dg/lookup/missing-std-include-6.C: Likewise.
|
||||
* g++.dg/lookup/missing-std-include.C: Likewise.
|
||||
* g++.dg/spellcheck-inttypes.C: Likewise.
|
||||
* g++.dg/spellcheck-stdint.C: Likewise.
|
||||
* g++.dg/spellcheck-stdlib.C: Likewise.
|
||||
* gcc.dg/spellcheck-inttypes.c: Likewise.
|
||||
* gcc.dg/spellcheck-stdbool.c: Likewise.
|
||||
* gcc.dg/spellcheck-stdint.c: Likewise.
|
||||
* gcc.dg/spellcheck-stdlib.c: Likewise.
|
||||
|
||||
2023-06-13 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
|
||||
|
||||
* gfortran.dg/data_array_7.f90: New test.
|
||||
|
||||
2023-06-13 Harald Anlauf <anlauf@gmx.de>
|
||||
Mikael Morin <mikael@gcc.gnu.org>
|
||||
|
||||
PR fortran/86277
|
||||
* gfortran.dg/zero_sized_14.f90: New test.
|
||||
* gfortran.dg/zero_sized_15.f90: New test.
|
||||
|
||||
2023-06-13 Juzhe-Zhong <juzhe.zhong@rivai.ai>
|
||||
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp-10.c: New test.
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp-11.c: New test.
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp-13.c: New test.
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp-14.c: New test.
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp-15.c: New test.
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp_run-10.c: New test.
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp_run-11.c: New test.
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp_run-13.c: New test.
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp_run-14.c: New test.
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp_run-15.c: New test.
|
||||
|
||||
2023-06-13 Juzhe-Zhong <juzhe.zhong@rivai.ai>
|
||||
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp-12.c: New test.
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp_run-12.c: New test.
|
||||
|
||||
2023-06-13 Jason Merrill <jason@redhat.com>
|
||||
|
||||
* g++.dg/tree-ssa/initlist-opt6.C: New test.
|
||||
|
||||
2023-06-13 Yanzhang Wang <yanzhang.wang@intel.com>
|
||||
Kito Cheng <kito.cheng@sifive.com>
|
||||
|
||||
* g++.target/riscv/rvv/base/pr109244.C: Add the -Wno-psabi.
|
||||
* g++.target/riscv/rvv/base/pr109535.C: Same
|
||||
* gcc.target/riscv/rvv/base/binop_vx_constraint-120.c: Same
|
||||
* gcc.target/riscv/rvv/base/integer_compare_insn_shortcut.c: Same
|
||||
* gcc.target/riscv/rvv/base/mask_insn_shortcut.c: Same
|
||||
* gcc.target/riscv/rvv/base/misc_vreinterpret_vbool_vint.c: Same
|
||||
* gcc.target/riscv/rvv/base/pr110109-2.c: Same
|
||||
* gcc.target/riscv/rvv/base/scalar_move-9.c: Same
|
||||
* gcc.target/riscv/rvv/base/spill-10.c: Same
|
||||
* gcc.target/riscv/rvv/base/spill-11.c: Same
|
||||
* gcc.target/riscv/rvv/base/spill-9.c: Same
|
||||
* gcc.target/riscv/rvv/base/vlmul_ext-1.c: Same
|
||||
* gcc.target/riscv/rvv/base/zero_base_load_store_optimization.c: Same
|
||||
* gcc.target/riscv/rvv/base/zvfh-intrinsic.c: Same
|
||||
* gcc.target/riscv/rvv/base/zvfh-over-zvfhmin.c: Same
|
||||
* gcc.target/riscv/rvv/base/zvfhmin-intrinsic.c: Same
|
||||
* gcc.target/riscv/rvv/vsetvl/vsetvl-1.c: Same
|
||||
* gcc.target/riscv/vector-abi-1.c: New test.
|
||||
* gcc.target/riscv/vector-abi-2.c: New test.
|
||||
* gcc.target/riscv/vector-abi-3.c: New test.
|
||||
* gcc.target/riscv/vector-abi-4.c: New test.
|
||||
* gcc.target/riscv/vector-abi-5.c: New test.
|
||||
* gcc.target/riscv/vector-abi-6.c: New test.
|
||||
|
||||
2023-06-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
|
||||
|
||||
* gcc.target/arm/mtp.c: New test.
|
||||
* gcc.target/arm/mtp_1.c: New test.
|
||||
* gcc.target/arm/mtp_2.c: New test.
|
||||
* gcc.target/arm/mtp_3.c: New test.
|
||||
* gcc.target/arm/mtp_4.c: New test.
|
||||
|
||||
2023-06-13 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
|
||||
|
||||
PR target/108779
|
||||
* gcc.target/aarch64/mtp_5.c: New test.
|
||||
* gcc.target/aarch64/mtp_6.c: New test.
|
||||
* gcc.target/aarch64/mtp_7.c: New test.
|
||||
* gcc.target/aarch64/mtp_8.c: New test.
|
||||
* gcc.target/aarch64/mtp_9.c: New test.
|
||||
|
||||
2023-06-13 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR middle-end/110232
|
||||
* gcc.target/i386/pr110232.c: New testcase.
|
||||
|
||||
2023-06-13 Ajit Kumar Agarwal <aagarwa1@linux.ibm.com>
|
||||
|
||||
PR testsuite/109880
|
||||
* gcc.target/powerpc/fold-vec-extract-int.p8.c: Update test.
|
||||
|
||||
2023-06-13 Kewen Lin <linkw@linux.ibm.com>
|
||||
|
||||
PR testsuite/110230
|
||||
PR target/109932
|
||||
* gcc.target/powerpc/pr109932-1.c: Adjust with int128 effective target.
|
||||
* gcc.target/powerpc/pr109932-2.c: Ditto.
|
||||
|
||||
2023-06-13 Pan Li <pan2.li@intel.com>
|
||||
|
||||
* gcc.target/riscv/rvv/autovec/vls-vlmax/full-vec-move1.c:
|
||||
Adjust dg-do to comiple for asm checking.
|
||||
|
||||
2023-06-13 Tejas Belagod <tbelagod@arm.com>
|
||||
|
||||
PR target/96339
|
||||
* gcc.target/aarch64/sve/acle/general-c/svlast.c: New.
|
||||
* gcc.target/aarch64/sve/acle/general-c/svlast128_run.c: New.
|
||||
* gcc.target/aarch64/sve/acle/general-c/svlast256_run.c: New.
|
||||
* gcc.target/aarch64/sve/pcs/return_4.c (caller_bf16): Fix asm
|
||||
to expect optimized code for function body.
|
||||
* gcc.target/aarch64/sve/pcs/return_4_128.c (caller_bf16): Likewise.
|
||||
* gcc.target/aarch64/sve/pcs/return_4_256.c (caller_bf16): Likewise.
|
||||
* gcc.target/aarch64/sve/pcs/return_4_512.c (caller_bf16): Likewise.
|
||||
* gcc.target/aarch64/sve/pcs/return_4_1024.c (caller_bf16): Likewise.
|
||||
* gcc.target/aarch64/sve/pcs/return_4_2048.c (caller_bf16): Likewise.
|
||||
* gcc.target/aarch64/sve/pcs/return_5.c (caller_bf16): Likewise.
|
||||
* gcc.target/aarch64/sve/pcs/return_5_128.c (caller_bf16): Likewise.
|
||||
* gcc.target/aarch64/sve/pcs/return_5_256.c (caller_bf16): Likewise.
|
||||
* gcc.target/aarch64/sve/pcs/return_5_512.c (caller_bf16): Likewise.
|
||||
* gcc.target/aarch64/sve/pcs/return_5_1024.c (caller_bf16): Likewise.
|
||||
* gcc.target/aarch64/sve/pcs/return_5_2048.c (caller_bf16): Likewise.
|
||||
|
||||
2023-06-13 Juzhe-Zhong <juzhe.zhong@rivai.ai>
|
||||
|
||||
* gcc.target/riscv/rvv/autovec/vls-vlmax/full-vec-move1.c: New test.
|
||||
|
||||
2023-06-13 Juzhe-Zhong <juzhe.zhong@rivai.ai>
|
||||
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp-8.c: New test.
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp-9.c: New test.
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp_run-8.c: New test.
|
||||
* gcc.target/riscv/rvv/autovec/partial/slp_run-9.c: New test.
|
||||
|
||||
2023-06-12 Gaius Mulley <gaiusmod2@gmail.com>
|
||||
|
||||
PR modula2/110189
|
||||
|
||||
@@ -1,3 +1,9 @@
|
||||
2023-06-13 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
PR libgomp/109837
|
||||
* testsuite/libgomp.c-c++-common/requires-unified-addr-1.c: New test.
|
||||
* testsuite/libgomp.fortran/requires-unified-addr-1.f90: New test.
|
||||
|
||||
2023-06-12 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
* target.c (gomp_to_device_kind_p, gomp_map_vars_internal): Replace
|
||||
|
||||
@@ -1,3 +1,9 @@
|
||||
2023-06-13 Nathan Sidwell <nathan@acm.org>
|
||||
|
||||
* cp-demangle.c (d_print_conversion): Remove incorrect
|
||||
template instantiation handling.
|
||||
* testsuite/demangle-expected: Add testcases.
|
||||
|
||||
2023-06-07 Costas Argyris <costas.argyris@gmail.com>
|
||||
|
||||
* argv.c (writeargv): Constant propagate "0" for "status",
|
||||
|
||||
Reference in New Issue
Block a user