aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2022-02-09 17:40:48 +0100
committerPierre-Marie de Rodat <derodat@adacore.com>2022-05-12 12:38:37 +0000
commitf7fc84d6fff3c6cb7e6a421c8cae4de145d09dfe (patch)
treec710235c371440af47d3958db15b544d217dd2d3 /gcc
parentc97014ce88150584689a2ae9a95d8a40115e0423 (diff)
downloadgcc-f7fc84d6fff3c6cb7e6a421c8cae4de145d09dfe.zip
gcc-f7fc84d6fff3c6cb7e6a421c8cae4de145d09dfe.tar.gz
gcc-f7fc84d6fff3c6cb7e6a421c8cae4de145d09dfe.tar.bz2
[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.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ada/sem_type.adb1
1 files changed, 0 insertions, 1 deletions
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