From: Piotr Trojanek <troja...@adacore.com> 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. Tested on x86_64-pc-linux-gnu, committed on master. --- 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 e57f42d9a54..02aad4d1caa 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 -- 2.43.2