From f7fc84d6fff3c6cb7e6a421c8cae4de145d09dfe Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Wed, 9 Feb 2022 17:40:48 +0100 Subject: [PATCH] [Ada] Remove redundant guard against Any_String A sequence of checks for a valid Boolean argument fails when applied to Any_String because its component is not of a Boolean type. The explicit guard was unnecessary; it was only needed when a First_Index applied to Any_String would crash, but this was fixed soon after this guard was added. Cleanup related to recent fixes for resolution of Boolean operators. gcc/ada/ * sem_type.adb (Valid_Boolean_Arg): Remove redundant guard. --- gcc/ada/sem_type.adb | 1 - 1 file changed, 1 deletion(-) diff --git a/gcc/ada/sem_type.adb b/gcc/ada/sem_type.adb index e947296..2fc82d1 100644 --- a/gcc/ada/sem_type.adb +++ b/gcc/ada/sem_type.adb @@ -3512,7 +3512,6 @@ package body Sem_Type is return True; elsif Is_Array_Type (T) - and then T /= Any_String and then Number_Dimensions (T) = 1 and then Is_Boolean_Type (Component_Type (T)) and then -- 2.7.4