[gcc r15-596] ada: Only record types with discriminants can be unconstrained

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:376a8ea17dfb3dc1267dc88bd90e5f84b82aadaa

commit r15-596-g376a8ea17dfb3dc1267dc88bd90e5f84b82aadaa
Author: Piotr Trojanek <troja...@adacore.com>
Date:   Tue Mar 5 14:42:08 2024 +0100

    ada: Only record types with discriminants can be unconstrained
    
    Remove redundant condition for detecting unconstrained record types.
    
    Code cleanup; behavior is unaffected.
    
    gcc/ada/
    
            * sem_prag.adb (Is_Unconstrained_Or_Tagged_Item): Remove call
            to Has_Discriminants; combine ELSIF branches.

Diff:
---
 gcc/ada/sem_prag.adb | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index e57f42d9a54d..02aad4d1caa2 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -32971,13 +32971,10 @@ package body Sem_Prag is
       if Is_Tagged_Type (Typ) then
          return True;
 
-      elsif Is_Array_Type (Typ) then
-         return not Is_Constrained (Typ);
-
-      elsif Is_Record_Type (Typ) then
-         return Has_Discriminants (Typ) and then not Is_Constrained (Typ);
-
-      elsif Is_Private_Type (Typ) then
+      elsif Is_Array_Type (Typ)
+        or else Is_Record_Type (Typ)
+        or else Is_Private_Type (Typ)
+      then
          return not Is_Constrained (Typ);
 
       else