diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-08 12:08:25 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-08 12:08:25 +0200 |
| commit | db174c984559f8cc7f132a2aaae32b123051a38e (patch) | |
| tree | ed9c76360930f6cab44ad74d9d2cb2d9e2be690d /gcc/ada/inline.adb | |
| parent | 3070e686074cf1e6f90802ba12e56b5dcf5a12ca (diff) | |
| download | gcc-db174c984559f8cc7f132a2aaae32b123051a38e.zip gcc-db174c984559f8cc7f132a2aaae32b123051a38e.tar.gz gcc-db174c984559f8cc7f132a2aaae32b123051a38e.tar.bz2 | |
[multiple changes]
2017-09-08 Hristian Kirtchev <kirtchev@adacore.com>
* sem_elab.adb (Check_A_Call): Do not consider
references to internal variables for SPARK semantics.
2017-09-08 Arnaud Charlet <charlet@adacore.com>
* inline.adb (In_Package_Spec): refine type of
the parameter from Node_Id to Entity_Id.
2017-09-08 Justin Squirek <squirek@adacore.com>
* exp_ch5.adb (Expand_Formal_Container_Loop):
Reset the scope of the loop parameter after it is reanalyzed.
2017-09-08 Eric Botcazou <ebotcazou@adacore.com>
* 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
Diffstat (limited to 'gcc/ada/inline.adb')
| -rw-r--r-- | gcc/ada/inline.adb | 4 |
1 files changed, 2 insertions, 2 deletions
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 |