diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-04-13 14:53:52 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-13 09:31:44 +0200 |
| commit | 0ac91bdbef4c3455aa469381d521f421770dbf50 (patch) | |
| tree | 2129822feb901c9766dce29af5c325f343450ba9 /gcc/ada/sem_util.ads | |
| parent | d18dd43c1fdfdd9efe5ade19368f3776a4fd8e3e (diff) | |
| download | gcc-0ac91bdbef4c3455aa469381d521f421770dbf50.zip gcc-0ac91bdbef4c3455aa469381d521f421770dbf50.tar.gz gcc-0ac91bdbef4c3455aa469381d521f421770dbf50.tar.bz2 | |
ada: Remove unreferenced routine Is_Inherited_Operation_For_Type
Remove routine that is no referenced after deconstructing of restriction
SPARK_05.
gcc/ada/
* sem_util.ads (Is_Inherited_Operation_For_Type): Remove spec.
* sem_util.adb (Is_Inherited_Operation_For_Type): Remove body.
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 2a2dbdc..539ebeb 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -2088,12 +2088,6 @@ package Sem_Util is -- E is a subprogram. Return True is E is an implicit operation inherited -- by a derived type declaration. - function Is_Inherited_Operation_For_Type - (E : Entity_Id; - Typ : Entity_Id) return Boolean; - -- E is a subprogram. Return True is E is an implicit operation inherited - -- by the derived type declaration for type Typ. - function Is_Inlinable_Expression_Function (Subp : Entity_Id) return Boolean; -- Return True if Subp is an expression function that fulfills all the -- following requirements for inlining: |