diff options
| author | Etienne Servais <servais@adacore.com> | 2021-09-29 15:22:00 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-11 13:38:11 +0000 |
| commit | 35338c60e4634e29d8704df6e7012fcdc7eb909c (patch) | |
| tree | 227e560377204885b3d907aaa24e1c01b6c19905 /gcc/ada/sem_ch3.ads | |
| parent | d64c67d67dab6b6c578d4bf4131b4cf129cffafc (diff) | |
| download | gcc-35338c60e4634e29d8704df6e7012fcdc7eb909c.zip gcc-35338c60e4634e29d8704df6e7012fcdc7eb909c.tar.gz gcc-35338c60e4634e29d8704df6e7012fcdc7eb909c.tar.bz2 | |
[Ada] Remove constant arguments
gcc/ada/
* ali.adb (Get_Name): Ignore_Spaces is always False.
* bindo-graphs.adb (Set_Is_Existing_Source_Target_Relation): Val
is always True.
* cstand.adb (New_Standard_Entity): New_Node_Kind is always
N_Defininig_Identifier.
* exp_ch3.adb (Predef_Stream_Attr_Spec): For_Body is always
False.
* exp_dist.adb (Add_Parameter_To_NVList): RACW_Ctrl is always
False.
* gnatls.adb (Add_Directories): Prepend is always False.
* sem_ch10.adb, sem_ch10.ads (Load_Needed_Body): Do_Analyze is
always True.
* sem_ch3.adb, sem_ch3.ads (Process_Range_Expr_In_Decl):
R_Check_Off is always False.
* sem_elab.adb: (Info_Variable_Reference): Info_Msg is always
False, In_SPARK is always True.
(Set_Is_Traversed_Body, Set_Is_Saved_Construct,
Set_Is_Saved_Relation): Val is always True.
* treepr.adb (Visit_Descendant): No_Indent is always False.
(Print_Node): Fmt does not need such a big scope.
Diffstat (limited to 'gcc/ada/sem_ch3.ads')
| -rw-r--r-- | gcc/ada/sem_ch3.ads | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/gcc/ada/sem_ch3.ads b/gcc/ada/sem_ch3.ads index eedb98c..f3722a0 100644 --- a/gcc/ada/sem_ch3.ads +++ b/gcc/ada/sem_ch3.ads @@ -257,11 +257,10 @@ package Sem_Ch3 is -- Priv_T is the private view of the type whose full declaration is in N. procedure Process_Range_Expr_In_Decl - (R : Node_Id; - T : Entity_Id; - Subtyp : Entity_Id := Empty; - Check_List : List_Id := No_List; - R_Check_Off : Boolean := False); + (R : Node_Id; + T : Entity_Id; + Subtyp : Entity_Id := Empty; + Check_List : List_Id := No_List); -- Process a range expression that appears in a declaration context. The -- range is analyzed and resolved with the base type of the given type, and -- an appropriate check for expressions in non-static contexts made on the @@ -271,8 +270,7 @@ package Sem_Ch3 is -- pointer of R so that the types get properly frozen. Check_List is used -- when the subprogram is called from Build_Record_Init_Proc and is used to -- return a set of constraint checking statements generated by the Checks - -- package. R_Check_Off is set to True when the call to Range_Check is to - -- be skipped. + -- package. -- -- If Subtyp is given, then the range is for the named subtype Subtyp, and -- in this case the bounds are captured if necessary using this name. |