[gcc/devel/autopar_devel] [Ada] Small improvement to Optimize_Length_Comparison

[gcc/devel/autopar_devel] [Ada] Small improvement to Optimize_Length_Comparison

[Giuliano Belinassi]

https://gcc.gnu.org/g:8815d9643225804ca044f361fa8b8a5185608de4

commit 8815d9643225804ca044f361fa8b8a5185608de4
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Sat Apr 18 19:26:03 2020 +0200

    [Ada] Small improvement to Optimize_Length_Comparison
    
    2020-06-18  Eric Botcazou  <ebotcazou@adacore.com>
    
    gcc/ada/
    
            * exp_ch4.adb (Optimize_Length_Comparison): Accept 32-bit values
            in the full unsigned range.

Diff:
---
 gcc/ada/exp_ch4.adb | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb
index e7db7b0150f..c4cd9b59f7b 100644
--- a/gcc/ada/exp_ch4.adb
+++ b/gcc/ada/exp_ch4.adb
@@ -13898,13 +13898,14 @@ package body Exp_Ch4 is
             end if;
          end if;
 
-         --  Here we have to make sure of being within 32-bits
+         --  Here we have to make sure of being within a 32-bit range (take the
+         --  full unsigned range so the length of 32-bit arrays is accepted).
 
          Determine_Range (N, OK, Lo, Hi, Assume_Valid => True);
 
          if not OK
            or else Lo < Uint_0
-           or else Hi > UI_From_Int (Int'Last)
+           or else Hi > Uint_2 ** 32
          then
             return False;
          end if;