diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-07-30 12:02:19 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-21 03:22:44 -0400 |
| commit | c43098ca632397f5b5af14d7818f6fcdb02a2b6f (patch) | |
| tree | bac02edab9a54e71ab6c0ed5d99c0a26249f1ab2 | |
| parent | 512fe5e067c8e0de195fe891bcdcc844da1eb7dd (diff) | |
| download | gcc-c43098ca632397f5b5af14d7818f6fcdb02a2b6f.zip gcc-c43098ca632397f5b5af14d7818f6fcdb02a2b6f.tar.gz gcc-c43098ca632397f5b5af14d7818f6fcdb02a2b6f.tar.bz2 | |
[Ada] Make minimum accessibility level a constant object
gcc/ada/
* exp_ch6.adb (Expand_Actuals): Whitespace cleanup.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Make minimum
accessibility a constant object.
| -rw-r--r-- | gcc/ada/exp_ch6.adb | 12 | ||||
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 3 |
2 files changed, 8 insertions, 7 deletions
diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index 9b7efc2..57995a4 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -1458,12 +1458,12 @@ package body Exp_Ch6 is Subp : Entity_Id; Post_Call : out List_Id) is - Loc : constant Source_Ptr := Sloc (N); - Actual : Node_Id; - Formal : Entity_Id; - N_Node : Node_Id; - E_Actual : Entity_Id; - E_Formal : Entity_Id; + Loc : constant Source_Ptr := Sloc (N); + Actual : Node_Id; + Formal : Entity_Id; + N_Node : Node_Id; + E_Actual : Entity_Id; + E_Formal : Entity_Id; procedure Add_Call_By_Copy_Code; -- For cases where the parameter must be passed by copy, this routine diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 8bf5889..9c42075 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -4699,7 +4699,7 @@ package body Sem_Ch6 is then -- Generate the minimum accessibility level object - -- A60b : natural := natural'min(1, paramL); + -- A60b : constant natural := natural'min(1, paramL); declare Loc : constant Source_Ptr := Sloc (Body_Nod); @@ -4708,6 +4708,7 @@ package body Sem_Ch6 is Defining_Identifier => Make_Temporary (Loc, 'A', Extra_Accessibility (Form)), + Constant_Present => True, Object_Definition => New_Occurrence_Of (Standard_Natural, Loc), Expression => |