[gcc r17-1320] ada: Simplify code with membership test

[Marc Poulhies via Gcc-cvs]

https://gcc.gnu.org/g:bbb168b82dc451f214b827aae569488a3e668378

commit r17-1320-gbbb168b82dc451f214b827aae569488a3e668378
Author: Piotr Trojanek <troja...@adacore.com>
Date:   Sun May 17 20:54:01 2026 +0200

    ada: Simplify code with membership test
    
    Code cleanup; semantics is unaffected.
    
    gcc/ada/ChangeLog:
    
            * sem_aux.adb (Is_Definite_Subtype): Only call Ekind if necessary.

Diff:
---
 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 c39e50a596b9..5248248598d6 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;