diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-07-26 22:47:58 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-05 09:21:05 +0200 |
| commit | 47a03f3e45f78ea1837b07468bb03348137e0df2 (patch) | |
| tree | fe350d995b3608190f8ec62989c802fbe7023e1e /gcc/ada/sem_util.ads | |
| parent | 2237f94d32c1116d221b2818c04d1db4508665af (diff) | |
| download | gcc-47a03f3e45f78ea1837b07468bb03348137e0df2.zip gcc-47a03f3e45f78ea1837b07468bb03348137e0df2.tar.gz gcc-47a03f3e45f78ea1837b07468bb03348137e0df2.tar.bz2 | |
[Ada] Remove no longer referenced GNATprove utility routine for itypes
Code cleanup related to itypes for Ada 2022 null array aggregates.
Remove routine that was added in 2011 but is not referenced by
GNATprove since 2015.
gcc/ada/
* sem_util.ads (Itype_Has_Declaration): Remove spec.
* sem_util.adb (Itype_Has_Declaration): Remove body.
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index dde5b27..9f909e0 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -2561,11 +2561,6 @@ package Sem_Util is -- Calls Handle_Parameter for each pair of formal and actual parameters of -- a function, procedure, or entry call. - function Itype_Has_Declaration (Id : Entity_Id) return Boolean; - -- Applies to Itypes. True if the Itype is attached to a declaration for - -- the type through its Parent field, which may or not be present in the - -- tree. - procedure Kill_Current_Values (Last_Assignment_Only : Boolean := False); -- This procedure is called to clear all constant indications from all -- entities in the current scope and in any parent scopes if the current |