diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2022-02-09 17:40:48 +0100 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-12 12:38:37 +0000 |
commit | f7fc84d6fff3c6cb7e6a421c8cae4de145d09dfe (patch) | |
tree | c710235c371440af47d3958db15b544d217dd2d3 /gcc | |
parent | c97014ce88150584689a2ae9a95d8a40115e0423 (diff) | |
download | gcc-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.adb | 1 |
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 |