diff options
author | Bob Duff <duff@adacore.com> | 2021-12-10 06:01:22 -0500 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-01-06 17:11:42 +0000 |
commit | 2a60c08e98acaae212840b2d3329b5bd13778581 (patch) | |
tree | 2b00cc1deb87a7f7e19d77777f72e98726150e5e /gcc/ada/sem_ch3.adb | |
parent | 1871f2cb3cef93485a11057b1bb9aff2c68dd512 (diff) | |
download | gcc-2a60c08e98acaae212840b2d3329b5bd13778581.zip gcc-2a60c08e98acaae212840b2d3329b5bd13778581.tar.gz gcc-2a60c08e98acaae212840b2d3329b5bd13778581.tar.bz2 |
[Ada] Warn on subtype declaration of null range
gcc/ada/
* sem_res.adb (Resolve_Range): Warn on null range, unless we are
inside a generic unit or an instance thereof.
* sem_ch3.adb (Analyze_Subtype_Indication): Minor: avoid double
negative.
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
-rw-r--r-- | gcc/ada/sem_ch3.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 7643cd1..ce5f453 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -6048,13 +6048,13 @@ package body Sem_Ch3 is begin Analyze (T); - if R /= Error then + if R = Error then + Set_Error_Posted (R); + Set_Error_Posted (T); + else Analyze (R); Set_Etype (N, Etype (R)); Resolve (R, Entity (T)); - else - Set_Error_Posted (R); - Set_Error_Posted (T); end if; end Analyze_Subtype_Indication; |