[gcc/devel/c++-coroutines] [Ada] Remove special case for processing null range in GNATprove

[gcc/devel/c++-coroutines] [Ada] Remove special case for processing null range in GNATprove

[Iain D Sandoe]

https://gcc.gnu.org/g:eddd728f5f832869596529490f5db019ee899d53

commit eddd728f5f832869596529490f5db019ee899d53
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Mon May 4 19:14:19 2020 +0200

    [Ada] Remove special case for processing null range in GNATprove
    
    gcc/ada/
    
            * sem_res.adb (Resolve_Range): Resolve both low and high bounds
            with the range type.

Diff:
---
 gcc/ada/sem_res.adb | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index 46f140932b8..5c75a3b2aab 100644
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -10257,13 +10257,8 @@ package body Sem_Res is
    begin
       Set_Etype (N, Typ);
 
-      --  The lower bound should be in Typ. The higher bound can be in Typ's
-      --  base type if the range is null. It may still be invalid if it is
-      --  higher than the lower bound. This is checked later in the context in
-      --  which the range appears.
-
       Resolve (L, Typ);
-      Resolve (H, Base_Type (Typ));
+      Resolve (H, Typ);
 
       --  Reanalyze the lower bound after both bounds have been analyzed, so
       --  that the range is known to be static or not by now. This may trigger