From db174c984559f8cc7f132a2aaae32b123051a38e Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 8 Sep 2017 12:08:25 +0200 Subject: [multiple changes] 2017-09-08 Hristian Kirtchev * sem_elab.adb (Check_A_Call): Do not consider references to internal variables for SPARK semantics. 2017-09-08 Arnaud Charlet * inline.adb (In_Package_Spec): refine type of the parameter from Node_Id to Entity_Id. 2017-09-08 Justin Squirek * exp_ch5.adb (Expand_Formal_Container_Loop): Reset the scope of the loop parameter after it is reanalyzed. 2017-09-08 Eric Botcazou * sem_util.ads (Set_Rep_Info): New inline procedure. * sem_util.adb (Set_Rep_Info): Implement it. * sem_ch3.adb (Process_Subtype): If the case of a constraint present, always copy the representation aspects onto the subtype. From-SVN: r251882 --- gcc/ada/inline.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gcc/ada/inline.adb') diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index aa99201..7096f7c 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -1187,7 +1187,7 @@ package body Inline is -- Return True if subprogram Id defines a compilation unit -- Shouldn't this be in Sem_Aux??? - function In_Package_Spec (Id : Node_Id) return Boolean; + function In_Package_Spec (Id : Entity_Id) return Boolean; -- Return True if subprogram Id is defined in the package specification, -- either its visible or private part. @@ -1292,7 +1292,7 @@ package body Inline is -- In_Package_Spec -- --------------------- - function In_Package_Spec (Id : Node_Id) return Boolean is + function In_Package_Spec (Id : Entity_Id) return Boolean is P : constant Node_Id := Parent (Subprogram_Spec (Id)); -- Parent of the subprogram's declaration -- cgit v1.1