From: Piotr Trojanek <[email protected]>
Code cleanup; semantics is unaffected.
gcc/ada/ChangeLog:
* sem_aux.adb (Is_Definite_Subtype): Only call Ekind if necessary.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_aux.adb | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/gcc/ada/sem_aux.adb b/gcc/ada/sem_aux.adb
index c39e50a596b..5248248598d 100644
--- a/gcc/ada/sem_aux.adb
+++ b/gcc/ada/sem_aux.adb
@@ -922,14 +922,12 @@ package body Sem_Aux is
function Is_Definite_Subtype (T : Entity_Id) return Boolean is
pragma Assert (Is_Type (T));
- K : constant Entity_Kind := Ekind (T);
begin
if Is_Constrained (T) then
return True;
- elsif K in Array_Kind
- or else K in Class_Wide_Kind
+ elsif Ekind (T) in Array_Kind | Class_Wide_Kind
or else Has_Unknown_Discriminants (T)
then
return False;
--
2.53.0