[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 --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index 46f140932b8d171a46e2bc5a44ee1bc41096be43..5c75a3b2aab39648eea616369905f2c2fe8f0b62 100644 (file)
--- 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