| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2024-01-22 | Update copyright years. | Marc Poulhiès | 1 | -1/+1 | |
| 2024-01-09 | ada: Error compiling Ada 2022 object renaming with no subtype mark | Steve Baird | 1 | -6/+8 | |
| In some cases the compiler would crash or generate spurious errors compiling a legal object renaming declaration that lacks a subtype mark. In addition to fixing the immediate problem, change Atree.Copy_Slots so that attempts to modify either the Empty or the Error nodes (e.g., by passing one of them as the target in a call to Rewrite) are ineffective. Cope with the consequences of this. gcc/ada/ * sem_ch8.adb (Check_Constrained_Object): Before updating the subtype mark of an object renaming declaration by calling Rewrite, first check whether the destination of the Rewrite call exists. * atree.adb (Copy_Slots): Return without performing any updates if Destination equals Empty or Error, or if Source equals Empty. Any of those conditions indicates an error case. * sem_ch12.adb (Analyze_Formal_Derived_Type): Avoid cascading errors. * sem_ch3.adb (Analyze_Number_Declaration): In an error case, do not pass Error as destination in a call to Rewrite. (Find_Type_Of_Subtype_Indic): In an error case, do not pass Error or Empty as destination in a call to Rewrite. | |||||
| 2023-12-19 | ada: Fix internal error on call with parameter of predicated subtype | Eric Botcazou | 1 | -9/+2 | |
| The problem is that the predicated subtype does not inherit all the required attributes of a string subtype with a static predicate. gcc/ada/ * sem_ch3.adb (Analyze_Subtype_Declaration): Remove a short-circuit for subtypes without aspects when it comes to predicates. * sem_util.adb (Inherit_Predicate_Flags): Deal with private subtypes whose full view is an Itype. | |||||
| 2023-12-19 | ada: Rename Is_Constr_Subt_For_UN_Aliased flag | Eric Botcazou | 1 | -9/+18 | |
| The flag is set on the constructed subtype of an object with unconstrained nominal subtype that is aliased and is used by the code generator to adjust the layout of the object. But it is actually only used for array subtypes, where it determines whether the object is allocated with its bounds, and this usage could be extended to other cases than the original case. gcc/ada/ * einfo.ads (Is_Constr_Subt_For_UN_Aliased): Rename into... (Is_Constr_Array_Subt_With_Bounds): ...this. * exp_ch3.adb (Expand_N_Object_Declaration): Adjust to above renaming and remove now redundant test. * sem_ch3.adb (Analyze_Object_Declaration): Likewise, but set Is_Constr_Array_Subt_With_Bounds only on arrays. * gen_il-fields.ads (Opt_Field_Enum): Apply same renaming. * gen_il-gen-gen_entities.adb (Entity_Kind): Likewise. * gen_il-internals.adb (Image): Remove specific processing for Is_Constr_Subt_For_UN_Aliased. * treepr.adb (Image): Likewise. * gcc-interface/decl.cc (gnat_to_gnu_entity): Adjust to renaming and remove now redundant tests. * gcc-interface/trans.cc (Identifier_to_gnu): Likewise. (Call_to_gnu): Likewise. | |||||
| 2023-11-30 | ada: Remove SPARK legality checks | Yannick Moy | 1 | -56/+0 | |
| SPARK legality checks apply only to code with SPARK_Mode On, and are performed again in GNATprove for detecting SPARK-compatible declarations in code with SPARK_Mode Auto. Remove this duplication, to only perform SPARK legality checking in GNATprove. After this patch, only a few special SPARK legality checks are performed in the frontend, which could be moved to GNATprove later. gcc/ada/ * contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Remove checking on volatility. Remove handling of SPARK_Mode, not needed anymore. (Analyze_Entry_Or_Subprogram_Contract): Remove checking on volatility. (Check_Type_Or_Object_External_Properties): Same. (Analyze_Object_Contract): Same. * freeze.adb (Freeze_Record_Type): Same. Also remove checking on synchronized types and ghost types. * sem_ch12.adb (Instantiate_Object): Remove checking on volatility. (Instantiate_Type): Same. * sem_ch3.adb (Access_Type_Declaration): Same. (Derived_Type_Declaration): Remove checking related to untagged partial view. (Process_Discriminants): Remove checking on volatility. * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Same. * sem_ch6.adb (Analyze_Procedure_Call): Fix use of SPARK_Mode where GNATprove_Mode was intended. * sem_disp.adb (Inherited_Subprograms): Protect against Empty node. * sem_prag.adb (Analyze_Global_In_Decl_Part): Remove checking on volatility. (Analyze_Pragma): Same. * sem_res.adb (Flag_Effectively_Volatile_Objects): Remove. (Resolve_Actuals): Remove checking on volatility. (Resolve_Entity_Name): Same. * sem_util.adb (Check_Nonvolatile_Function_Profile): Remove. (Check_Volatility_Compatibility): Remove. * sem_util.ads: Same. | |||||
| 2023-11-28 | ada: Fix internal error on declare expression in expression function | Eric Botcazou | 1 | -2/+3 | |
| When the expression function is not a completion, its (return) expression does not cause freezing so analyzing the declare expression in this context must not freeze the type of the object. The change also contains another fix, which makes it so that the compiler does not evaluate a nonstatic representation attribute of a scalar subtype in the same context if the subtype is not already frozen. gcc/ada/ * sem_attr.adb (Eval_Attribute): Do not proceed in a spec expression for nonstatic representation attributes of a scalar subtype when the subtype is not frozen. * sem_ch3.adb (Analyze_Object_Declaration): Do not freeze the type of the object in a spec expression. | |||||
| 2023-11-07 | ada: Rename Is_Limited_View to reflect actual query | Yannick Moy | 1 | -1/+1 | |
| Function Sem_Aux.Is_Limited_View returns whether the type is "inherently limited" in a slightly different way from the "immutably limited" definition in Ada 2012. Rename for clarity. gcc/ada/ * exp_aggr.adb: Apply the renaming. * exp_ch3.adb: Same. * exp_ch4.adb: Same. * exp_ch6.adb: Same. * exp_ch7.adb: Same. * exp_util.adb: Same. * freeze.adb: Same. * sem_aggr.adb: Same. * sem_attr.adb: Same. * sem_aux.adb: Alphabetize Is_Limited_Type. Rename. * sem_aux.ads: Same. * sem_ch3.adb: Apply the renaming. * sem_ch6.adb: Same. * sem_ch8.adb: Same. * sem_prag.adb: Same. * sem_res.adb: Same. * sem_util.adb: Same. | |||||
| 2023-11-07 | ada: Implement Aspects as fields under nodes | Viljar Indus | 1 | -29/+40 | |
| In the previous implementation Aspect Specifications were stored in a separate table and not directly under each node. This implementation included a lot of extra code that needed to be maintained manually. The new implementation stores Aspect_Specfications as a syntactic field under each node. This removes the extra code that was needed to store, traverse and clone aspects for nodes. gcc/ada/ * aspects.adb (Exchange_Aspects): Removed. This method was typically called after a Rewrite method. Now since the Rewrite switches the aspects between the new and the old node it is no longer needed. (Has_Aspects): Converted to a utility method that performs the same before as the previous Has_Aspects field did. Meaning it shows whether a node actually has aspects or not. (Copy_Aspects): New utility method that performs a deep copy of the From nodes aspects. (Aspect_Specfications): Removed. No longer needed. Replaced by the primitive operation for the Aspect_Specification fields. (Set_Aspect_Specifications): Likewise. (Aspect_Specifications_Hash_Table): Remove the table and all the utility methods for storing the old aspects. * aspects.ads: Likewise. * atree.adb (Copy_Separate_Tree): Remove custom code for aspects. (New_Copy): Likewise. (Replace): Likewise. (Rewrite): Likewise. * exp_ch3.adb (Expand_N_Object_Declaration): Keep the aspects from the old node. * exp_ch6.adb (Validate_Subprogram_Calls): Previously aspects were ignored because they were not on the tree. Explicitly ignore them here when traversing the tree. * exp_unst.adb (Build_Tables): Likewise * gen_il-fields.ads: Remove Has_Aspects and add Aspect_Specifications fields. * gen_il-gen-gen_nodes.adb: Add Aspect_Specification fields for all nodes that can have aspects. Additionally add Expression_Copy for Aspect_Speficiations to avoid reusing the Associated_Node for generic instantiation and aspect analysis. * ghost.adb (Remove_Ignored_Ghost_Node): Remove call to Remove_Aspects. The rewritten node is a Null_Statement that cannot have aspects and there is not anything to gain from removing them from the Orignal_Node of N since it technically is not part of the active tree. * inline.adb (Process_Formals_In_Aspects): Simplify code for node traversal. * par-ch13.adb: Avoid setting the parent explicitly for the Aspect_Specifications list. This is done explicitly in the setter. * par-ch6.adb: Likewise. * par_sco.adb (Traverse_Aspects): Handle early return. * sem_ch10.adb: Simplify code for Analyze_Aspect_Specifications. * sem_ch11.adb: Likewise. * sem_ch12.adb (Analyze_Formal_Derived_Interface_Type): Keep the aspects from the orignal node after rewrite. (Analyze_Formal_Derived_Type): Likewise. (Analyze_Formal_Interface_Type): Likewise. (Analyze_Formal_Object_Declaration): Simplify code for Analyze_Aspect_Specifications. (Analyze_Formal_Package_Declaration): Likewise. (Analyze_Formal_Subprogram_Declaration): Likewise. (Analyze_Formal_Type_Declaration): Likewise. (Analyze_Generic_Package_Declaration): Remove Exchange_Aspects. The new node already has the correct aspects after the rewrite. Also simplify code for Analyze_Aspect_Specifications. (Analyze_Generic_Subprogram_Declaration): Likewise. (Analyze_Package_Instantiation): Simplify code for Analyze_Aspect_Specifications. (Build_Instance_Compilation_Unit_Nodes): Remove explicit copy of aspects that is no longer needed. (Save_References): Update the traversal code to handle Aspect_Specifications in the tree. (Copy_Generic_Node): Remove explicit copy for aspects. New_Copy took care of that already. * sem_ch13.adb (Analyze_Aspect_Specifications): Add early return to simplify code for its calls. Avoid reusing the Entity(Associated_Node) field for storing the original expression. Instead use the new Expression_Copy field since Entity(Associated_Node) is also used in generic instantiation. (Analyze_Aspects_On_Subprogram_Body_Or_Stub): Simlify call to Analyze_Aspect_Specifications. (Check_Aspect_At_End_Of_Declarations): Use Expression_Copy instead of Entity. (Check_Aspect_At_Freeze_Point): Likewise. * sem_ch3.adb: Simplify calls to Analyze_Aspect_Specifications. * sem_ch6.adb (Analyze_Abstract_Subprogram_Declaration): Simplify call to Analyze_Aspect_Specifications. (Analyze_Expression_Function): Keep the aspects from the original node after a rewrite. (Analyze_Generic_Subprogram_Body): Remove Exchange aspects that is no longer needed. Simplify call to Analyze_Aspect_Specifications. (Analyze_Null_Procedure): Keep the aspects from the original node after a rewrite. (Analyze_Subprogram_Body_Helper): Simplify calls to Analyze_Aspect_Specifications. (Analyze_Subprogram_Declaration): Likewise. * sem_ch7.adb (Analyze_Package_Body_Helper): Remove Exchange aspects that is no longer needed. Simplify call to Analyze_Aspect_Specifications. (Analyze_Package_Declaration): Simplify call to Analyze_Aspect_Specifications. (Analyze_Private_Type_Declaration): Likewise. * sem_ch8.adb: Simplify calls to Analyze_Aspect_Specifications. * sem_ch9.adb (Analyze_Entry_Body): Simplify call to Analyze_Aspects_On_Subprogram_Body_Or_Stub. (Analyze_Entry_Declaration): Simplify call to Analyze_Aspect_Specifications. (Analyze_Protected_Body): Likewise. (Analyze_Protected_Type_Declaration): Likewise. (Analyze_Single_Protected_Declaration): Keep the aspects from the original node after a rewrite. Simplify call to Analyze_Aspect_Specifications. (Analyze_Single_Task_Declaration): Likewise. (Analyze_Task_Body): Simplify call to Analyze_Aspect_Specifications. (Analyze_Task_Type_Declaration): Simplify calls to Analyze_Aspect_Specifications. * sem_dim.adb: Remove explicitly setting the parents for the Aspect_Specification list. * sem_disp.adb: Remove the with that is no longer required since Aspect_Specifications is a node operation now. * sem_util.adb (Copy_Node_With_Replacement): Remove explicit code for aspects. * treepr.adb (Print_Field): Remove the version that was used for printing aspects. (Print_Node): Remove aspect specific code. | |||||
| 2023-11-07 | ada: Cleanup "not Present" on List_Id | Piotr Trojanek | 1 | -1/+1 | |
| gcc/ada/ * exp_ch6.adb, exp_disp.adb, sem_ch13.adb, sem_ch3.adb: Fix newly detected violations. | |||||
| 2023-11-07 | ada: Cleanup more "not Present" | Piotr Trojanek | 1 | -7/+5 | |
| We had a GNATcheck rule that suggests replacing "not Present (...)" with "No (...)", but it only detected calls with a parameter of type Node_Id. Now this rules also detects parameters of type Elist_Id. gcc/ada/ * sem_ch3.adb, sem_ch4.adb, sem_eval.adb: Fix newly detected violations. | |||||
| 2023-10-19 | ada: Seize opportunity to reuse List_Length | Ronan Desplanques | 1 | -7/+1 | |
| This patch is intended as a readability improvement. It doesn't change the behavior of the compiler. gcc/ada/ * sem_ch3.adb (Constrain_Array): Replace manual list length computation by call to List_Length. | |||||
| 2023-09-26 | ada: Fix deferred constant wrongly rejected | Eric Botcazou | 1 | -2/+4 | |
| This recent regression occurs when the nominal subtype of the constant is a discriminated record type with default discriminants. gcc/ada/ PR ada/110488 * sem_ch3.adb (Analyze_Object_Declaration): Do not build a default subtype for a deferred constant in the definite case too. | |||||
| 2023-09-19 | ada: Private extensions with the keyword "synchronized" are always limited. | Richard Wai | 1 | -3/+9 | |
| GNAT was relying on synchronized private type extensions deriving from a concurrent interface to determine its limitedness. This does not cover the case where such an extension derives a limited interface. RM-7.6(6/2) makes is clear that "synchronized" in a private extension implies the derived type is limited. GNAT should explicitly check for the presence of "synchronized" in a private extension declaration, and it should have the same effect as the presence of “limited”. gcc/ada/ChangeLog: * sem_ch3.adb (Build_Derived_Record_Type): Treat presence of keyword "synchronized" the same as "limited" when determining if a private extension is limited. gcc/testsuite/ChangeLog: * gnat.dg/sync_tag_discriminals.adb: New test. * gnat.dg/sync_tag_limited.adb: New test. Signed-off-by: Richard Wai <richard@annexi-strayline.com> | |||||
| 2023-09-05 | ada: Enforce subtype conformance of interface primitives | Javier Miranda | 1 | -0/+105 | |
| gcc/ada/ * sem_ch3.adb (Add_Internal_Interface_Entities): Add missing subtype-conformance check on primitives implementing interface primitives. (Error_Posted_In_Formals): New subprogram. | |||||
| 2023-08-01 | ada: Bugbox compiling Constrained_Protected_Object'Image | Steve Baird | 1 | -0/+2 | |
| In some cases, a bugbox is generated when compiling an example that references X'Image, where X is a constrained object of a discriminated protected type. gcc/ada/ * sem_ch3.adb (Constrain_Corresponding_Record): When copying information from the unconstrained record type to a newly constructed constrained record subtype, the Direct_Primitive_Operations attribute must be copied. | |||||
| 2023-08-01 | ada: Incorrect optimization for unconstrained limited record component type | Steve Baird | 1 | -18/+0 | |
| If the discriminants of an immutably limited record type have defaults, then it is safe to assume that a discriminant of an object of this type will never change once it is initialized. In some cases, this means that the default discriminant values can be treated like a constraint for purposes of determining the amount of storage needed for an unconstrained object. However, it is not safe to perform this optimization when determining the size needed for an unconstrained component of an enclosing type. This optimization was sometimes being incorrectly performed in this case. This could save storage in some cases, but in other cases a constraint check could incorrectly fail when initializing a component of an aggregate if the discriminant values of the component differ from the default values. gcc/ada/ * sem_ch3.adb (Analyze_Component_Declaration): Remove Build_Default_Subtype_OK call and code that could only executed in the case where the removed call would have returned True. Other calls to Build_Default_Subtype_Ok are unaffected by this change. | |||||
| 2023-06-20 | ada: Fix bug in predicate checks with address clauses | Bob Duff | 1 | -1/+10 | |
| This patch fixes a compiler bug triggered by having a type with some defaulted components, and a predicate, and an object of that type with an address clause. In this case, the compiler was crashing. gcc/ada/ * sem_ch3.adb (Analyze_Object_Declaration): Remove predicate-check generation if there is an address clause. These are unnecessary, and cause gigi to crash. * exp_util.ads (Following_Address_Clause): Remove obsolete "???" comments. The suggested changes were done long ago. | |||||
| 2023-06-20 | ada: Small fixes to handling of private views in instances | Eric Botcazou | 1 | -1/+8 | |
| The main change is the removal of the special bypass for private views in Resolve_Implicit_Dereference, which in exchange requires additional work in Check_Generic_Actuals and a couple more calls to Set_Global_Type in Save_References_In_Identifier. This also removes an unused parameter in Convert_View and adds a missing comment in Build_Derived_Record_Type. gcc/ada/ * exp_ch7.adb (Convert_View): Remove Ind parameter and adjust. * sem_ch12.adb (Check_Generic_Actuals): Check the type of both in and in out actual objects, as well as the type of formal parameters of actual subprograms. Extend the condition under which the views are swapped to nested generic constructs. (Save_References_In_Identifier): Call Set_Global_Type on a global identifier rewritten as an explicit dereference, either directly or after having first been rewritten as a function call. (Save_References_In_Operator): Set N2 unconditionally and reuse it. * sem_ch3.adb (Build_Derived_Record_Type): Add missing comment. * sem_res.adb (Resolve_Implicit_Dereference): Remove special bypass for private views in instances. | |||||
| 2023-06-20 | ada: Fix type derivation of subtype of derived type | Marc Poulhiès | 1 | -3/+33 | |
| Deriving from a subtype of a derived type of a private type, whose full view is itself a derived type of a discriminated record with a known discriminatant was failing with the error message: invalid constraint: type has no discriminant The compiler needs to use the full view to be able to constrain the type. Also fix minor typo in comments. gcc/ada/ * sem_ch3.adb (Build_Derived_Record_Type): Use full view as Parent_Base if needed. | |||||
| 2023-06-13 | ada: Support new GNAT-specific aspect Ghost_Predicate | Yannick Moy | 1 | -17/+6 | |
| New aspect Ghost_Predicate allows the use of ghost entities in the predicate expression, even if the type is not ghost itself. As a result, subtypes with a ghost predicate cannot be used in membership tests. Subtypes with ghost predicates are subject to the same additional restrictions as subtypes with aspect Dynamic_Predicate. They are governed for compilation by assertion policy Ghost. Checking of the predicate itself is governed by the usual assertion policy (Static_Predicate/Dynamic_Predicate/Predicate) independently of the ghost predicate. gcc/ada/ * 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-05-30 | ada: Only build access-to-subprogram wrappers when expander is active | Piotr Trojanek | 1 | -10/+2 | |
| For access-to-subprogram types with Pre/Post aspects we create a wrapper routine that evaluates these aspects. Spec of this wrapper was created always, while its body was only created when expansion was enabled. Now we only create these wrappers when expansion is enabled. In particular, we don't create them in GNATprove mode; instead, GNATprove picks the Pre/Post expressions directly from the aspects. gcc/ada/ * exp_ch3.adb (Build_Access_Subprogram_Wrapper_Body): Build wrapper body if requested by routine that builds wrapper spec. * sem_ch3.adb (Analyze_Full_Type_Declaration): Only build wrapper when expander is active. (Build_Access_Subprogram_Wrapper): Remove special-case for GNATprove. | |||||
| 2023-05-29 | ada: Analyze pre/post on access-to-subprogram without a wrapper | Piotr Trojanek | 1 | -12/+3 | |
| Aspects Pre/Post attached to an access-to-subprogram type were relocated to a spec of a wrapper subprogram and analyzed there; the body of the wrapper was only created with expansion enabled. However, there were several problems with this approach. When switch -gnat2022 was missing, we didn't relocate the Pre/Post aspects to wrapper and complained that their placement is incorrect (because we wrongly assumed that relocation is unconditional). Now we gently inform, that these aspects are Ada 2022 features that require -gnat20222 switch. When switch -gnata was missing, we entirely bypassed analysis of the Pre/Post aspects on access-to-subprogram. This was unlike for Pre/Post aspects on subprograms, which are checked for legality regardless of the -gnata switch. Finally, in the GNATprove backend we were picking the Pre/Post contract on an access-to-subprogram type from the wrapper, which was awkward as otherwise we had to ignore the wrapper specs and special-case for their missing bodies. In general, it is cleaner for GNATprove to extract the aspect expressions from where they originally appear and not from various expansion artifacts like access-to-subprogram wrappers (but the same applies to predication functions, type invariant procedures and default initialization procedures). Now we analyze the Pre/Post aspects on the types where they are originally attached, regardless of the -gnata switch. Once we adapt GNATprove to pick the aspect expression from there, we will stop creating the wrapper spec when expansion is disabled. gcc/ada/ * contracts.adb (Add_Pre_Post_Condition): Adapt to handle pre/post of an access-to-subprogram type. (Analyze_Type_Contract): Analyze pre/post of an access-to-subprogram. * contracts.ads (Analyze_Type_Contract): Adapt comment. * sem_ch3.adb (Build_Access_Subprogram_Wrapper): Copy pre/post aspects to wrapper spec and keep it on the type. * sem_prag.adb (Analyze_Pre_Post_Condition): Expect pre/post aspects on access-to-subprogram and complain if they appear without -gnat2022 switch. (Analyze_Pre_Post_Condition_In_Decl_Part): Adapt to handle pre/post on an access-to-subprogram type entity. * sem_attr.adb (Analyze_Attribute_Old_Result): Likewise. (Result): Likewise. | |||||
| 2023-05-26 | ada: Corrections to premature-references rules | Bob Duff | 1 | -5/+17 | |
| This patch corrects the implementation of RM-8.3(17), which says that a record extension is self-hidden until "record". Previously, such premature references could cause a compiler crash. gcc/ada/ * sem_ch3.adb (Build_Derived_Record_Type): Temporarily set the state of the Derived_Type to "self-hidden" while processing constraints and discriminants of a record extension. | |||||
| 2023-05-26 | ada: Cleanups in handling of aggregates | Piotr Trojanek | 1 | -16/+18 | |
| Assorted cleanups related to recent fixes of aggregate handling for GNATprove; semantics is unaffected. gcc/ada/ * sem_aggr.adb (Resolve_Record_Aggregate): Remove useless assignment. * sem_aux.adb (Has_Variant_Part): Remove useless guard; this routine is only called on type entities (and now will crash in other cases). * sem_ch3.adb (Create_Constrained_Components): Only assign Assoc_List when necessary; tune whitespace. (Is_Variant_Record): Refactor repeated calls to Parent. * sem_util.adb (Gather_Components): Assert that discriminant association has just one choice in component_association; refactor repeated calls to Next. * sem_util.ads (Gather_Components): Tune whitespace in comment. | |||||
| 2023-05-26 | ada: Fix iteration over component items with pragmas | Piotr Trojanek | 1 | -2/+2 | |
| Component items in a record declaration might include pragmas, which must be ignored when detecting components with default expressions. More a code cleanup than a bugfix, as it only affects artificial corner cases. Found while fixing missing legality checks for variant component declarations. gcc/ada/ * sem_ch3.adb (Check_CPP_Type_Has_No_Defaults): Iterate with First_Non_Pragma and Next_Non_Pragma. * exp_dist.adb (Append_Record_Traversal): Likewise. | |||||
| 2023-05-25 | ada: Fix internal error on declare-expression in post-condition | Eric Botcazou | 1 | -5/+7 | |
| It comes from an incorrect node sharing in the expanded tree. gcc/ada/ * sem_ch3.adb (Find_Type_Of_Object): Copy the object definition when building the subtype declaration in the case of a spec expression. | |||||
| 2023-05-25 | ada: Switch from E_Void to Is_Not_Self_Hidden | Bob Duff | 1 | -26/+24 | |
| We had previously used Ekind = E_Void to indicate that a declaration is self-hidden. We now use the Is_Not_Self_Hidden flag instead. This allows us to avoid many "vanishing fields", which are (possibly-latent) bugs, and we now enable the assertions in Atree that detect such bugs. gcc/ada/ * atree.adb (Check_Vanishing_Fields): Fix bug in the "blah type only" cases. Remove the special cases for E_Void. Misc cleanup. (Mutate_Nkind): Disallow mutating to the same kind. (Mutate_Ekind): Disallow mutating to E_Void. (From E_Void is still OK -- entities start out as E_Void by default.) Fix bug in statistics gathering -- was setting the wrong count. Enable Check_Vanishing_Fields for entities. * sem_ch8.adb (Is_Self_Hidden): New function. (Find_Direct_Name): Call Is_Self_Hidden to use the new Is_Not_Self_Hidden flag to determine whether a declaration is hidden from all visibility by itself. This replaces the old method of checking E_Void. (Find_Expanded_Name): Likewise. (Find_Selected_Component): Likewise. * sem_util.adb (Enter_Name): Remove setting of Ekind to E_Void. * sem_ch3.adb: Set the Is_Not_Self_Hidden flag in appropriate places. Comment fixes. (Inherit_Component): Remove setting of Ekind to E_Void. * sem_ch9.adb (Analyze_Protected_Type_Declaration): Update comment. Skip Itypes, which should not be turned into components. * atree.ads (Mutate_Nkind): Document error case. (Mutate_Ekind): Remove comments apologizing for E_Void mutations. Document error cases. | |||||
| 2023-05-25 | ada: Enrich documentation of subprogram | Ronan Desplanques | 1 | -1/+5 | |
| This patch adds documentation to the subprogram Replace_Type in Sem_Ch3. In particular, references to relevant parts of the Ada reference manual are added. gcc/ada/ * sem_ch3.adb (Replace_Type): Add more documentation. | |||||
| 2023-05-25 | ada: Maximize use of existing constant | Ronan Desplanques | 1 | -2/+2 | |
| This patch does not change the behavior of the compiler and is intended as a readability improvement. gcc/ada/ * sem_ch3.adb (Replace_Type): Use existing constant wherever possible. | |||||
| 2023-05-25 | ada: Reduce span of variable | Ronan Desplanques | 1 | -1/+1 | |
| This patch does not change the behavior of the compiler, but is intended to improve readability. It seizes an opportunity to move a variable declaration to a smaller scope, so that it's clearer that the variable is not used outside of that scope. gcc/ada/ * sem_ch3.adb (Replace_Type): Reduce span of variable. | |||||
| 2023-05-23 | ada: ICE on BIP call in class-wide function return within instance | Gary Dismukes | 1 | -1/+0 | |
| The compiler blows up (such as with a Storage_Error or Assert_Failure) on a call to a limited build-in-place function occurring in the return for a function with a limited class-wide result. Such a function should include extra formals for a task master and activation chain (because it's possible for a limited class-wide type to have values with task parts), but when the enclosing function occurs within an instantiation and the result subtype comes from a formal type, the extra formals were missing for the enclosing function. As a result, the attempt to retrieve the task master formal for passing along to a BIP call in the return failed when calling Build_In_Place_Formal to loop through the formals. When determining the need for the formals in Create_Extra_Formals, Needs_BIP_Actual_Task_Actuals was returning False, because Might_Have_Tasks incorrectly returned False due to the test of Is_Limited_Record flag on the class-wide generic actual subtype's Etype being False. Is_Limited_Record was not being properly inherited by the class-wide type in the case of private extensions, because Make_Class_Wide_Type was called in Analyze_Private_Extension_Declaration before certain flags (such as Is_Limited_Record and Is_Controlled_Active) are inherited later in Build_Derived_Record_Type (which will also call Make_Class_Wide_Type). This is corrected by removing the early call to Make_Class_Wide_Type. gcc/ada/ * exp_ch6.adb (Might_Have_Tasks): Remove unneeded Etype call from call to Is_Limited_Record, since that flag is now properly inherited by class-wide types. * sem_ch3.adb (Analyze_Private_Extension_Declaration): Remove call to Make_Class_Wide_Type, which is done too early, and will later be done in Build_Derived_Record_Type after flags such as Is_Limited_Record and Is_Controlled_Active have been set on the derived type. | |||||
| 2023-05-23 | ada: Remove the body of System.Storage_Elements | Eric Botcazou | 1 | -0/+1 | |
| All the subprograms declared in the unit have convention Intrinsic and their current implementation makes some implicit assumptions that are not valid universally, so it is replaced by a direct expansion. This is mostly straightforward because Resolve_Intrinsic_Operator already contains the required circuitry, but a few adjustements are necessary. gcc/ada/ * exp_ch4.adb (Expand_N_Op_Mod): Deal with the special mod operator of System.Storage_Elements. * exp_intr.adb (Expand_To_Integer): New procedure. (Expand_Intrinsic_Call): Call Expand_To_Integer appropriately. (Expand_To_Address): Deal with an argument with modular type. * sem_ch3.adb (Derive_Subprogram): Also set convention Intrinsic on a derived intrinsic subprogram. * sem_res.adb (Resolve_Arithmetic_Op): Deal with intrinsic operators not coming from source exactly as those coming from source and also generate a reference in both cases. (Resolve_Op_Expon): Likewise. (Resolve_Intrinsic_Operator): Call Implementation_Base_Type to get a nonprivate base type. * snames.ads-tmpl (Name_To_Integer): New intrinsic name. * libgnat/s-stoele.ads: Replace pragma Convention with pragma Import throughout and remove pragma Inline_Always and Pure_Function. * libgnat/s-stoele.adb: Replace entire contents with pragma No_Body. * libgnat/s-atacco.adb: Adjust comment about pragma No_Body. | |||||
| 2023-05-23 | ada: Fix bogus error on predicated limited record declared in protected type | Eric Botcazou | 1 | -0/+1 | |
| This happens when the limited record is initialized with a function call because of a couple of issues: incorrect tree sharing when building the predicate check and too late freezing for a compiler-generated subtype. It turns out that building the predicate check manually is redundant here, since predicate checks are automatically generated during the expansion of assignment statements, and the late freezing can be easily fixed. gcc/ada/ * exp_ch3.adb (Build_Record_Init_Proc.Build_Assignment): Do not manually generate a predicate check. Call Unqualify before doing pattern matching on the expression. * sem_ch3.adb (Analyze_Object_Declaration): Also freeze the actual subtype when it is built in the definite case. | |||||
| 2023-05-22 | ada: Remove extra parentheses | Arnaud Charlet | 1 | -1/+1 | |
| In preparation of enhancing -gnatyx to check for these automatically. gcc/ada/ * ali-util.adb, par-endh.adb, par-prag.adb, par-ch2.adb, checks.adb, fmap.adb, libgnat/a-nbnbig.ads, libgnat/g-dynhta.adb, libgnat/s-carun8.adb, libgnat/s-strcom.adb, libgnat/a-dhfina.adb, libgnat/a-direct.adb, libgnat/a-rbtgbo.adb, libgnat/a-strsea.adb, libgnat/a-ststio.adb, libgnat/a-suenco.adb, libgnat/a-costso.adb, libgnat/a-strmap.adb, libgnat/g-alleve.adb, libgnat/g-debpoo.adb, libgnat/g-sercom__linux.adb, libgnat/s-genbig.adb, libgnat/s-mmap.adb, libgnat/s-regpat.adb, par-ch5.adb, sem_case.adb, sem_ch12.adb, sem_ch13.adb, sem_ch8.adb, sem_eval.adb, sem_prag.adb, sem_type.adb, exp_ch11.adb, exp_ch2.adb, exp_ch3.adb, exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch9.adb, exp_put_image.adb, freeze.adb, live.adb, sem_aggr.adb, sem_cat.adb, sem_ch10.adb, sem_ch3.adb, sem_ch6.adb, sem_ch9.adb, sem_disp.adb, sem_elab.adb, sem_res.adb, sem_util.adb, sinput.adb, uintp.adb, bcheck.adb, binde.adb, binderr.adb, einfo-utils.adb, clean.adb, sem_ch4.adb, gnatls.adb, gprep.adb, sem_ch11.adb: Remove extra parentheses. | |||||
| 2023-05-22 | ada: Fix handling of constrained array declarations in declare-expression | Eric Botcazou | 1 | -2/+2 | |
| They need to go through Constrain_Array or else they do not really work. gcc/ada/ * sem_ch3.adb (Find_Type_Of_Object): In a spec expression, also set the Scope of the type, and call Constrain_Array for array subtypes. | |||||
| 2023-05-15 | ada: Clean up vanishing entity fields | Bob Duff | 1 | -22/+7 | |
| Fix all the failures caused by enabling Check_Vanishing_Fields on entities in all cases except the case of converting to or from E_Void. But leave Check_Vanishing_Fields disabled by default (controlled by -gnatd_v flag), because it might be too slow even for assertions-on mode, and we should deal with the E_Void cases eventually. The failures are fixed either by adding calls to Reinit_Field_To_Zero, or by changing which entities have which fields. Note that in a series of Reinit_Field_To_Zero calls, the optional Old_Ekind parameter is only useful on the first such call. gcc/ada/ * atree.adb (Check_Vanishing_Fields): Disable the check for "root/base type only" fields. This is a bug fix -- if we're checking some subtype S, we don't want to reach over to the root or base type and Reinit_Field_To_Zero of that, thus modifying the field for lots of subtypes other than S. Disable in the to/from E_Void cases. Misc cleanup. * gen_il-gen-gen_entities.adb: Define First_Entity, Last_Entity, and Stored_Constraint for all type entities, because there are too many cases where Reinit_Field_To_Zero would otherwise be needed. In any case, it seems cleaner to have First_Entity and Last_Entity defined in the same entity kinds. * einfo.ads: (First_Entity, Last_Entity, Stored_Constraint): Update comments to reflect gen_il-gen-gen_entities.adb changes. (Lit_Hash): Add missing "[root type only]" comment. * exp_ch5.adb: Add Reinit_Field_To_Zero calls for vanishing fields. * sem_ch10.adb: Likewise. * sem_ch6.adb: Likewise. * sem_ch7.adb: Likewise. * sem_ch8.adb: Likewise. * sem_ch3.adb: Likewise. Also remove now-unnecessary Reinit_Field_To_Zero calls. | |||||
| 2023-01-09 | ada: Update copyright notice | Arnaud Charlet | 1 | -1/+1 | |
| gcc/ada/ * accessibility.adb, accessibility.ads, ada_get_targ.adb: Update copyright year. * adabkend.adb, adabkend.ads, adadecode.c, adadecode.h, adaint.c: Likewise. * adaint.h, affinity.c, ali-util.adb, ali-util.ads, ali.adb: Likewise. * ali.ads, alloc.ads, argv-lynxos178-raven-cert.c, argv.c: Likewise. * aspects.adb, aspects.ads, atree.adb, atree.ads, atree.h: Likewise. * aux-io.c, back_end.adb, back_end.ads, backend_utils.adb: Likewise. * backend_utils.ads, bcheck.adb, bcheck.ads, binde.adb, binde.ads: Likewise. * binderr.adb, binderr.ads, bindgen.adb, bindgen.ads: Likewise. * bindo-augmentors.adb, bindo-augmentors.ads, bindo-builders.adb: Likewise. * bindo-builders.ads, bindo-diagnostics.adb: Likewise. * bindo-diagnostics.ads, bindo-elaborators.adb: Likewise. * bindo-elaborators.ads, bindo-graphs.adb, bindo-graphs.ads: Likewise. * bindo-units.adb, bindo-units.ads, bindo-validators.adb: Likewise. * bindo-validators.ads, bindo-writers.adb, bindo-writers.ads: Likewise. * bindo.adb, bindo.ads, bindusg.adb, bindusg.ads, butil.adb: Likewise. * butil.ads, cal.c, casing.adb, casing.ads, checks.adb: Likewise. * checks.ads, cio.c, clean.adb, clean.ads: Likewise. * comperr.adb, comperr.ads, contracts.adb, contracts.ads: Likewise. * csets.adb, csets.ads, cstand.adb: Likewise. * cstand.ads, cstreams.c, ctrl_c.c, debug.adb, debug.ads: Likewise. * debug_a.adb, debug_a.ads, einfo-utils.adb, einfo-utils.ads: Likewise. * einfo.adb, einfo.ads, elists.adb, elists.ads, elists.h, env.c: Likewise. * env.h, err_vars.ads, errno.c, errout.adb, errout.ads: Likewise. * erroutc.adb, erroutc.ads, errutil.adb, errutil.ads: Likewise. * eval_fat.adb, eval_fat.ads, exit.c, exp_aggr.adb, exp_aggr.ads: Likewise. * exp_atag.adb, exp_atag.ads, exp_attr.adb, exp_attr.ads: Likewise. * exp_cg.adb, exp_cg.ads, exp_ch10.ads, exp_ch11.adb: Likewise. * exp_ch11.ads, exp_ch12.adb, exp_ch12.ads, exp_ch13.adb: Likewise. * exp_ch13.ads, exp_ch2.adb, exp_ch2.ads, exp_ch3.adb: Likewise. * exp_ch3.ads, exp_ch4.adb, exp_ch4.ads, exp_ch5.adb, exp_ch5.ads: Likewise. * exp_ch6.adb, exp_ch6.ads, exp_ch7.adb, exp_ch7.ads, exp_ch8.adb: Likewise. * exp_ch8.ads, exp_ch9.adb, exp_ch9.ads, exp_code.adb: Likewise. * exp_code.ads, exp_dbug.adb, exp_dbug.ads, exp_disp.adb: Likewise. * exp_disp.ads, exp_dist.adb, exp_dist.ads, exp_fixd.adb: Likewise. * exp_fixd.ads, exp_imgv.adb, exp_imgv.ads, exp_intr.adb: Likewise. * exp_intr.ads, exp_pakd.adb, exp_pakd.ads, exp_prag.adb: Likewise. * exp_prag.ads, exp_put_image.adb, exp_put_image.ads, exp_sel.adb: Likewise. * exp_sel.ads, exp_smem.adb, exp_smem.ads, exp_spark.adb: Likewise. * exp_spark.ads, exp_strm.adb, exp_strm.ads, exp_tss.adb: Likewise. * exp_tss.ads, exp_unst.adb, exp_unst.ads, exp_util.adb: Likewise. * exp_util.ads, expander.adb, expander.ads, expect.c, fe.h: Likewise. * final.c, fmap.adb, fmap.ads, fname-sf.adb, fname-sf.ads: Likewise. * fname-uf.adb, fname-uf.ads, fname.adb, fname.ads, freeze.adb: Likewise. * freeze.ads, frontend.adb, frontend.ads, gen_il-fields.ads: Likewise. * gen_il-gen-gen_entities.adb, gen_il-gen-gen_nodes.adb: Likewise. * gen_il-gen.adb, gen_il-gen.ads, gen_il-internals.adb: Likewise. * gen_il-internals.ads, gen_il-main.adb, gen_il-types.ads: Likewise. * gen_il.adb, gen_il.ads, get_scos.adb, get_scos.ads: Likewise. * get_targ.adb, get_targ.ads, ghost.adb, ghost.ads, gnat1drv.adb: Likewise. * gnat1drv.ads, gnat_cuda.adb, gnat_cuda.ads: Likewise. * gnatbind.adb, gnatbind.ads, gnatchop.adb: Likewise. * gnatclean.adb, gnatcmd.adb, gnatcmd.ads, gnatdll.adb: Likewise. * gnatkr.adb, gnatkr.ads, gnatlink.adb, gnatlink.ads, gnatls.adb: Likewise. * gnatls.ads, gnatmake.adb, gnatmake.ads, gnatname.adb: Likewise. * gnatname.ads, gnatprep.adb, gnatprep.ads: Likewise. * gprep.adb, gprep.ads, gsocket.h: Likewise. * hostparm.ads: Likewise. * impunit.adb, impunit.ads, indepsw-aix.adb, indepsw-darwin.adb: Likewise. * indepsw-gnu.adb, indepsw.adb, indepsw.ads, init.c: Likewise. * initialize.c, inline.adb, inline.ads, itypes.adb, itypes.ads: Likewise. * krunch.adb, krunch.ads, layout.adb, layout.ads: Likewise. * lib-list.adb, lib-load.adb, lib-load.ads, lib-sort.adb: Likewise. * lib-util.adb, lib-util.ads, lib-writ.adb, lib-writ.ads: Likewise. * lib-xref-spark_specific.adb, lib-xref.adb, lib-xref.ads: Likewise. * lib.adb, lib.ads, libgnarl/a-astaco.adb, libgnarl/a-dispat.adb: Likewise. * libgnarl/a-dynpri.adb, libgnarl/a-etgrbu.ads: Likewise. * libgnarl/a-exetim__darwin.adb, libgnarl/a-exetim__default.ads: Likewise. * libgnarl/a-exetim__mingw.adb, libgnarl/a-exetim__mingw.ads: Likewise. * libgnarl/a-exetim__posix.adb, libgnarl/a-interr.adb: Likewise. * libgnarl/a-interr.ads, libgnarl/a-intnam.ads: Likewise. * libgnarl/a-intnam__aix.ads, libgnarl/a-intnam__darwin.ads: Likewise. * libgnarl/a-intnam__dragonfly.ads, libgnarl/a-intnam__dummy.ads: Likewise. * libgnarl/a-intnam__freebsd.ads, libgnarl/a-intnam__hpux.ads: Likewise. * libgnarl/a-intnam__linux.ads, libgnarl/a-intnam__lynxos.ads: Likewise. * libgnarl/a-intnam__mingw.ads, libgnarl/a-intnam__qnx.ads: Likewise. * libgnarl/a-intnam__rtems.ads, libgnarl/a-intnam__solaris.ads: Likewise. * libgnarl/a-intnam__vxworks.ads, libgnarl/a-reatim.adb: Likewise. * libgnarl/a-reatim.ads, libgnarl/a-retide.adb: Likewise. * libgnarl/a-retide.ads, libgnarl/a-rttiev.adb: Likewise. * libgnarl/a-rttiev.ads, libgnarl/a-synbar.adb: Likewise. * libgnarl/a-synbar.ads, libgnarl/a-synbar__posix.adb: Likewise. * libgnarl/a-synbar__posix.ads, libgnarl/a-sytaco.adb: Likewise. * libgnarl/a-sytaco.ads, libgnarl/a-tasatt.adb: Likewise. * libgnarl/a-tasatt.ads, libgnarl/a-taside.adb: Likewise. * libgnarl/a-taside.ads, libgnarl/a-tasini.adb: Likewise. * libgnarl/a-tasini.ads, libgnarl/a-taster.adb: Likewise. * libgnarl/g-boubuf.adb, libgnarl/g-boubuf.ads: Likewise. * libgnarl/g-boumai.ads, libgnarl/g-semaph.adb: Likewise. * libgnarl/g-semaph.ads, libgnarl/g-signal.adb: Likewise. * libgnarl/g-signal.ads, libgnarl/g-tastus.ads: Likewise. * libgnarl/g-thread.adb, libgnarl/g-thread.ads: Likewise. * libgnarl/i-vxinco.adb, libgnarl/i-vxinco.ads: Likewise. * libgnarl/s-inmaop.ads, libgnarl/s-inmaop__dummy.adb: Likewise. * libgnarl/s-inmaop__hwint.adb, libgnarl/s-inmaop__posix.adb: Likewise. * libgnarl/s-interr.adb, libgnarl/s-interr.ads: Likewise. * libgnarl/s-interr__dummy.adb, libgnarl/s-interr__hwint.adb: Likewise. * libgnarl/s-interr__sigaction.adb: Likewise. * libgnarl/s-interr__vxworks.adb, libgnarl/s-intman.ads: Likewise. * libgnarl/s-intman__android.adb, libgnarl/s-intman__dummy.adb: Likewise. * libgnarl/s-intman__lynxos.adb, libgnarl/s-intman__mingw.adb: Likewise. * libgnarl/s-intman__posix.adb, libgnarl/s-intman__qnx.adb: Likewise. * libgnarl/s-intman__rtems.adb, libgnarl/s-intman__rtems.ads: Likewise. * libgnarl/s-intman__solaris.adb, libgnarl/s-intman__susv3.adb: Likewise. * libgnarl/s-intman__vxworks.adb, libgnarl/s-intman__vxworks.ads: Likewise. * libgnarl/s-linux.ads, libgnarl/s-linux__alpha.ads: Likewise. * libgnarl/s-linux__android.ads, libgnarl/s-linux__hppa.ads: Likewise. * libgnarl/s-linux__mips.ads, libgnarl/s-linux__riscv.ads: Likewise. * libgnarl/s-linux__sparc.ads, libgnarl/s-linux__x32.ads: Likewise. * libgnarl/s-mudido.adb, libgnarl/s-mudido__affinity.adb: Likewise. * libgnarl/s-osinte__aix.adb, libgnarl/s-osinte__aix.ads: Likewise. * libgnarl/s-osinte__android.adb, libgnarl/s-osinte__android.ads: Likewise. * libgnarl/s-osinte__darwin.adb, libgnarl/s-osinte__darwin.ads: Likewise. * libgnarl/s-osinte__dragonfly.adb: Likewise. * libgnarl/s-osinte__dragonfly.ads, libgnarl/s-osinte__dummy.ads: Likewise. * libgnarl/s-osinte__freebsd.adb, libgnarl/s-osinte__freebsd.ads: Likewise. * libgnarl/s-osinte__gnu.adb, libgnarl/s-osinte__gnu.ads: Likewise. * libgnarl/s-osinte__hpux-dce.adb: Likewise. * libgnarl/s-osinte__hpux-dce.ads, libgnarl/s-osinte__hpux.ads: Likewise. * libgnarl/s-osinte__kfreebsd-gnu.ads: Likewise. * libgnarl/s-osinte__linux.ads, libgnarl/s-osinte__lynxos178.adb: Likewise. * libgnarl/s-osinte__lynxos178e.ads, libgnarl/s-osinte__mingw.ads: Likewise. * libgnarl/s-osinte__posix.adb, libgnarl/s-osinte__qnx.adb: Likewise. * libgnarl/s-osinte__qnx.ads, libgnarl/s-osinte__rtems.adb: Likewise. * libgnarl/s-osinte__rtems.ads, libgnarl/s-osinte__solaris.adb: Likewise. * libgnarl/s-osinte__solaris.ads, libgnarl/s-osinte__vxworks.adb: Likewise. * libgnarl/s-osinte__vxworks.ads, libgnarl/s-osinte__x32.adb: Likewise. * libgnarl/s-proinf.adb, libgnarl/s-proinf.ads: Likewise. * libgnarl/s-putaim.adb, libgnarl/s-putaim.ads: Likewise. * libgnarl/s-qnx.ads, libgnarl/s-solita.adb: Likewise. * libgnarl/s-solita.ads, libgnarl/s-stusta.adb: Likewise. * libgnarl/s-stusta.ads, libgnarl/s-taasde.adb: Likewise. * libgnarl/s-taasde.ads, libgnarl/s-tadeca.adb: Likewise. * libgnarl/s-tadeca.ads, libgnarl/s-tadert.adb: Likewise. * libgnarl/s-tadert.ads, libgnarl/s-taenca.adb: Likewise. * libgnarl/s-taenca.ads, libgnarl/s-taprob.adb: Likewise. * libgnarl/s-taprob.ads, libgnarl/s-taprop.ads: Likewise. * libgnarl/s-taprop__dummy.adb, libgnarl/s-taprop__hpux-dce.adb: Likewise. * libgnarl/s-taprop__linux.adb, libgnarl/s-taprop__mingw.adb: Likewise. * libgnarl/s-taprop__posix.adb, libgnarl/s-taprop__qnx.adb: Likewise. * libgnarl/s-taprop__rtems.adb, libgnarl/s-taprop__solaris.adb: Likewise. * libgnarl/s-taprop__vxworks.adb, libgnarl/s-tarest.adb: Likewise. * libgnarl/s-tarest.ads, libgnarl/s-tasdeb.adb: Likewise. * libgnarl/s-tasdeb.ads, libgnarl/s-tasinf.adb: Likewise. * libgnarl/s-tasinf.ads, libgnarl/s-tasinf__linux.adb: Likewise. * libgnarl/s-tasinf__linux.ads, libgnarl/s-tasinf__mingw.adb: Likewise. * libgnarl/s-tasinf__mingw.ads, libgnarl/s-tasinf__solaris.adb: Likewise. * libgnarl/s-tasinf__solaris.ads, libgnarl/s-tasinf__vxworks.ads: Likewise. * libgnarl/s-tasini.adb, libgnarl/s-tasini.ads: Likewise. * libgnarl/s-taskin.adb, libgnarl/s-taskin.ads: Likewise. * libgnarl/s-taspri__dummy.ads, libgnarl/s-taspri__hpux-dce.ads: Likewise. * libgnarl/s-taspri__lynxos.ads, libgnarl/s-taspri__mingw.ads: Likewise. * libgnarl/s-taspri__posix-noaltstack.ads: Likewise. * libgnarl/s-taspri__posix.ads, libgnarl/s-taspri__solaris.ads: Likewise. * libgnarl/s-taspri__vxworks.ads, libgnarl/s-tasque.adb: Likewise. * libgnarl/s-tasque.ads, libgnarl/s-tasren.adb: Likewise. * libgnarl/s-tasren.ads, libgnarl/s-tasres.ads: Likewise. * libgnarl/s-tassta.adb, libgnarl/s-tassta.ads: Likewise. * libgnarl/s-tasuti.adb, libgnarl/s-tasuti.ads: Likewise. * libgnarl/s-tataat.adb, libgnarl/s-tataat.ads: Likewise. * libgnarl/s-tpinop.adb, libgnarl/s-tpinop.ads: Likewise. * libgnarl/s-tpoaal.adb, libgnarl/s-tpoben.adb: Likewise. * libgnarl/s-tpoben.ads, libgnarl/s-tpobmu.adb: Likewise. * libgnarl/s-tpobmu.ads, libgnarl/s-tpobop.adb: Likewise. * libgnarl/s-tpobop.ads, libgnarl/s-tpopmo.adb: Likewise. * libgnarl/s-tpopsp__posix-foreign.adb: Likewise. * libgnarl/s-tpopsp__posix.adb, libgnarl/s-tpopsp__solaris.adb: Likewise. * libgnarl/s-tpopsp__tls.adb, libgnarl/s-tpopsp__vxworks-rtp.adb: Likewise. * libgnarl/s-tpopsp__vxworks-tls.adb: Likewise. * libgnarl/s-tpopsp__vxworks.adb, libgnarl/s-tporft.adb: Likewise. * libgnarl/s-tposen.adb, libgnarl/s-tposen.ads: Likewise. * libgnarl/s-vxwext.adb, libgnarl/s-vxwext.ads: Likewise. * libgnarl/s-vxwext__kernel-smp.adb: Likewise. * libgnarl/s-vxwext__kernel.adb, libgnarl/s-vxwext__kernel.ads: Likewise. * libgnarl/s-vxwext__rtp-smp.adb, libgnarl/s-vxwext__rtp.adb: Likewise. * libgnarl/s-vxwext__rtp.ads, libgnarl/s-vxwork__aarch64.ads: Likewise. * libgnarl/s-vxwork__arm.ads, libgnarl/s-vxwork__ppc.ads: Likewise. * libgnarl/s-vxwork__x86.ads, libgnarl/thread.c: Likewise. * libgnat/a-assert.adb, libgnat/a-assert.ads: Likewise. * libgnat/a-btgbso.adb, libgnat/a-btgbso.ads: Likewise. * libgnat/a-calari.adb, libgnat/a-calari.ads: Likewise. * libgnat/a-calcon.adb, libgnat/a-calcon.ads: Likewise. * libgnat/a-caldel.adb, libgnat/a-caldel.ads: Likewise. * libgnat/a-calend.adb, libgnat/a-calend.ads: Likewise. * libgnat/a-calfor.adb, libgnat/a-calfor.ads: Likewise. * libgnat/a-catizo.adb, libgnat/a-cbdlli.adb: Likewise. * libgnat/a-cbdlli.ads, libgnat/a-cbhama.adb: Likewise. * libgnat/a-cbhama.ads, libgnat/a-cbhase.adb: Likewise. * libgnat/a-cbhase.ads, libgnat/a-cbmutr.adb: Likewise. * libgnat/a-cbmutr.ads, libgnat/a-cborma.adb: Likewise. * libgnat/a-cborma.ads, libgnat/a-cborse.adb: Likewise. * libgnat/a-cborse.ads, libgnat/a-cbprqu.adb: Likewise. * libgnat/a-cbprqu.ads, libgnat/a-cbsyqu.adb: Likewise. * libgnat/a-cbsyqu.ads, libgnat/a-cdlili.adb: Likewise. * libgnat/a-cdlili.ads, libgnat/a-cfdlli.ads: Likewise. * libgnat/a-cfhama.ads, libgnat/a-cfhase.ads: Likewise. * libgnat/a-cfidll.ads, libgnat/a-cfinse.ads: Likewise. * libgnat/a-cfinve.ads, libgnat/a-cforma.ads: Likewise. * libgnat/a-cforse.ads, libgnat/a-cgaaso.adb: Likewise. * libgnat/a-cgaaso.ads, libgnat/a-cgarso.adb: Likewise. * libgnat/a-cgcaso.adb, libgnat/a-chacon.adb: Likewise. * libgnat/a-chacon.ads, libgnat/a-chahan.adb: Likewise. * libgnat/a-chahan.ads, libgnat/a-chlat9.ads: Likewise. * libgnat/a-chtgbk.adb, libgnat/a-chtgbk.ads: Likewise. * libgnat/a-chtgbo.adb, libgnat/a-chtgbo.ads: Likewise. * libgnat/a-chtgfk.adb, libgnat/a-chtgfk.ads: Likewise. * libgnat/a-chtgfo.adb, libgnat/a-chtgfo.ads: Likewise. * libgnat/a-chtgke.adb, libgnat/a-chtgke.ads: Likewise. * libgnat/a-chtgop.adb, libgnat/a-chtgop.ads: Likewise. * libgnat/a-chzla1.ads, libgnat/a-chzla9.ads: Likewise. * libgnat/a-cidlli.adb, libgnat/a-cidlli.ads: Likewise. * libgnat/a-cihama.adb, libgnat/a-cihama.ads: Likewise. * libgnat/a-cihase.adb, libgnat/a-cihase.ads: Likewise. * libgnat/a-cimutr.adb, libgnat/a-cimutr.ads: Likewise. * libgnat/a-ciorma.adb, libgnat/a-ciorma.ads: Likewise. * libgnat/a-ciormu.adb, libgnat/a-ciormu.ads: Likewise. * libgnat/a-ciorse.adb, libgnat/a-ciorse.ads: Likewise. * libgnat/a-clrefi.adb, libgnat/a-clrefi.ads: Likewise. * libgnat/a-coboho.adb, libgnat/a-coboho.ads: Likewise. * libgnat/a-cobove.adb, libgnat/a-cobove.ads: Likewise. * libgnat/a-cofove.ads, libgnat/a-cofuma.ads: Likewise. * libgnat/a-cofuse.ads, libgnat/a-cofuve.ads: Likewise. * libgnat/a-cogeso.adb, libgnat/a-cogeso.ads: Likewise. * libgnat/a-cohama.adb, libgnat/a-cohama.ads: Likewise. * libgnat/a-cohase.adb, libgnat/a-cohase.ads: Likewise. * libgnat/a-cohata.ads, libgnat/a-coinho.adb: Likewise. * libgnat/a-coinho.ads, libgnat/a-coinho__shared.adb: Likewise. * libgnat/a-coinho__shared.ads, libgnat/a-coinve.adb: Likewise. * libgnat/a-coinve.ads, libgnat/a-colien.adb: Likewise. * libgnat/a-colien.ads, libgnat/a-colire.adb: Likewise. * libgnat/a-colire.ads, libgnat/a-comlin.adb: Likewise. * libgnat/a-comlin.ads, libgnat/a-comutr.adb: Likewise. * libgnat/a-comutr.ads, libgnat/a-conhel.adb: Likewise. * libgnat/a-conhel.ads, libgnat/a-convec.adb: Likewise. * libgnat/a-convec.ads, libgnat/a-coorma.adb: Likewise. * libgnat/a-coorma.ads, libgnat/a-coormu.adb: Likewise. * libgnat/a-coormu.ads, libgnat/a-coorse.adb: Likewise. * libgnat/a-coorse.ads, libgnat/a-coprnu.adb: Likewise. * libgnat/a-coprnu.ads, libgnat/a-costso.adb: Likewise. * libgnat/a-costso.ads, libgnat/a-crbltr.ads: Likewise. * libgnat/a-crbtgk.adb, libgnat/a-crbtgk.ads: Likewise. * libgnat/a-crbtgo.adb, libgnat/a-crbtgo.ads: Likewise. * libgnat/a-crdlli.adb, libgnat/a-crdlli.ads: Likewise. * libgnat/a-csquin.ads, libgnat/a-cuprqu.adb: Likewise. * libgnat/a-cuprqu.ads, libgnat/a-cusyqu.adb: Likewise. * libgnat/a-cusyqu.ads, libgnat/a-cwila1.ads: Likewise. * libgnat/a-cwila9.ads, libgnat/a-decima.adb: Likewise. * libgnat/a-decima.ads, libgnat/a-decima__128.ads: Likewise. * libgnat/a-dhfina.adb, libgnat/a-dhfina.ads: Likewise. * libgnat/a-diocst.adb, libgnat/a-diocst.ads: Likewise. * libgnat/a-direct.adb, libgnat/a-direct.ads: Likewise. * libgnat/a-direio.adb, libgnat/a-direio.ads: Likewise. * libgnat/a-dirval.adb, libgnat/a-dirval.ads: Likewise. * libgnat/a-dirval__mingw.adb, libgnat/a-einuoc.adb: Likewise. * libgnat/a-einuoc.ads, libgnat/a-elchha.adb: Likewise. * libgnat/a-elchha.ads, libgnat/a-envvar.adb: Likewise. * libgnat/a-excach.adb, libgnat/a-except.adb: Likewise. * libgnat/a-except.ads, libgnat/a-exctra.adb: Likewise. * libgnat/a-exctra.ads, libgnat/a-exexda.adb: Likewise. * libgnat/a-exexpr.adb, libgnat/a-exextr.adb: Likewise. * libgnat/a-exstat.adb, libgnat/a-finali.adb: Likewise. * libgnat/a-finali.ads, libgnat/a-locale.adb: Likewise. * libgnat/a-locale.ads, libgnat/a-nagefl.ads: Likewise. * libgnat/a-naliop.ads, libgnat/a-naliop__nolibm.ads: Likewise. * libgnat/a-nallfl.ads, libgnat/a-nallfl__wraplf.ads: Likewise. * libgnat/a-nalofl.ads, libgnat/a-nalofl__simd.ads: Likewise. * libgnat/a-nashfl.ads, libgnat/a-nashfl__wraplf.ads: Likewise. * libgnat/a-nbnbig.adb, libgnat/a-nbnbin.adb: Likewise. * libgnat/a-nbnbin__gmp.adb, libgnat/a-nbnbre.adb: Likewise. * libgnat/a-ngcefu.adb, libgnat/a-ngcoar.adb: Likewise. * libgnat/a-ngcoty.adb, libgnat/a-ngcoty.ads: Likewise. * libgnat/a-ngelfu.adb, libgnat/a-ngelfu.ads: Likewise. * libgnat/a-ngrear.adb, libgnat/a-ngrear.ads: Likewise. * libgnat/a-nuauco.ads, libgnat/a-nuauco__x86.ads: Likewise. * libgnat/a-nuaufl.ads, libgnat/a-nuaufl__simd.ads: Likewise. * libgnat/a-nuaufl__wraplf.ads, libgnat/a-nudira.adb: Likewise. * libgnat/a-nudira.ads, libgnat/a-nuflra.adb: Likewise. * libgnat/a-nuflra.ads, libgnat/a-numaux.ads: Likewise. * libgnat/a-rbtgbk.adb, libgnat/a-rbtgbk.ads: Likewise. * libgnat/a-rbtgbo.adb, libgnat/a-rbtgbo.ads: Likewise. * libgnat/a-rbtgso.adb, libgnat/a-rbtgso.ads: Likewise. * libgnat/a-sbecin.adb, libgnat/a-sbecin.ads: Likewise. * libgnat/a-sbhcin.adb, libgnat/a-sbhcin.ads: Likewise. * libgnat/a-sblcin.adb, libgnat/a-sblcin.ads: Likewise. * libgnat/a-secain.adb, libgnat/a-secain.ads: Likewise. * libgnat/a-sequio.adb, libgnat/a-sequio.ads: Likewise. * libgnat/a-sfecin.ads, libgnat/a-sfhcin.ads: Likewise. * libgnat/a-sflcin.ads, libgnat/a-shcain.adb: Likewise. * libgnat/a-shcain.ads, libgnat/a-siocst.adb: Likewise. * libgnat/a-siocst.ads, libgnat/a-slcain.adb: Likewise. * libgnat/a-slcain.ads, libgnat/a-ssicst.adb: Likewise. * libgnat/a-ssicst.ads, libgnat/a-stboha.adb: Likewise. * libgnat/a-stbubo.adb, libgnat/a-stbubo.ads: Likewise. * libgnat/a-stbufi.adb, libgnat/a-stbufi.ads: Likewise. * libgnat/a-stbufo.adb, libgnat/a-stbufo.ads: Likewise. * libgnat/a-stbuun.adb, libgnat/a-stbuut.adb: Likewise. * libgnat/a-stbuut.ads, libgnat/a-stmaco.ads: Likewise. * libgnat/a-storio.adb, libgnat/a-strbou.adb: Likewise. * libgnat/a-strbou.ads, libgnat/a-stream.adb: Likewise. * libgnat/a-stream.ads, libgnat/a-strfix.adb: Likewise. * libgnat/a-strhas.adb, libgnat/a-strmap.adb: Likewise. * libgnat/a-strmap.ads, libgnat/a-strsea.adb: Likewise. * libgnat/a-strsea.ads, libgnat/a-strsto.ads: Likewise. * libgnat/a-strsup.adb, libgnat/a-strsup.ads: Likewise. * libgnat/a-strunb.adb, libgnat/a-strunb.ads: Likewise. * libgnat/a-strunb__shared.adb, libgnat/a-strunb__shared.ads: Likewise. * libgnat/a-ststbo.adb, libgnat/a-ststbo.ads: Likewise. * libgnat/a-ststio.adb, libgnat/a-ststio.ads: Likewise. * libgnat/a-ststun.adb, libgnat/a-ststun.ads: Likewise. * libgnat/a-sttebu.adb, libgnat/a-stunau.adb: Likewise. * libgnat/a-stunau.ads, libgnat/a-stunau__shared.adb: Likewise. * libgnat/a-stunha.adb, libgnat/a-stuten.adb: Likewise. * libgnat/a-stwibo.adb, libgnat/a-stwibo.ads: Likewise. * libgnat/a-stwifi.adb, libgnat/a-stwiha.adb: Likewise. * libgnat/a-stwima.adb, libgnat/a-stwima.ads: Likewise. * libgnat/a-stwise.adb, libgnat/a-stwise.ads: Likewise. * libgnat/a-stwisu.adb, libgnat/a-stwisu.ads: Likewise. * libgnat/a-stwiun.adb, libgnat/a-stwiun.ads: Likewise. * libgnat/a-stwiun__shared.adb, libgnat/a-stwiun__shared.ads: Likewise. * libgnat/a-stzbou.adb, libgnat/a-stzbou.ads: Likewise. * libgnat/a-stzfix.adb, libgnat/a-stzhas.adb: Likewise. * libgnat/a-stzmap.adb, libgnat/a-stzmap.ads: Likewise. * libgnat/a-stzsea.adb, libgnat/a-stzsea.ads: Likewise. * libgnat/a-stzsup.adb, libgnat/a-stzsup.ads: Likewise. * libgnat/a-stzunb.adb, libgnat/a-stzunb.ads: Likewise. * libgnat/a-stzunb__shared.adb, libgnat/a-stzunb__shared.ads: Likewise. * libgnat/a-suecin.adb, libgnat/a-suecin.ads: Likewise. * libgnat/a-suenco.adb, libgnat/a-suenst.adb: Likewise. * libgnat/a-suewst.adb, libgnat/a-suezst.adb: Likewise. * libgnat/a-suhcin.adb, libgnat/a-suhcin.ads: Likewise. * libgnat/a-sulcin.adb, libgnat/a-sulcin.ads: Likewise. * libgnat/a-suteio.adb, libgnat/a-suteio.ads: Likewise. * libgnat/a-suteio__shared.adb, libgnat/a-swbwha.adb: Likewise. * libgnat/a-swmwco.ads, libgnat/a-swunau.adb: Likewise. * libgnat/a-swunau.ads, libgnat/a-swunau__shared.adb: Likewise. * libgnat/a-swuwha.adb, libgnat/a-swuwti.adb: Likewise. * libgnat/a-swuwti.ads, libgnat/a-swuwti__shared.adb: Likewise. * libgnat/a-szbzha.adb, libgnat/a-szmzco.ads: Likewise. * libgnat/a-szunau.adb, libgnat/a-szunau.ads: Likewise. * libgnat/a-szunau__shared.adb, libgnat/a-szuzha.adb: Likewise. * libgnat/a-szuzti.adb, libgnat/a-szuzti.ads: Likewise. * libgnat/a-szuzti__shared.adb, libgnat/a-tags.adb: Likewise. * libgnat/a-tags.ads, libgnat/a-teioed.adb, libgnat/a-teioed.ads: Likewise. * libgnat/a-textio.adb, libgnat/a-textio.ads: Likewise. * libgnat/a-tiboio.adb, libgnat/a-ticoau.adb: Likewise. * libgnat/a-ticoau.ads, libgnat/a-ticoio.adb: Likewise. * libgnat/a-ticoio.ads, libgnat/a-tideau.adb: Likewise. * libgnat/a-tideau.ads, libgnat/a-tideio.adb: Likewise. * libgnat/a-tideio.ads, libgnat/a-tideio__128.adb: Likewise. * libgnat/a-tienau.adb, libgnat/a-tienau.ads: Likewise. * libgnat/a-tienio.adb, libgnat/a-tifiau.adb: Likewise. * libgnat/a-tifiau.ads, libgnat/a-tifiio.adb: Likewise. * libgnat/a-tifiio__128.adb, libgnat/a-tiflau.adb: Likewise. * libgnat/a-tiflau.ads, libgnat/a-tiflio.adb: Likewise. * libgnat/a-tiflio.ads, libgnat/a-tigeau.adb: Likewise. * libgnat/a-tigeau.ads, libgnat/a-tigeli.adb: Likewise. * libgnat/a-tiinau.adb, libgnat/a-tiinau.ads: Likewise. * libgnat/a-tiinio.adb, libgnat/a-tiinio.ads: Likewise. * libgnat/a-tiinio__128.adb, libgnat/a-timoio.adb: Likewise. * libgnat/a-timoio.ads, libgnat/a-timoio__128.adb: Likewise. * libgnat/a-tiocst.adb, libgnat/a-tiocst.ads: Likewise. * libgnat/a-tirsfi.adb, libgnat/a-tirsfi.ads: Likewise. * libgnat/a-titest.adb, libgnat/a-undesu.adb: Likewise. * libgnat/a-wichha.adb, libgnat/a-wichun.adb: Likewise. * libgnat/a-wichun.ads, libgnat/a-witeio.adb: Likewise. * libgnat/a-witeio.ads, libgnat/a-wrstfi.adb: Likewise. * libgnat/a-wrstfi.ads, libgnat/a-wtcoau.adb: Likewise. * libgnat/a-wtcoau.ads, libgnat/a-wtcoio.adb: Likewise. * libgnat/a-wtcstr.adb, libgnat/a-wtcstr.ads: Likewise. * libgnat/a-wtdeau.adb, libgnat/a-wtdeau.ads: Likewise. * libgnat/a-wtdeio.adb, libgnat/a-wtdeio__128.adb: Likewise. * libgnat/a-wtedit.adb, libgnat/a-wtedit.ads: Likewise. * libgnat/a-wtenau.adb, libgnat/a-wtenau.ads: Likewise. * libgnat/a-wtenio.adb, libgnat/a-wtfiau.adb: Likewise. * libgnat/a-wtfiau.ads, libgnat/a-wtfiio.adb: Likewise. * libgnat/a-wtfiio__128.adb, libgnat/a-wtflau.adb: Likewise. * libgnat/a-wtflau.ads, libgnat/a-wtflio.adb: Likewise. * libgnat/a-wtgeau.adb, libgnat/a-wtgeau.ads: Likewise. * libgnat/a-wtinau.adb, libgnat/a-wtinau.ads: Likewise. * libgnat/a-wtinio.adb, libgnat/a-wtinio__128.adb: Likewise. * libgnat/a-wtmoio.adb, libgnat/a-wtmoio.ads: Likewise. * libgnat/a-wtmoio__128.adb, libgnat/a-wttest.adb: Likewise. * libgnat/a-wwboio.adb, libgnat/a-zchhan.adb: Likewise. * libgnat/a-zchuni.adb, libgnat/a-zchuni.ads: Likewise. * libgnat/a-zrstfi.adb, libgnat/a-zrstfi.ads: Likewise. * libgnat/a-ztcoau.adb, libgnat/a-ztcoio.adb: Likewise. * libgnat/a-ztcstr.adb, libgnat/a-ztcstr.ads: Likewise. * libgnat/a-ztdeau.adb, libgnat/a-ztdeau.ads: Likewise. * libgnat/a-ztdeio.adb, libgnat/a-ztdeio__128.adb: Likewise. * libgnat/a-ztedit.adb, libgnat/a-ztedit.ads: Likewise. * libgnat/a-ztenau.adb, libgnat/a-ztenau.ads: Likewise. * libgnat/a-ztenio.adb, libgnat/a-ztexio.adb: Likewise. * libgnat/a-ztexio.ads, libgnat/a-ztfiau.adb: Likewise. * libgnat/a-ztfiau.ads, libgnat/a-ztfiio.adb: Likewise. * libgnat/a-ztfiio__128.adb, libgnat/a-ztflau.adb: Likewise. * libgnat/a-ztflau.ads, libgnat/a-ztflio.adb: Likewise. * libgnat/a-ztgeau.adb, libgnat/a-ztgeau.ads: Likewise. * libgnat/a-ztinau.adb, libgnat/a-ztinau.ads: Likewise. * libgnat/a-ztinio.adb, libgnat/a-ztinio__128.adb: Likewise. * libgnat/a-ztmoio.adb, libgnat/a-ztmoio__128.adb: Likewise. * libgnat/a-zttest.adb, libgnat/a-zzboio.adb: Likewise. * libgnat/g-allein.ads, libgnat/g-alleve.adb: Likewise. * libgnat/g-alleve.ads, libgnat/g-alleve__hard.adb: Likewise. * libgnat/g-alleve__hard.ads, libgnat/g-altcon.adb: Likewise. * libgnat/g-altcon.ads, libgnat/g-altive.ads: Likewise. * libgnat/g-alveop.adb, libgnat/g-alveop.ads: Likewise. * libgnat/g-alvety.ads, libgnat/g-alvevi.ads: Likewise. * libgnat/g-arrspl.adb, libgnat/g-arrspl.ads, libgnat/g-awk.adb: Likewise. * libgnat/g-awk.ads, libgnat/g-binenv.adb, libgnat/g-binenv.ads: Likewise. * libgnat/g-binsea.adb, libgnat/g-binsea.ads: Likewise. * libgnat/g-brapre.ads, libgnat/g-bubsor.adb: Likewise. * libgnat/g-bubsor.ads, libgnat/g-busora.adb: Likewise. * libgnat/g-busora.ads, libgnat/g-busorg.adb: Likewise. * libgnat/g-busorg.ads, libgnat/g-byorma.adb: Likewise. * libgnat/g-byorma.ads, libgnat/g-bytswa.adb: Likewise. * libgnat/g-bytswa.ads, libgnat/g-calend.adb: Likewise. * libgnat/g-calend.ads, libgnat/g-casuti.adb: Likewise. * libgnat/g-casuti.ads, libgnat/g-catiio.adb: Likewise. * libgnat/g-catiio.ads, libgnat/g-cgi.adb, libgnat/g-cgi.ads: Likewise. * libgnat/g-cgicoo.adb, libgnat/g-cgicoo.ads: Likewise. * libgnat/g-cgideb.adb, libgnat/g-cgideb.ads: Likewise. * libgnat/g-comlin.adb, libgnat/g-comlin.ads: Likewise. * libgnat/g-comver.adb, libgnat/g-comver.ads: Likewise. * libgnat/g-cppexc.adb, libgnat/g-cppexc.ads, libgnat/g-crc32.adb: Likewise. * libgnat/g-crc32.ads, libgnat/g-ctrl_c.adb, libgnat/g-ctrl_c.ads: Likewise. * libgnat/g-curexc.ads, libgnat/g-debpoo.adb: Likewise. * libgnat/g-debpoo.ads, libgnat/g-debuti.adb: Likewise. * libgnat/g-debuti.ads, libgnat/g-decstr.adb: Likewise. * libgnat/g-decstr.ads, libgnat/g-deutst.ads: Likewise. * libgnat/g-diopit.adb, libgnat/g-diopit.ads: Likewise. * libgnat/g-dirope.adb, libgnat/g-dirope.ads: Likewise. * libgnat/g-dynhta.adb, libgnat/g-dynhta.ads: Likewise. * libgnat/g-dyntab.adb, libgnat/g-dyntab.ads: Likewise. * libgnat/g-eacodu.adb, libgnat/g-encstr.adb: Likewise. * libgnat/g-encstr.ads, libgnat/g-enutst.ads: Likewise. * libgnat/g-excact.adb, libgnat/g-excact.ads: Likewise. * libgnat/g-except.ads, libgnat/g-exctra.adb: Likewise. * libgnat/g-exctra.ads, libgnat/g-expect.adb: Likewise. * libgnat/g-expect.ads, libgnat/g-exptty.adb: Likewise. * libgnat/g-exptty.ads, libgnat/g-flocon.ads: Likewise. * libgnat/g-forstr.adb, libgnat/g-forstr.ads: Likewise. * libgnat/g-gfmafu.ads, libgnat/g-graphs.adb: Likewise. * libgnat/g-graphs.ads, libgnat/g-heasor.adb: Likewise. * libgnat/g-heasor.ads, libgnat/g-hesora.adb: Likewise. * libgnat/g-hesora.ads, libgnat/g-hesorg.adb: Likewise. * libgnat/g-hesorg.ads, libgnat/g-htable.adb: Likewise. * libgnat/g-htable.ads, libgnat/g-io.adb, libgnat/g-io.ads: Likewise. * libgnat/g-io_aux.adb, libgnat/g-io_aux.ads, libgnat/g-lists.adb: Likewise. * libgnat/g-lists.ads, libgnat/g-locfil.adb, libgnat/g-locfil.ads: Likewise. * libgnat/g-mbdira.adb, libgnat/g-mbdira.ads: Likewise. * libgnat/g-mbflra.adb, libgnat/g-mbflra.ads, libgnat/g-md5.adb: Likewise. * libgnat/g-md5.ads, libgnat/g-memdum.adb, libgnat/g-memdum.ads: Likewise. * libgnat/g-moreex.adb, libgnat/g-moreex.ads: Likewise. * libgnat/g-os_lib.adb, libgnat/g-os_lib.ads: Likewise. * libgnat/g-pehage.adb, libgnat/g-pehage.ads: Likewise. * libgnat/g-rannum.adb, libgnat/g-rannum.ads: Likewise. * libgnat/g-regexp.adb, libgnat/g-regexp.ads: Likewise. * libgnat/g-regist.adb, libgnat/g-regist.ads: Likewise. * libgnat/g-regpat.adb, libgnat/g-regpat.ads: Likewise. * libgnat/g-rewdat.adb, libgnat/g-rewdat.ads: Likewise. * libgnat/g-sechas.adb, libgnat/g-sechas.ads: Likewise. * libgnat/g-sehamd.adb, libgnat/g-sehamd.ads: Likewise. * libgnat/g-sehash.adb, libgnat/g-sehash.ads: Likewise. * libgnat/g-sercom.adb, libgnat/g-sercom.ads: Likewise. * libgnat/g-sercom__linux.adb, libgnat/g-sercom__mingw.adb: Likewise. * libgnat/g-sestin.ads, libgnat/g-sets.adb, libgnat/g-sets.ads: Likewise. * libgnat/g-sha1.adb, libgnat/g-sha1.ads, libgnat/g-sha224.ads: Likewise. * libgnat/g-sha256.ads, libgnat/g-sha384.ads: Likewise. * libgnat/g-sha512.ads, libgnat/g-shsh32.adb: Likewise. * libgnat/g-shsh32.ads, libgnat/g-shsh64.adb: Likewise. * libgnat/g-shsh64.ads, libgnat/g-shshco.adb: Likewise. * libgnat/g-shshco.ads, libgnat/g-soccon.ads: Likewise. * libgnat/g-socket.adb, libgnat/g-socket.ads: Likewise. * libgnat/g-socket__dummy.adb, libgnat/g-socket__dummy.ads: Likewise. * libgnat/g-socpol.adb, libgnat/g-socpol.ads: Likewise. * libgnat/g-socpol__dummy.adb, libgnat/g-socpol__dummy.ads: Likewise. * libgnat/g-socthi.adb, libgnat/g-socthi.ads: Likewise. * libgnat/g-socthi__dummy.adb, libgnat/g-socthi__dummy.ads: Likewise. * libgnat/g-socthi__mingw.adb, libgnat/g-socthi__mingw.ads: Likewise. * libgnat/g-socthi__vxworks.adb, libgnat/g-socthi__vxworks.ads: Likewise. * libgnat/g-soliop.ads, libgnat/g-soliop__lynxos.ads: Likewise. * libgnat/g-soliop__mingw.ads, libgnat/g-soliop__qnx.ads: Likewise. * libgnat/g-soliop__solaris.ads, libgnat/g-sopowa.adb: Likewise. * libgnat/g-sopowa__mingw.adb, libgnat/g-sopowa__posix.adb: Likewise. * libgnat/g-sothco.adb, libgnat/g-sothco.ads: Likewise. * libgnat/g-sothco__dummy.adb, libgnat/g-sothco__dummy.ads: Likewise. * libgnat/g-souinf.ads, libgnat/g-spchge.adb: Likewise. * libgnat/g-spchge.ads, libgnat/g-speche.adb: Likewise. * libgnat/g-speche.ads, libgnat/g-spipat.adb: Likewise. * libgnat/g-spipat.ads, libgnat/g-spitbo.adb: Likewise. * libgnat/g-spitbo.ads, libgnat/g-spogwa.adb: Likewise. * libgnat/g-spogwa.ads, libgnat/g-sptabo.ads: Likewise. * libgnat/g-sptain.ads, libgnat/g-sptavs.ads, libgnat/g-sse.ads: Likewise. * libgnat/g-ssvety.ads, libgnat/g-sthcso.adb: Likewise. * libgnat/g-stheme.adb, libgnat/g-strhas.ads: Likewise. * libgnat/g-string.adb, libgnat/g-string.ads: Likewise. * libgnat/g-strspl.ads, libgnat/g-stseme.adb: Likewise. * libgnat/g-stsifd__sockets.adb, libgnat/g-table.adb: Likewise. * libgnat/g-table.ads, libgnat/g-tasloc.adb, libgnat/g-tasloc.ads: Likewise. * libgnat/g-timsta.adb, libgnat/g-timsta.ads: Likewise. * libgnat/g-traceb.adb, libgnat/g-traceb.ads: Likewise. * libgnat/g-trasym.adb, libgnat/g-trasym.ads, libgnat/g-tty.adb: Likewise. * libgnat/g-tty.ads, libgnat/g-u3spch.adb, libgnat/g-u3spch.ads: Likewise. * libgnat/g-utf_32.adb, libgnat/g-utf_32.ads: Likewise. * libgnat/g-wispch.adb, libgnat/g-wispch.ads: Likewise. * libgnat/g-wistsp.ads, libgnat/g-zspche.adb: Likewise. * libgnat/g-zspche.ads, libgnat/g-zstspl.ads, libgnat/gnat.ads: Likewise. * libgnat/i-c.adb, libgnat/i-cexten.ads: Likewise. * libgnat/i-cexten__128.ads, libgnat/i-cobol.adb: Likewise. * libgnat/i-cobol.ads, libgnat/i-cpoint.adb, libgnat/i-cpoint.ads: Likewise. * libgnat/i-cstrea.adb, libgnat/i-cstrea.ads: Likewise. * libgnat/i-cstrin.adb, libgnat/i-cstrin.ads: Likewise. * libgnat/i-fortra.adb, libgnat/i-pacdec.adb: Likewise. * libgnat/i-pacdec.ads, libgnat/i-vxwoio.adb: Likewise. * libgnat/i-vxwoio.ads, libgnat/i-vxwork.ads: Likewise. * libgnat/i-vxwork__x86.ads, libgnat/interfac.ads: Likewise. * libgnat/interfac__2020.ads, libgnat/memtrack.adb: Likewise. * libgnat/s-addima.adb, libgnat/s-addima.ads: Likewise. * libgnat/s-addope.adb, libgnat/s-addope.ads: Likewise. * libgnat/s-aoinar.adb, libgnat/s-aoinar.ads: Likewise. * libgnat/s-aomoar.adb, libgnat/s-aomoar.ads: Likewise. * libgnat/s-aotase.adb, libgnat/s-aotase.ads: Likewise. * libgnat/s-aridou.adb, libgnat/s-aridou.ads: Likewise. * libgnat/s-arit128.adb, libgnat/s-arit128.ads: Likewise. * libgnat/s-arit32.adb, libgnat/s-arit32.ads: Likewise. * libgnat/s-arit64.adb, libgnat/s-arit64.ads: Likewise. * libgnat/s-assert.adb, libgnat/s-assert.ads: Likewise. * libgnat/s-atacco.adb, libgnat/s-atacco.ads: Likewise. * libgnat/s-atocou.adb, libgnat/s-atocou.ads: Likewise. * libgnat/s-atocou__builtin.adb, libgnat/s-atoope.ads: Likewise. * libgnat/s-atopex.adb, libgnat/s-atopex.ads: Likewise. * libgnat/s-atopri.adb, libgnat/s-atopri.ads: Likewise. * libgnat/s-auxdec.adb, libgnat/s-auxdec.ads: Likewise. * libgnat/s-bignum.adb, libgnat/s-bignum.ads: Likewise. * libgnat/s-bitfie.ads, libgnat/s-bitops.adb: Likewise. * libgnat/s-bitops.ads, libgnat/s-bituti.adb: Likewise. * libgnat/s-bituti.ads, libgnat/s-boarop.ads: Likewise. * libgnat/s-boustr.adb, libgnat/s-boustr.ads: Likewise. * libgnat/s-bytswa.ads, libgnat/s-carsi8.adb: Likewise. * libgnat/s-carsi8.ads, libgnat/s-carun8.adb: Likewise. * libgnat/s-carun8.ads, libgnat/s-casi128.adb: Likewise. * libgnat/s-casi128.ads, libgnat/s-casi16.adb: Likewise. * libgnat/s-casi16.ads, libgnat/s-casi32.adb: Likewise. * libgnat/s-casi32.ads, libgnat/s-casi64.adb: Likewise. * libgnat/s-casi64.ads, libgnat/s-casuti.adb: Likewise. * libgnat/s-casuti.ads, libgnat/s-caun128.adb: Likewise. * libgnat/s-caun128.ads, libgnat/s-caun16.adb: Likewise. * libgnat/s-caun16.ads, libgnat/s-caun32.adb: Likewise. * libgnat/s-caun32.ads, libgnat/s-caun64.adb: Likewise. * libgnat/s-caun64.ads, libgnat/s-chepoo.ads: Likewise. * libgnat/s-commun.adb, libgnat/s-commun.ads: Likewise. * libgnat/s-conca2.adb, libgnat/s-conca2.ads: Likewise. * libgnat/s-conca3.adb, libgnat/s-conca3.ads: Likewise. * libgnat/s-conca4.adb, libgnat/s-conca4.ads: Likewise. * libgnat/s-conca5.adb, libgnat/s-conca5.ads: Likewise. * libgnat/s-conca6.adb, libgnat/s-conca6.ads: Likewise. * libgnat/s-conca7.adb, libgnat/s-conca7.ads: Likewise. * libgnat/s-conca8.adb, libgnat/s-conca8.ads: Likewise. * libgnat/s-conca9.adb, libgnat/s-conca9.ads, libgnat/s-crc32.adb: Likewise. * libgnat/s-crc32.ads, libgnat/s-crtl.ads, libgnat/s-dfmkio.ads: Likewise. * libgnat/s-dfmopr.ads, libgnat/s-dgmgop.ads: Likewise. * libgnat/s-diflio.adb, libgnat/s-diflio.ads: Likewise. * libgnat/s-diflmk.ads, libgnat/s-digemk.ads: Likewise. * libgnat/s-diinio.adb, libgnat/s-diinio.ads: Likewise. * libgnat/s-dilomk.ads, libgnat/s-dim.ads, libgnat/s-dimkio.ads: Likewise. * libgnat/s-dimmks.ads, libgnat/s-direio.adb: Likewise. * libgnat/s-direio.ads, libgnat/s-dlmkio.ads: Likewise. * libgnat/s-dlmopr.ads, libgnat/s-dmotpr.ads: Likewise. * libgnat/s-dorepr.adb, libgnat/s-dorepr__fma.adb: Likewise. * libgnat/s-dourea.adb, libgnat/s-dourea.ads: Likewise. * libgnat/s-dsaser.ads, libgnat/s-dwalin.adb: Likewise. * libgnat/s-dwalin.ads, libgnat/s-elaall.adb: Likewise. * libgnat/s-elaall.ads, libgnat/s-excdeb.adb: Likewise. * libgnat/s-excdeb.ads, libgnat/s-except.adb: Likewise. * libgnat/s-except.ads, libgnat/s-excmac__arm.adb: Likewise. * libgnat/s-excmac__arm.ads, libgnat/s-excmac__gcc.adb: Likewise. * libgnat/s-excmac__gcc.ads, libgnat/s-exctab.adb: Likewise. * libgnat/s-exctab.ads, libgnat/s-exctra.adb: Likewise. * libgnat/s-exctra.ads, libgnat/s-exnflt.ads: Likewise. * libgnat/s-exnint.adb, libgnat/s-exnint.ads: Likewise. * libgnat/s-exnlfl.ads, libgnat/s-exnllf.adb: Likewise. * libgnat/s-exnllf.ads, libgnat/s-exnlli.adb: Likewise. * libgnat/s-exnlli.ads, libgnat/s-exnllli.ads: Likewise. * libgnat/s-expint.adb, libgnat/s-expint.ads: Likewise. * libgnat/s-explli.adb, libgnat/s-explli.ads: Likewise. * libgnat/s-expllli.ads, libgnat/s-explllu.ads: Likewise. * libgnat/s-expllu.adb, libgnat/s-expllu.ads: Likewise. * libgnat/s-expmod.adb, libgnat/s-expmod.ads: Likewise. * libgnat/s-exponn.adb, libgnat/s-exponn.ads: Likewise. * libgnat/s-exponr.adb, libgnat/s-exponr.ads: Likewise. * libgnat/s-expont.adb, libgnat/s-expont.ads: Likewise. * libgnat/s-exponu.adb, libgnat/s-exponu.ads: Likewise. * libgnat/s-expuns.adb, libgnat/s-expuns.ads: Likewise. * libgnat/s-fatflt.ads, libgnat/s-fatgen.adb: Likewise. * libgnat/s-fatgen.ads, libgnat/s-fatlfl.ads: Likewise. * libgnat/s-fatllf.ads, libgnat/s-ficobl.ads: Likewise. * libgnat/s-filatt.ads, libgnat/s-fileio.adb: Likewise. * libgnat/s-fileio.ads, libgnat/s-finmas.adb: Likewise. * libgnat/s-finmas.ads, libgnat/s-finroo.adb: Likewise. * libgnat/s-finroo.ads, libgnat/s-flocon.adb: Likewise. * libgnat/s-flocon.ads, libgnat/s-flocon__none.adb: Likewise. * libgnat/s-fode128.ads, libgnat/s-fode32.ads: Likewise. * libgnat/s-fode64.ads, libgnat/s-fofi128.ads: Likewise. * libgnat/s-fofi32.ads, libgnat/s-fofi64.ads: Likewise. * libgnat/s-fore_d.adb, libgnat/s-fore_d.ads: Likewise. * libgnat/s-fore_f.adb, libgnat/s-fore_f.ads: Likewise. * libgnat/s-forrea.adb, libgnat/s-forrea.ads: Likewise. * libgnat/s-gearop.adb, libgnat/s-gearop.ads: Likewise. * libgnat/s-genbig.adb, libgnat/s-genbig.ads: Likewise. * libgnat/s-geveop.adb, libgnat/s-geveop.ads: Likewise. * libgnat/s-gloloc.adb, libgnat/s-gloloc.ads: Likewise. * libgnat/s-gloloc__mingw.adb, libgnat/s-htable.adb: Likewise. * libgnat/s-htable.ads, libgnat/s-imageb.adb: Likewise. * libgnat/s-imageb.ads, libgnat/s-imaged.adb: Likewise. * libgnat/s-imaged.ads, libgnat/s-imagef.adb: Likewise. * libgnat/s-imagef.ads, libgnat/s-imagei.adb: Likewise. * libgnat/s-imagei.ads, libgnat/s-imagen.adb: Likewise. * libgnat/s-imagen.ads, libgnat/s-imager.adb: Likewise. * libgnat/s-imager.ads, libgnat/s-imageu.adb: Likewise. * libgnat/s-imageu.ads, libgnat/s-imagew.adb: Likewise. * libgnat/s-imagew.ads, libgnat/s-imde128.ads: Likewise. * libgnat/s-imde32.ads, libgnat/s-imde64.ads: Likewise. * libgnat/s-imen16.ads, libgnat/s-imen32.ads: Likewise. * libgnat/s-imenu8.ads, libgnat/s-imfi128.ads: Likewise. * libgnat/s-imfi32.ads, libgnat/s-imfi64.ads: Likewise. * libgnat/s-imgbiu.adb, libgnat/s-imgbiu.ads: Likewise. * libgnat/s-imgboo.adb, libgnat/s-imgboo.ads: Likewise. * libgnat/s-imgcha.adb, libgnat/s-imgcha.ads: Likewise. * libgnat/s-imgflt.ads, libgnat/s-imgint.adb: Likewise. * libgnat/s-imgint.ads, libgnat/s-imglfl.ads: Likewise. * libgnat/s-imgllb.adb, libgnat/s-imgllb.ads: Likewise. * libgnat/s-imgllf.ads, libgnat/s-imglli.adb: Likewise. * libgnat/s-imglli.ads, libgnat/s-imglllb.ads: Likewise. * libgnat/s-imgllli.ads, libgnat/s-imglllu.ads: Likewise. * libgnat/s-imglllw.ads, libgnat/s-imgllu.adb: Likewise. * libgnat/s-imgllu.ads, libgnat/s-imgllw.adb: Likewise. * libgnat/s-imgllw.ads, libgnat/s-imgrea.adb: Likewise. * libgnat/s-imgrea.ads, libgnat/s-imguns.adb: Likewise. * libgnat/s-imguns.ads, libgnat/s-imguti.adb: Likewise. * libgnat/s-imguti.ads, libgnat/s-imgwch.adb: Likewise. * libgnat/s-imgwch.ads, libgnat/s-imgwiu.adb: Likewise. * libgnat/s-imgwiu.ads, libgnat/s-io.adb, libgnat/s-io.ads: Likewise. * libgnat/s-llflex.ads, libgnat/s-maccod.ads: Likewise. * libgnat/s-mantis.adb, libgnat/s-mantis.ads: Likewise. * libgnat/s-mastop.adb, libgnat/s-mastop.ads: Likewise. * libgnat/s-memcop.ads, libgnat/s-memory.adb: Likewise. * libgnat/s-memory.ads, libgnat/s-mmap.adb, libgnat/s-mmap.ads: Likewise. * libgnat/s-mmauni__long.ads, libgnat/s-mmosin__mingw.adb: Likewise. * libgnat/s-mmosin__mingw.ads, libgnat/s-mmosin__unix.adb: Likewise. * libgnat/s-mmosin__unix.ads, libgnat/s-multip.adb: Likewise. * libgnat/s-objrea.adb, libgnat/s-objrea.ads: Likewise. * libgnat/s-optide.adb, libgnat/s-os_lib.adb: Likewise. * libgnat/s-os_lib.ads, libgnat/s-osprim.ads: Likewise. * libgnat/s-osprim__darwin.adb, libgnat/s-osprim__lynxos.ads: Likewise. * libgnat/s-osprim__mingw.adb, libgnat/s-osprim__posix.adb: Likewise. * libgnat/s-osprim__posix2008.adb, libgnat/s-osprim__rtems.adb: Likewise. * libgnat/s-osprim__solaris.adb, libgnat/s-osprim__unix.adb: Likewise. * libgnat/s-osprim__x32.adb, libgnat/s-pack03.adb: Likewise. * libgnat/s-pack03.ads, libgnat/s-pack05.adb: Likewise. * libgnat/s-pack05.ads, libgnat/s-pack06.adb: Likewise. * libgnat/s-pack06.ads, libgnat/s-pack07.adb: Likewise. * libgnat/s-pack07.ads, libgnat/s-pack09.adb: Likewise. * libgnat/s-pack09.ads, libgnat/s-pack10.adb: Likewise. * libgnat/s-pack10.ads, libgnat/s-pack100.adb: Likewise. * libgnat/s-pack100.ads, libgnat/s-pack101.adb: Likewise. * libgnat/s-pack101.ads, libgnat/s-pack102.adb: Likewise. * libgnat/s-pack102.ads, libgnat/s-pack103.adb: Likewise. * libgnat/s-pack103.ads, libgnat/s-pack104.adb: Likewise. * libgnat/s-pack104.ads, libgnat/s-pack105.adb: Likewise. * libgnat/s-pack105.ads, libgnat/s-pack106.adb: Likewise. * libgnat/s-pack106.ads, libgnat/s-pack107.adb: Likewise. * libgnat/s-pack107.ads, libgnat/s-pack108.adb: Likewise. * libgnat/s-pack108.ads, libgnat/s-pack109.adb: Likewise. * libgnat/s-pack109.ads, libgnat/s-pack11.adb: Likewise. * libgnat/s-pack11.ads, libgnat/s-pack110.adb: Likewise. * libgnat/s-pack110.ads, libgnat/s-pack111.adb: Likewise. * libgnat/s-pack111.ads, libgnat/s-pack112.adb: Likewise. * libgnat/s-pack112.ads, libgnat/s-pack113.adb: Likewise. * libgnat/s-pack113.ads, libgnat/s-pack114.adb: Likewise. * libgnat/s-pack114.ads, libgnat/s-pack115.adb: Likewise. * libgnat/s-pack115.ads, libgnat/s-pack116.adb: Likewise. * libgnat/s-pack116.ads, libgnat/s-pack117.adb: Likewise. * libgnat/s-pack117.ads, libgnat/s-pack118.adb: Likewise. * libgnat/s-pack118.ads, libgnat/s-pack119.adb: Likewise. * libgnat/s-pack119.ads, libgnat/s-pack12.adb: Likewise. * libgnat/s-pack12.ads, libgnat/s-pack120.adb: Likewise. * libgnat/s-pack120.ads, libgnat/s-pack121.adb: Likewise. * libgnat/s-pack121.ads, libgnat/s-pack122.adb: Likewise. * libgnat/s-pack122.ads, libgnat/s-pack123.adb: Likewise. * libgnat/s-pack123.ads, libgnat/s-pack124.adb: Likewise. * libgnat/s-pack124.ads, libgnat/s-pack125.adb: Likewise. * libgnat/s-pack125.ads, libgnat/s-pack126.adb: Likewise. * libgnat/s-pack126.ads, libgnat/s-pack127.adb: Likewise. * libgnat/s-pack127.ads, libgnat/s-pack13.adb: Likewise. * libgnat/s-pack13.ads, libgnat/s-pack14.adb: Likewise. * libgnat/s-pack14.ads, libgnat/s-pack15.adb: Likewise. * libgnat/s-pack15.ads, libgnat/s-pack17.adb: Likewise. * libgnat/s-pack17.ads, libgnat/s-pack18.adb: Likewise. * libgnat/s-pack18.ads, libgnat/s-pack19.adb: Likewise. * libgnat/s-pack19.ads, libgnat/s-pack20.adb: Likewise. * libgnat/s-pack20.ads, libgnat/s-pack21.adb: Likewise. * libgnat/s-pack21.ads, libgnat/s-pack22.adb: Likewise. * libgnat/s-pack22.ads, libgnat/s-pack23.adb: Likewise. * libgnat/s-pack23.ads, libgnat/s-pack24.adb: Likewise. * libgnat/s-pack24.ads, libgnat/s-pack25.adb: Likewise. * libgnat/s-pack25.ads, libgnat/s-pack26.adb: Likewise. * libgnat/s-pack26.ads, libgnat/s-pack27.adb: Likewise. * libgnat/s-pack27.ads, libgnat/s-pack28.adb: Likewise. * libgnat/s-pack28.ads, libgnat/s-pack29.adb: Likewise. * libgnat/s-pack29.ads, libgnat/s-pack30.adb: Likewise. * libgnat/s-pack30.ads, libgnat/s-pack31.adb: Likewise. * libgnat/s-pack31.ads, libgnat/s-pack33.adb: Likewise. * libgnat/s-pack33.ads, libgnat/s-pack34.adb: Likewise. * libgnat/s-pack34.ads, libgnat/s-pack35.adb: Likewise. * libgnat/s-pack35.ads, libgnat/s-pack36.adb: Likewise. * libgnat/s-pack36.ads, libgnat/s-pack37.adb: Likewise. * libgnat/s-pack37.ads, libgnat/s-pack38.adb: Likewise. * libgnat/s-pack38.ads, libgnat/s-pack39.adb: Likewise. * libgnat/s-pack39.ads, libgnat/s-pack40.adb: Likewise. * libgnat/s-pack40.ads, libgnat/s-pack41.adb: Likewise. * libgnat/s-pack41.ads, libgnat/s-pack42.adb: Likewise. * libgnat/s-pack42.ads, libgnat/s-pack43.adb: Likewise. * libgnat/s-pack43.ads, libgnat/s-pack44.adb: Likewise. * libgnat/s-pack44.ads, libgnat/s-pack45.adb: Likewise. * libgnat/s-pack45.ads, libgnat/s-pack46.adb: Likewise. * libgnat/s-pack46.ads, libgnat/s-pack47.adb: Likewise. * libgnat/s-pack47.ads, libgnat/s-pack48.adb: Likewise. * libgnat/s-pack48.ads, libgnat/s-pack49.adb: Likewise. * libgnat/s-pack49.ads, libgnat/s-pack50.adb: Likewise. * libgnat/s-pack50.ads, libgnat/s-pack51.adb: Likewise. * libgnat/s-pack51.ads, libgnat/s-pack52.adb: Likewise. * libgnat/s-pack52.ads, libgnat/s-pack53.adb: Likewise. * libgnat/s-pack53.ads, libgnat/s-pack54.adb: Likewise. * libgnat/s-pack54.ads, libgnat/s-pack55.adb: Likewise. * libgnat/s-pack55.ads, libgnat/s-pack56.adb: Likewise. * libgnat/s-pack56.ads, libgnat/s-pack57.adb: Likewise. * libgnat/s-pack57.ads, libgnat/s-pack58.adb: Likewise. * libgnat/s-pack58.ads, libgnat/s-pack59.adb: Likewise. * libgnat/s-pack59.ads, libgnat/s-pack60.adb: Likewise. * libgnat/s-pack60.ads, libgnat/s-pack61.adb: Likewise. * libgnat/s-pack61.ads, libgnat/s-pack62.adb: Likewise. * libgnat/s-pack62.ads, libgnat/s-pack63.adb: Likewise. * libgnat/s-pack63.ads, libgnat/s-pack65.adb: Likewise. * libgnat/s-pack65.ads, libgnat/s-pack66.adb: Likewise. * libgnat/s-pack66.ads, libgnat/s-pack67.adb: Likewise. * libgnat/s-pack67.ads, libgnat/s-pack68.adb: Likewise. * libgnat/s-pack68.ads, libgnat/s-pack69.adb: Likewise. * libgnat/s-pack69.ads, libgnat/s-pack70.adb: Likewise. * libgnat/s-pack70.ads, libgnat/s-pack71.adb: Likewise. * libgnat/s-pack71.ads, libgnat/s-pack72.adb: Likewise. * libgnat/s-pack72.ads, libgnat/s-pack73.adb: Likewise. * libgnat/s-pack73.ads, libgnat/s-pack74.adb: Likewise. * libgnat/s-pack74.ads, libgnat/s-pack75.adb: Likewise. * libgnat/s-pack75.ads, libgnat/s-pack76.adb: Likewise. * libgnat/s-pack76.ads, libgnat/s-pack77.adb: Likewise. * libgnat/s-pack77.ads, libgnat/s-pack78.adb: Likewise. * libgnat/s-pack78.ads, libgnat/s-pack79.adb: Likewise. * libgnat/s-pack79.ads, libgnat/s-pack80.adb: Likewise. * libgnat/s-pack80.ads, libgnat/s-pack81.adb: Likewise. * libgnat/s-pack81.ads, libgnat/s-pack82.adb: Likewise. * libgnat/s-pack82.ads, libgnat/s-pack83.adb: Likewise. * libgnat/s-pack83.ads, libgnat/s-pack84.adb: Likewise. * libgnat/s-pack84.ads, libgnat/s-pack85.adb: Likewise. * libgnat/s-pack85.ads, libgnat/s-pack86.adb: Likewise. * libgnat/s-pack86.ads, libgnat/s-pack87.adb: Likewise. * libgnat/s-pack87.ads, libgnat/s-pack88.adb: Likewise. * libgnat/s-pack88.ads, libgnat/s-pack89.adb: Likewise. * libgnat/s-pack89.ads, libgnat/s-pack90.adb: Likewise. * libgnat/s-pack90.ads, libgnat/s-pack91.adb: Likewise. * libgnat/s-pack91.ads, libgnat/s-pack92.adb: Likewise. * libgnat/s-pack92.ads, libgnat/s-pack93.adb: Likewise. * libgnat/s-pack93.ads, libgnat/s-pack94.adb: Likewise. * libgnat/s-pack94.ads, libgnat/s-pack95.adb: Likewise. * libgnat/s-pack95.ads, libgnat/s-pack96.adb: Likewise. * libgnat/s-pack96.ads, libgnat/s-pack97.adb: Likewise. * libgnat/s-pack97.ads, libgnat/s-pack98.adb: Likewise. * libgnat/s-pack98.ads, libgnat/s-pack99.adb: Likewise. * libgnat/s-pack99.ads, libgnat/s-parame.adb: Likewise. * libgnat/s-parame.ads, libgnat/s-parame__hpux.ads: Likewise. * libgnat/s-parame__posix2008.ads, libgnat/s-parame__rtems.adb: Likewise. * libgnat/s-parame__vxworks.adb, libgnat/s-parame__vxworks.ads: Likewise. * libgnat/s-parint.adb, libgnat/s-parint.ads: Likewise. * libgnat/s-pehage.adb, libgnat/s-pehage.ads: Likewise. * libgnat/s-pooglo.adb, libgnat/s-pooglo.ads: Likewise. * libgnat/s-pooloc.adb, libgnat/s-pooloc.ads: Likewise. * libgnat/s-poosiz.adb, libgnat/s-poosiz.ads: Likewise. * libgnat/s-powflt.ads, libgnat/s-powlfl.ads: Likewise. * libgnat/s-powllf.ads, libgnat/s-purexc.ads: Likewise. * libgnat/s-putima.adb, libgnat/s-putima.ads: Likewise. * libgnat/s-rannum.adb, libgnat/s-rannum.ads: Likewise. * libgnat/s-ransee.adb, libgnat/s-ransee.ads: Likewise. * libgnat/s-regexp.adb, libgnat/s-regexp.ads: Likewise. * libgnat/s-regpat.adb, libgnat/s-regpat.ads: Likewise. * libgnat/s-resfil.adb, libgnat/s-resfil.ads: Likewise. * libgnat/s-restri.adb, libgnat/s-restri.ads: Likewise. * libgnat/s-retsta.ads, libgnat/s-rident.ads, libgnat/s-rpc.adb: Likewise. * libgnat/s-rpc.ads, libgnat/s-scaval.adb, libgnat/s-scaval.ads: Likewise. * libgnat/s-scaval__128.adb, libgnat/s-scaval__128.ads: Likewise. * libgnat/s-secsta.adb, libgnat/s-secsta.ads: Likewise. * libgnat/s-sequio.adb, libgnat/s-sequio.ads: Likewise. * libgnat/s-shabig.ads, libgnat/s-shasto.adb: Likewise. * libgnat/s-shasto.ads, libgnat/s-soflin.adb: Likewise. * libgnat/s-soflin.ads, libgnat/s-soliin.adb: Likewise. * libgnat/s-soliin.ads, libgnat/s-spark.ads, libgnat/s-spcuop.adb: Likewise. * libgnat/s-spcuop.ads, libgnat/s-spsufi.adb: Likewise. * libgnat/s-spsufi.ads, libgnat/s-stache.adb: Likewise. * libgnat/s-stache.ads, libgnat/s-stalib.adb: Likewise. * libgnat/s-stalib.ads, libgnat/s-statxd.adb: Likewise. * libgnat/s-statxd.ads, libgnat/s-stausa.adb: Likewise. * libgnat/s-stausa.ads, libgnat/s-stchop.adb: Likewise. * libgnat/s-stchop.ads, libgnat/s-stchop__limit.ads: Likewise. * libgnat/s-stchop__vxworks.adb, libgnat/s-stoele.adb: Likewise. * libgnat/s-stoele.ads, libgnat/s-stopoo.adb: Likewise. * libgnat/s-stopoo.ads, libgnat/s-stposu.adb: Likewise. * libgnat/s-stposu.ads, libgnat/s-stratt.adb: Likewise. * libgnat/s-stratt.ads, libgnat/s-strcom.adb: Likewise. * libgnat/s-strcom.ads, libgnat/s-strhas.adb: Likewise. * libgnat/s-strhas.ads, libgnat/s-string.adb: Likewise. * libgnat/s-string.ads, libgnat/s-ststop.adb: Likewise. * libgnat/s-ststop.ads, libgnat/s-tasloc.adb: Likewise. * libgnat/s-tasloc.ads, libgnat/s-traceb.adb: Likewise. * libgnat/s-traceb.ads, libgnat/s-traceb__hpux.adb: Likewise. * libgnat/s-traceb__mastop.adb, libgnat/s-traent.adb: Likewise. * libgnat/s-traent.ads, libgnat/s-trasym.adb: Likewise. * libgnat/s-trasym.ads, libgnat/s-trasym__dwarf.adb: Likewise. * libgnat/s-tsmona.adb, libgnat/s-tsmona__linux.adb: Likewise. * libgnat/s-tsmona__mingw.adb, libgnat/s-unstyp.ads: Likewise. * libgnat/s-utf_32.adb, libgnat/s-utf_32.ads: Likewise. * libgnat/s-vade128.ads, libgnat/s-vade32.ads: Likewise. * libgnat/s-vade64.ads, libgnat/s-vaen16.ads: Likewise. * libgnat/s-vaen32.ads, libgnat/s-vaenu8.ads: Likewise. * libgnat/s-vafi128.ads, libgnat/s-vafi32.ads: Likewise. * libgnat/s-vafi64.ads, libgnat/s-vaispe.adb: Likewise. * libgnat/s-vaispe.ads, libgnat/s-valboo.adb: Likewise. * libgnat/s-valboo.ads, libgnat/s-valcha.adb: Likewise. * libgnat/s-valcha.ads, libgnat/s-valflt.ads: Likewise. * libgnat/s-valint.adb, libgnat/s-valint.ads: Likewise. * libgnat/s-vallfl.ads, libgnat/s-valllf.ads: Likewise. * libgnat/s-vallli.adb, libgnat/s-vallli.ads: Likewise. * libgnat/s-valllli.ads, libgnat/s-vallllu.ads: Likewise. * libgnat/s-valllu.adb, libgnat/s-valllu.ads: Likewise. * libgnat/s-valrea.adb, libgnat/s-valrea.ads: Likewise. * libgnat/s-valued.adb, libgnat/s-valued.ads: Likewise. * libgnat/s-valuef.adb, libgnat/s-valuef.ads: Likewise. * libgnat/s-valuei.adb, libgnat/s-valuei.ads: Likewise. * libgnat/s-valuen.adb, libgnat/s-valuen.ads: Likewise. * libgnat/s-valuer.adb, libgnat/s-valuer.ads: Likewise. * libgnat/s-valueu.adb, libgnat/s-valueu.ads: Likewise. * libgnat/s-valuns.adb, libgnat/s-valuns.ads: Likewise. * libgnat/s-valuti.adb, libgnat/s-valuti.ads: Likewise. * libgnat/s-valwch.adb, libgnat/s-valwch.ads: Likewise. * libgnat/s-vauspe.adb, libgnat/s-vauspe.ads: Likewise. * libgnat/s-veboop.adb, libgnat/s-veboop.ads: Likewise. * libgnat/s-vector.ads, libgnat/s-vercon.adb: Likewise. * libgnat/s-vercon.ads, libgnat/s-wchcnv.adb: Likewise. * libgnat/s-wchcnv.ads, libgnat/s-wchcon.adb: Likewise. * libgnat/s-wchcon.ads, libgnat/s-wchjis.adb: Likewise. * libgnat/s-wchjis.ads, libgnat/s-wchstw.adb: Likewise. * libgnat/s-wchstw.ads, libgnat/s-wchwts.adb: Likewise. * libgnat/s-wchwts.ads, libgnat/s-widboo.adb: Likewise. * libgnat/s-widboo.ads, libgnat/s-widcha.adb: Likewise. * libgnat/s-widcha.ads, libgnat/s-widenu.adb: Likewise. * libgnat/s-widenu.ads, libgnat/s-widint.ads: Likewise. * libgnat/s-widlli.adb, libgnat/s-widlli.ads: Likewise. * libgnat/s-widllli.ads, libgnat/s-widlllu.ads: Likewise. * libgnat/s-widllu.adb, libgnat/s-widllu.ads: Likewise. * libgnat/s-widthi.adb, libgnat/s-widthi.ads: Likewise. * libgnat/s-widthu.adb, libgnat/s-widthu.ads: Likewise. * libgnat/s-widuns.ads, libgnat/s-widwch.adb: Likewise. * libgnat/s-widwch.ads, libgnat/s-win32.ads, libgnat/s-winext.ads: Likewise. * libgnat/s-wwdcha.adb, libgnat/s-wwdcha.ads: Likewise. * libgnat/s-wwdenu.adb, libgnat/s-wwdenu.ads: Likewise. * libgnat/s-wwdwch.adb, libgnat/s-wwdwch.ads: Likewise. * libgnat/system-aix.ads, libgnat/system-darwin-arm.ads: Likewise. * libgnat/system-darwin-ppc.ads, libgnat/system-darwin-x86.ads: Likewise. * libgnat/system-djgpp.ads, libgnat/system-dragonfly-x86_64.ads: Likewise. * libgnat/system-freebsd.ads, libgnat/system-hpux-ia64.ads: Likewise. * libgnat/system-hpux.ads, libgnat/system-linux-alpha.ads: Likewise. * libgnat/system-linux-arm.ads, libgnat/system-linux-hppa.ads: Likewise. * libgnat/system-linux-ia64.ads, libgnat/system-linux-m68k.ads: Likewise. * libgnat/system-linux-mips.ads, libgnat/system-linux-ppc.ads: Likewise. * libgnat/system-linux-riscv.ads, libgnat/system-linux-s390.ads: Likewise. * libgnat/system-linux-sh4.ads, libgnat/system-linux-sparc.ads: Likewise. * libgnat/system-linux-x86.ads, libgnat/system-lynxos178-ppc.ads: Likewise. * libgnat/system-lynxos178-x86.ads, libgnat/system-mingw.ads: Likewise. * libgnat/system-qnx-arm.ads, libgnat/system-rtems.ads: Likewise. * libgnat/system-solaris-sparc.ads: Likewise. * libgnat/system-solaris-x86.ads: Likewise. * libgnat/system-vxworks-ppc-kernel.ads: Likewise. * libgnat/system-vxworks-ppc-rtp-smp.ads: Likewise. * libgnat/system-vxworks-ppc-rtp.ads: Likewise. * libgnat/system-vxworks7-aarch64-rtp-smp.ads: Likewise. * libgnat/system-vxworks7-aarch64.ads: Likewise. * libgnat/system-vxworks7-arm-rtp-smp.ads: Likewise. * libgnat/system-vxworks7-arm.ads: Likewise. * libgnat/system-vxworks7-ppc-kernel.ads: Likewise. * libgnat/system-vxworks7-ppc-rtp-smp.ads: Likewise. * libgnat/system-vxworks7-ppc64-kernel.ads: Likewise. * libgnat/system-vxworks7-ppc64-rtp-smp.ads: Likewise. * libgnat/system-vxworks7-x86-kernel.ads: Likewise. * libgnat/system-vxworks7-x86-rtp-smp.ads: Likewise. * libgnat/system-vxworks7-x86_64-kernel.ads: Likewise. * libgnat/system-vxworks7-x86_64-rtp-smp.ads, link.c, live.adb: Likewise. * live.ads, locales.c, make.adb, make.ads, make_util.adb: Likewise. * make_util.ads, makeusg.adb, makeusg.ads, mdll-fil.adb: Likewise. * mdll-fil.ads, mdll-utl.adb, mdll-utl.ads, mdll.adb, mdll.ads: Likewise. * mingw32.h, mkdir.c, namet-sp.adb, namet-sp.ads, namet.adb: Likewise. * namet.ads, namet.h, nlists.adb, nlists.ads, nlists.h, opt.adb: Likewise. * opt.ads, osint-b.adb, osint-b.ads, osint-c.adb, osint-c.ads: Likewise. * osint-l.adb, osint-l.ads, osint-m.adb, osint-m.ads, osint.adb: Likewise. * osint.ads, output.adb, output.ads, par-ch10.adb, par-ch11.adb: Likewise. * par-ch12.adb, par-ch13.adb, par-ch2.adb, par-ch3.adb: Likewise. * par-ch4.adb, par-ch5.adb, par-ch6.adb, par-ch7.adb, par-ch8.adb: Likewise. * par-ch9.adb, par-endh.adb, par-labl.adb, par-load.adb: Likewise. * par-prag.adb, par-sync.adb, par-tchk.adb, par-util.adb, par.adb: Likewise. * par.ads, par_sco.adb, par_sco.ads: Likewise. * pprint.adb, pprint.ads, prep.adb, prep.ads: Likewise. * prepcomp.adb, prepcomp.ads, put_scos.adb, put_scos.ads: Likewise. * raise-gcc.c, raise.c, raise.h, repinfo-input.adb: Likewise. * repinfo-input.ads, repinfo.adb, repinfo.ads, repinfo.h: Likewise. * restrict.adb, restrict.ads, rident.ads, rtfinal.c, rtinit.c: Likewise. * rtsfind.adb, rtsfind.ads, runtime.h, s-oscons-tmplt.c: Likewise. * scans.adb, scans.ads, scil_ll.adb, scil_ll.ads, scn.adb: Likewise. * scn.ads, scng.adb, scng.ads, scos.adb, scos.ads: Likewise. * scos.h, sdefault.ads, seh_init.c, sem.adb, sem.ads: Likewise. * sem_aggr.adb, sem_aggr.ads, sem_attr.adb, sem_attr.ads: Likewise. * sem_aux.adb, sem_aux.ads, sem_case.adb, sem_case.ads: Likewise. * sem_cat.adb, sem_cat.ads, sem_ch10.adb, sem_ch10.ads: Likewise. * sem_ch11.adb, sem_ch11.ads, sem_ch12.adb, sem_ch12.ads: Likewise. * sem_ch13.adb, sem_ch13.ads, sem_ch2.adb, sem_ch2.ads: Likewise. * sem_ch3.adb, sem_ch3.ads, sem_ch4.adb, sem_ch4.ads, sem_ch5.adb: Likewise. * sem_ch5.ads, sem_ch6.adb, sem_ch6.ads, sem_ch7.adb, sem_ch7.ads: Likewise. * sem_ch8.adb, sem_ch8.ads, sem_ch9.adb, sem_ch9.ads, sem_dim.adb: Likewise. * sem_dim.ads, sem_disp.adb, sem_disp.ads, sem_dist.adb: Likewise. * sem_dist.ads, sem_elab.adb, sem_elab.ads, sem_elim.adb: Likewise. * sem_elim.ads, sem_eval.adb, sem_eval.ads, sem_intr.adb: Likewise. * sem_intr.ads, sem_mech.adb, sem_mech.ads, sem_prag.adb: Likewise. * sem_prag.ads, sem_res.adb, sem_res.ads, sem_scil.adb: Likewise. * sem_scil.ads, sem_smem.adb, sem_smem.ads, sem_type.adb: Likewise. * sem_type.ads, sem_util.adb, sem_util.ads, sem_warn.adb: Likewise. * sem_warn.ads, set_targ.adb, set_targ.ads, sfn_scan.adb: Likewise. * sfn_scan.ads, sigtramp-arm-qnx.c, sigtramp-armdroid.c: Likewise. * sigtramp-ios.c, sigtramp-qnx.c: Likewise. * sigtramp-vxworks-target.h, sigtramp-vxworks.c, sigtramp.h: Likewise. * sinfo-cn.adb, sinfo-cn.ads, sinfo-utils.adb, sinfo-utils.ads: Likewise. * sinfo.adb, sinfo.ads, sinput-c.adb, sinput-c.ads, sinput-d.adb: Likewise. * sinput-d.ads, sinput-l.adb, sinput-l.ads, sinput.adb: Likewise. * sinput.ads, socket.c, spark_xrefs.adb, spark_xrefs.ads: Likewise. * sprint.adb, sprint.ads, stand.ads: Likewise. * stringt.adb, stringt.ads, stringt.h, strub.adb, strub.ads: Likewise. * style.adb, style.ads, styleg.adb, styleg.ads, stylesw.adb: Likewise. * stylesw.ads, switch-b.adb, switch-b.ads, switch-c.adb: Likewise. * switch-c.ads, switch-m.adb, switch-m.ads, switch.adb: Likewise. * switch.ads, sysdep.c, table.adb: Likewise. * table.ads, targext.c, targparm.adb, targparm.ads, tbuild.adb: Likewise. * tbuild.ads, tempdir.adb, tempdir.ads, terminals.c, tracebak.c: Likewise. * treepr.adb, treepr.ads, ttypes.ads, types.adb, types.ads: Likewise. * types.h, uintp.adb, uintp.ads, uintp.h, uname.adb, uname.ads: Likewise. * urealp.adb, urealp.ads, urealp.h, usage.adb, usage.ads: Likewise. * validsw.adb, validsw.ads, vast.adb, vast.ads, warnsw.adb: Likewise. * warnsw.ads, widechar.adb, widechar.ads, xoscons.adb: Likewise. * xsnamest.adb, xutil.adb, xutil.ads, gnatvsn.adb: Likewise. * gnatvsn.ads (Current_Year): Likewise and bump to 2023. | |||||
| 2022-12-06 | ada: Elide the copy in extended returns for nonlimited by-reference types | Eric Botcazou | 1 | -0/+139 | |
| This implements elision of the copy operation for extended return statements in the case of nonlimited by-reference types (the copy operation is already elided for limited types by the front-end and nonlimited non-by-reference types by the code generator), which comprise controlled and tagged types. The implementation partly reuses the machinery implemented for limited types (the build-in-place machinery) to allocate the return object directly on the primary or the secondary stack, depending on whether the result type of the function is constrained or not. This requires further special-casing for the allocators generated by this machinery as well as an adjustment to the implementation of a specific case of string concatenation. gcc/ada/ * einfo.ads (Actual_Subtype): Document additional usage. * exp_aggr.adb (Expand_Array_Aggregate): Replace test on Is_Build_In_Place_Return_Object with Is_Special_Return_Object. * exp_ch3.adb (Expand_N_Object_Declaration): Factor out parts of the processing done for build-in-place return objects and reuse them to implement a similar processing for specific return objects. * exp_ch4.adb (Expand_Allocator_Expression): Do not generate a tag assignment or an adjustment if the allocator was made for a special return object. (Expand_Concatenate): If the result is allocated on the secondary stack, use an unconstrained allocation. * exp_ch6.ads (Apply_CW_Accessibility_Check): New declaration. (Is_By_Reference_Return_Object): Likewise. (Is_Secondary_Stack_Return_Object): Likewise. (Is_Special_Return_Object): Likewise. * exp_ch6.adb (Expand_Ctrl_Function_Call): Do not bail out for the expression in the declaration of a special return object. (Expand_N_Extended_Return_Statement): Add missing guard and move the class-wide accessibility check to Expand_N_Object_Declaration. (Expand_Simple_Function_Return): Delete obsolete commentary. Skip the special processing for types that require finalization or are returned on the secondary stack if the return originally comes from an extended return statement. Add missing Constant_Present. (Is_By_Reference_Return_Object): New predicate. (Is_Secondary_Stack_Return_Object): Likewise. (Is_Special_Return_Object): Likewise. * exp_util.adb (Is_Related_To_Func_Return): Also return true if the parent of the expression is the renaming declaration generated for the expansion of a return object. * gen_il-fields.ads (Opt_Field_Enum): Replace Alloc_For_BIP_Return with For_Special_Return_Object. * gen_il-gen-gen_nodes.adb (N_Allocator): Likewise. * gen_il-internals.adb (Image): Remove Alloc_For_BIP_Return. * sem_ch3.adb (Check_Return_Subtype_Indication): New procedure moved from sem_ch6.adb. (Analyze_Object_Declaration): Call it on a return object. * sem_ch4.adb: Add with and use clauses for Rtsfind. (Analyze_Allocator): Test For_Special_Return_Object to skip checks for allocators made for special return objects. Do not report restriction violations for the return stack pool. * sem_ch5.adb (Analyze_Assignment.Set_Assignment_Type): Return the Actual_Subtype for return objects that live on the secondary stack. * sem_ch6.adb (Check_Return_Subtype_Indication): Move procedure to sem_ch3.adb. (Analyze_Function_Return): Do not call above procedure. * sem_res.adb (Resolve_Allocator): Replace Alloc_For_BIP_Return with For_Special_Return_Object. * sinfo.ads: Likewise. * treepr.adb (Image): Remove Alloc_For_BIP_Return. * gcc-interface/trans.cc (gnat_to_gnu): Do not convert to the result type in the unconstrained array type case if the parent is a simple return statement. | |||||
| 2022-12-06 | ada: Accessibility code reorganization and bug fixes | Justin Squirek | 1 | -0/+1 | |
| This patch performs a large reorganization of accessibility related sources, and also corrects some latent issues with accessibility checks - namely the calculation of accessibility levels for expanded iterators and type conversions. gcc/ada/ * accessibility.adb, accessibility.ads (Accessibility_Message): Moved from sem_attr. (Apply_Accessibility_Check): Moved from checks. (Apply_Accessibility_Check_For_Allocator): Moved from exp_ch4 and renamed (Check_Return_Construct_Accessibility): Moved from sem_ch6. (Innermost_Master_Scope_Depth): Moved from sem_util. Add condition to detect expanded iterators. (Prefix_With_Safe_Accessibility_Level): Moved from sem_attr. (Static_Accessibility_Level): Moved from sem_util. (Has_Unconstrained_Access_Discriminants): Likewise. (Has_Anonymous_Access_Discriminant): Likewise. (Is_Anonymous_Access_Actual): Likewise. (Is_Special_Aliased_Formal_Access): Likewise. (Needs_Result_Accessibility_Level): Likewise. (Subprogram_Access_Level): Likewise. (Type_Access_Level): Likewise. (Deepest_Type_Access_Level): Likewise. (Effective_Extra_Accessibility): Likewise. (Get_Dynamic_Accessibility): Likewise. (Has_Access_Values): Likewise. (Accessibility_Level): Likewise. * exp_attr.adb (Access_Cases): Obtain the proper enclosing object which applies to a given 'Access by looking through type conversions. * exp_ch4.adb (Apply_Accessibility_Check): Moved to accessibility. * exp_ch5.adb: Likewise. * exp_ch6.adb: Likewise. * exp_ch9.adb: Likewise. * exp_disp.adb: Likewise. * gen_il-fields.ads: Add new flag Comes_From_Iterator. * gen_il-gen-gen_nodes.adb: Add new flag Comes_From_Iterator for N_Object_Renaming_Declaration. * sem_ch5.adb (Analyze_Iterator_Specification): Mark object renamings resulting from iterator expansion with the new flag Comes_From_Iterator. * sem_aggr.adb (Resolve_Container_Aggregate): Refine test. * sem_ch13.adb: Add dependence on the accessibility package. * sem_ch3.adb: Likewise. * sem_ch4.adb: Likewise. * sem_ch9.adb: Likewise. * sem_res.adb: Likewise. * sem_warn.adb: Likewise. * exp_ch3.adb: Likewise. * sem_attr.adb (Accessibility_Message): Moved to accessibility. (Prefix_With_Safe_Accessibility_Level): Likewise. * checks.adb, checks.ads (Apply_Accessibility_Check): Likewise. * sem_ch6.adb (Check_Return_Construct_Accessibility): Likewise. * sem_util.adb, sem_util.ads (Accessibility_Level): Likewise. (Deepest_Type_Access_Level): Likewise. (Effective_Extra_Accessibility): Likewise. (Get_Dynamic_Accessibility): Likewise. (Has_Access_Values): Likewise. (Has_Anonymous_Access_Discriminant): Likewise. (Static_Accessibility_Level): Likewise. (Has_Unconstrained_Access_Discriminants): Likewise. (Is_Anonymous_Access_Actual): Likewise. (Is_Special_Aliased_Formal_Access): Likewise. (Needs_Result_Accessibility_Level): Likewise. (Subprogram_Access_Level): Likewise. (Type_Access_Level): Likewise. * sinfo.ads: Document new flag Comes_From_Iterator. * gcc-interface/Make-lang.in: Add entry for new Accessibility package. | |||||
| 2022-11-28 | ada: Implement change to SPARK RM rule on state refinement | Yannick Moy | 1 | -1/+2 | |
| SPARK RM 7.1.4(4) does not mandate anymore that a package with abstract states has a completing body, unless the package state is mentioned in Part_Of specifications. Implement that change. gcc/ada/ * sem_prag.adb (Check_Part_Of_Abstract_State): Add verification related to use of Part_Of, so that constituents in private childs that refer to state in a sibling or parent unit force that unit to have a body. * sem_util.adb (Check_State_Refinements): Drop the requirement to have always a package body for state refinement, when the package state is mentioned in no Part_Of specification. * sem_ch3.adb (Analyze_Declarations): Refresh SPARK refs in comment. * sem_ch7.adb (Analyze_Package_Declaration): Likewise. | |||||
| 2022-11-21 | ada: Move warnings switches | Bob Duff | 1 | -0/+1 | |
| This patch moves warning switches from Opt into Warnsw, fixes some minor discrepancies, and cleans up the code. No change in behavior. gcc/ada/ * warnsw.ads, warnsw.adb: Move warning flags here from package Opt. Rename Warning_Record to be Warnings_State. Use an array instead of a record; this simplifies the code. Add renamings of all the array components for easy reference outside this package. Pass the "Family" to Set_Warning_Switch. Use more table-driven code. Misc cleanup and comment fixes. * opt.ads: Move warning switches to Warnsw. * gnat1drv.adb (Adjust_Global_Switches): Expanded names needed. * inline.ads: Rename Warning_Record to be Warnings_State. * sem_ch12.adb: Likewise. * sem_prag.adb: Use new Set_Warning_Switch. * contracts.adb, errout.adb, exp_aggr.adb, exp_ch11.adb: Adjust imports for move to Warnsw. * exp_ch5.adb, exp_prag.adb, exp_util.adb, frontend.adb: Likewise. * layout.adb, lib-xref.adb, restrict.adb, scn.adb, sem_aggr.adb: Likewise. * sem_attr.adb, sem_case.adb, sem_ch10.adb, sem_ch11.adb: Likewise. * sem_ch13.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb: Likewise. * sem_ch6.adb, sem_ch7.adb, sem_ch8.adb, sem_elab.adb: Likewise. * sem_eval.adb, sem_res.adb, sem_util.adb, sem_warn.adb: Likewise. * switch-c.adb: Likewise. | |||||
| 2022-11-08 | ada: Enforce matching of extra formals | Javier Miranda | 1 | -13/+12 | |
| This patch enforces matching of extra formals in overridden subprograms, subprogram renamings, and subprograms to which attributes 'Access, 'Unchecked_Access, or 'Unrestricted_Access is applied (for these access cases the subprogram is checked against its corresponding subprogram type). This enforcement is an internal consistency check, not an implementation of some language legality rule. gcc/ada/ * debug.adb (Debug_Flag_Underscore_XX): Switch -gnatd_X used temporarily to allow disabling extra formal checks. * exp_attr.adb (Expand_N_Attribute_Reference [access types]): Add extra formals to the subprogram referenced in the prefix of 'Unchecked_Access, 'Unrestricted_Access or 'Access; required to check that its extra formals match the extra formals of the corresponding subprogram type. * exp_ch3.adb (Stream_Operation_OK): Declaration moved to the public part of the package. (Validate_Tagged_Type_Extra_Formals): New subprogram. (Expand_Freeze_Record_Type): Improve the code that takes care of adding the extra formals of dispatching primitives; extended to add also the extra formals to renamings of dispatching primitives. * exp_ch3.ads (Stream_Operation_OK): Declaration moved from the package body. * exp_ch6.adb (Check_BIP_Actuals): Complete documentation. (Has_BIP_Extra_Formal): Subprogram declaration moved to the public part of the package. In addition, a parameter has been added to disable an assertion that requires its use with frozen entities. (Duplicate_Params_Without_Extra_Actuals): New subprogram. (Check_Subprogram_Variant): Emit the call without duplicating the extra formals since they will be added when the call is analyzed. (Expand_Call_Helper): Ensure that the called subprogram has all its extra formals, enforce assertion checking extra formals on thunks, and mark calls from thunks as processed-BIP-calls to avoid adding their extra formals twice. (Is_Build_In_Place_Function): Return False for entities with foreign convention. (Is_Build_In_Place_Function_Call): Return True also for not BIP functions that have BIP formals since the extra actuals are required. (Make_Build_In_Place_Call_In_Object_Declaration): Occurrences of Is_Return_Object replaced by the local variable Is_OK_Return_Object that evaluates to False for scopes with foreign convention. (Might_Have_Tasks): Fix check of class-wide limited record types. (Needs_BIP_Task_Actuals): Remove assertion to allow calling this function in more contexts; in addition it returns False for functions returning objects with foreign convention. (Needs_BIP_Finalization_Master): Likewise. (Needs_BIP_Alloc_Form): Likewise. (Validate_Subprogram_Calls): Check that the number of actuals (including extra actuals) of calls in the subtree N match their corresponding formals. * exp_ch6.ads (Has_BIP_Extra_Formal): Subprogram declaration moved to the public part of the package. In addition, a parameter has been added to disable an assertion that requires its use with frozen entities. (Is_Build_In_Place_Function_Call): Complete documentation. (Validate_Subprogram_Calls): Check that the number of actuals (including extra actuals) of calls in the subtree N match their corresponding formals. * freeze.adb (Check_Itype): Add extra formals to anonymous access subprogram itypes. (Freeze_Expression): Improve code that disables the addition of extra formals to functions with foreign convention. (Check_Extra_Formals): Moved to package Sem_Ch6 as Extra_Formals_OK. (Freeze_Subprogram): Add extra formals to non-dispatching subprograms. * frontend.adb (Frontend): Validate all the subprogram calls; it can be disabled using switch -gnatd_X * sem_ch3.adb (Access_Subprogram_Declaration): Defer the addition of extra formals to the freezing point so that we know the convention. (Check_Anonymous_Access_Component): Likewise. (Derive_Subprogram): Fix documentation. * sem_ch6.adb (Has_Reliable_Extra_Formals): New subprogram. (Check_Anonymous_Return): Fix check of access to class-wide limited record types. (Check_Untagged_Equality): Placed in alphabetical order. (Extra_Formals_OK): Subprogram moved from freeze.adb. (Extra_Formals_Match_OK): New subprogram. (Has_BIP_Formals): New subprogram. (Has_Extra_Formals): New subprograms. (Needs_Accessibility_Check_Extra): New subprogram. (Parent_Subprogram): New subprogram. (Add_Extra_Formal): Minor code cleanup. (Create_Extra_Formals): Enforce matching extra formals on overridden and aliased entities. * sem_ch6.ads (Extra_Formals_Match_OK): New subprogram. (Extra_Formals_OK): Subprogram moved from freeze.adb. * sem_eval.adb (Compile_Time_Known_Value): Improve predicate to avoid assertion failure; found working on this ticket; this change does not affect the behavior of the compiler because this subprogram has an exception handler that returns False when the assertion fails. * sem_util.adb (Needs_Result_Accessibility_Level): Do not return False for dispatching operations compiled with Ada_Version < 2012 since they they may be overridden by primitives compiled with Ada_Version >= Ada_2012. | |||||
| 2022-11-08 | ada: Improve handling of declare expressions in deferred-freezing contexts | Steve Baird | 1 | -0/+20 | |
| In some cases where a declare expression occurs in a deferred-freezing context (e.g., within the default value for a discriminant or for a formal parameter, or within the expression of an expression function), the compiler generates a bugbox. gcc/ada/ * sem_ch3.adb (Analyze_Object_Declaration): Do not perform expansion actions if In_Spec_Expression is true. | |||||
| 2022-11-08 | ada: Cleanup local variable that is only set as an out parameter | Piotr Trojanek | 1 | -9/+9 | |
| Minor improvements; found experimenting with improved detection of unreferenced objects. gcc/ada/ * exp_spark.adb (SPARK_Freeze_Type): Refine type of a local object. * sem_ch3.adb (Derive_Subprograms): Remove initial value for New_Subp, which is in only written as an out parameter and never read. | |||||
| 2022-11-08 | ada: Allow initialization of limited objects with delta aggregates | Piotr Trojanek | 1 | -0/+1 | |
| Objects of a limited type can be initialized with "aggregates", which is a collective term for ordinary aggregates (i.e. record aggregates and array aggregates), extension aggregates and finally for delta aggregates (introduced by Ada 2022). gcc/ada/ * sem_ch3.adb (OK_For_Limited_Init_In_05): Handle delta aggregates just like other aggregates. | |||||
| 2022-11-07 | ada: Cleanup detection of code within generic instances | Piotr Trojanek | 1 | -3/+3 | |
| To check if a node is located in a generic instance we can either look at Instantiation_Location or at the Instantiation_Depth, but just looking at the location is simpler and more efficient. Cleanup related to improved detection of references to uninitialized objects; semantics is unaffected. gcc/ada/ * sem_ch13.adb (Add_Call): Just look at Instantiation_Depth. * sem_ch3.adb (Derive_Subprograms): Likewise. * sem_warn.adb (Check_References): Remove redundant filtering with Instantiation_Depth that follows filtering with Instantiation_Location. * sinput.adb (Instantiation_Depth): Reuse Instantiation_Location. | |||||
| 2022-11-04 | ada: Refactor: replace uses of `not Present(X)` with `No (X)` | Ghjuvan Lacambre | 1 | -4/+4 | |
| `No (X)` is essentially `not Present (X)`, there's no reason for not using this shorter form. gcc/ada/ * checks.adb, exp_atag.adb, exp_attr.adb, exp_ch4.adb, exp_ch6.adb, exp_ch7.adb, exp_dbug.adb, exp_disp.adb, exp_unst.adb, exp_util.adb, freeze.adb, layout.adb, pprint.adb, rtsfind.adb, sem_aggr.adb, sem_attr.adb, sem_case.adb, sem_ch12.adb, sem_ch13.adb, sem_ch3.adb, sem_ch5.adb, sem_ch6.adb, sem_ch8.adb, sem_dim.adb, sem_prag.adb, sem_util.adb, sem_warn.adb: Replace uses of `not Present (X)` with `No (X)`. | |||||
| 2022-11-04 | ada: Allow enabling a restricted set of language extensions. | Steve Baird | 1 | -2/+2 | |
| The -gnatX switch (and the related Extensions_Allowed pragma) is currently a two-valued all-or-nothing option. Add support for enabling a curated subset of language extensions without enabling others via the -gnatX switch and for enabling all language extensions via the new -gnatX0 switch. Similarly, the existing "ON" argument for the Extensions_Allowed pragma now only enables the curated subset; the new argument "ALL" enables all language extensions. The subset of language extensions currently includes prefixed-view notation with an untagged prefix, fixed-low-bound array subtypes, and casing on composite values. gcc/ada/ * opt.ads: Replace Ada_Version_Type enumeration literal Ada_With_Extensions with two literals, Ada_With_Core_Extensions and Ada_With_All_Extensions. Update uses of the deleted literal. Replace Extensions_Allowed function with two functions: All_Extensions_Allowed and Core_Extensions_Allowed. * errout.ads, errout.adb: Add Boolean parameter to Error_Msg_GNAT_Extension to indicate whether the construct in question belongs to the curated subset. * exp_ch5.adb, par-ch4.adb, sem_case.adb, sem_ch3.adb: * sem_ch4.adb, sem_ch5.adb, sem_ch8.adb: Replace calls to Extensions_Allowed with calls to Core_Extensions_Allowed for constructs that are in the curated subset. * sem_attr.adb, sem_ch13.adb, sem_eval.adb, sem_util.adb: Replace calls to Extensions_Allowed with calls to All_Extensions_Allowed for constructs that are not in the curated subset. * par-ch3.adb: Override default for new parameter in calls to Error_Msg_GNAT_Extension for constructs in the curated subset. * par-prag.adb: Add Boolean parameter to Check_Arg_Is_On_Or_Off to also allow ALL. Set Opt.Ada_Version appropriately for ALL or ON arguments. * sem_prag.adb: Allowed ALL argument for an Extensions_Allowed pragma. Set Opt.Ada_Version appropriately for ALL or ON arguments. * switch-c.adb: The -gnatX switch now enables only the curated subset of language extensions (formerly it enabled all of them); the new -gnatX0 switch enables all of them. * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Document new "-gnatX0" switch and update documentation for "-gnatX" switch. * doc/gnat_rm/implementation_defined_pragmas.rst: Document new ALL argument for pragma Extensions_Allowed and update documentation for the ON argument. Delete mention of Ada 2022 Reduce attribute as an extension. * gnat_rm.texi, gnat_ugn.texi: Regenerate. | |||||
| 2022-09-12 | [Ada] Revert "Enforce matching of extra formals" | Javier Miranda | 1 | -11/+12 | |
| This reverts commit 51abc0cc8691daecd7cec8372e4988e9f3f1913c. | |||||
| 2022-09-06 | [Ada] Enforce matching of extra formals | Javier Miranda | 1 | -12/+11 | |
| This patch enforces matching of extra formals in overridden subprograms, subprogram renamings, and subprograms to which attributes 'Access, 'Unchecked_Access, or 'Unrestricted_Access is applied (for these access cases the subprogram is checked against its corresponding subprogram type). gcc/ada/ * debug.adb (Debug_Flag_Underscore_X): Switch added temporarily to allow disabling extra formal checks. * exp_attr.adb (Expand_N_Attribute_Reference [access types]): Add extra formals to the subprogram referenced in the prefix of 'Unchecked_Access, 'Unrestricted_Access or 'Access; required to check that its extra formals match the extra formals of the corresponding subprogram type. * exp_ch3.adb (Stream_Operation_OK): Declaration moved to the public part of the package. (Validate_Tagged_Type_Extra_Formals): New subprogram. (Expand_Freeze_Record_Type): Improve the code that takes care of adding the extra formals of dispatching primitives; extended to add also the extra formals to renamings of dispatching primitives. * exp_ch3.ads (Stream_Operation_OK): Declaration moved from the package body. * exp_ch6.adb (Has_BIP_Extra_Formal): Subprogram declaration moved to the public part of the package. In addition, a parameter has been added to disable an assertion that requires its use with frozen entities. (Expand_Call_Helper): Enforce assertion checking extra formals on thunks. (Is_Build_In_Place_Function): Return False for entities with foreign convention. (Make_Build_In_Place_Call_In_Object_Declaration): Occurrences of Is_Return_Object replaced by the local variable Is_OK_Return_Object that evaluates to False for scopes with foreign convention. (Might_Have_Tasks): Fix check of class-wide limited record types. (Needs_BIP_Task_Actuals): Remove assertion to allow calling this function in more contexts; in addition it returns False for functions returning objects with foreign convention. (Needs_BIP_Finalization_Master): Likewise. (Needs_BIP_Alloc_Form): Likewise. * exp_ch6.ads (Stream_Operation_OK): Declaration moved from the package body. In addition, a parameter has been added to disable assertion that requires its use with frozen entities. * freeze.adb (Check_Itype): Add extra formals to anonymous access subprogram itypes. (Freeze_Expression): Improve code that disables the addition of extra formals to functions with foreign convention. (Check_Extra_Formals): Moved to package Sem_Ch6 as Extra_Formals_OK. (Freeze_Subprogram): Add extra formals to non-dispatching subprograms. * sem_ch3.adb (Access_Subprogram_Declaration): Defer the addition of extra formals to the freezing point so that we know the convention. (Check_Anonymous_Access_Component): Likewise. (Derive_Subprogram): Fix documentation. * sem_ch6.adb (Check_Anonymous_Return): Fix check of access to class-wide limited record types. (Check_Untagged_Equality): Placed in alphabetical order. (Extra_Formals_OK): Subprogram moved from freeze.adb. (Extra_Formals_Match_OK): New subprogram. (Has_BIP_Formals): New subprogram. (Has_Extra_Formals): New subprograms. (Needs_Accessibility_Check_Extra): New subprogram. (Needs_Constrained_Extra): New subprogram. (Parent_Subprogram): New subprogram. (Add_Extra_Formal): Minor code cleanup. (Create_Extra_Formals): Enforce matching extra formals on overridden and aliased entities. (Has_Reliable_Extra_Formals): New subprogram. * sem_ch6.ads (Extra_Formals_OK): Subprogram moved from freeze.adb. (Extra_Formals_Match_OK): New subprogram. * sem_eval.adb (Compile_Time_Known_Value): Improve predicate to avoid assertion failure; found working on this ticket; this change does not affect the behavior of the compiler because this subprogram has an exception handler that returns False when the assertion fails. * sem_util.adb (Needs_Result_Accessibility_Level): Do not return False for dispatching operations compiled with Ada_Version < 2012 since they they may be overridden by primitives compiled with Ada_Version >= Ada_2012. | |||||
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |