diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-05-04 19:14:19 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-06 07:34:54 -0400 |
| commit | eddd728f5f832869596529490f5db019ee899d53 (patch) | |
| tree | 3269d3c433b5639c98cb14ab6f230f1b5472d03f | |
| parent | f0c6bd6039459e984bbdebbf1abf231f64c9d1ca (diff) | |
| download | gcc-eddd728f5f832869596529490f5db019ee899d53.zip gcc-eddd728f5f832869596529490f5db019ee899d53.tar.gz gcc-eddd728f5f832869596529490f5db019ee899d53.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/sem_res.adb | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 46f1409..5c75a3b 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 |