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 | |
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')
-rw-r--r-- | gcc/ada/sem_util.adb | 15 | ||||
-rw-r--r-- | gcc/ada/sem_util.ads | 6 |
2 files changed, 0 insertions, 21 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 237bbd3..c736bc3 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -17582,21 +17582,6 @@ package body Sem_Util is and then Is_Derived_Type (Etype (E))); end Is_Inherited_Operation; - ------------------------------------- - -- Is_Inherited_Operation_For_Type -- - ------------------------------------- - - function Is_Inherited_Operation_For_Type - (E : Entity_Id; - Typ : Entity_Id) return Boolean - is - begin - -- Check that the operation has been created by the type declaration - - return Is_Inherited_Operation (E) - and then Defining_Identifier (Parent (E)) = Typ; - end Is_Inherited_Operation_For_Type; - -------------------------------------- -- Is_Inlinable_Expression_Function -- -------------------------------------- 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: |