diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-12-13 12:58:26 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-04-29 04:00:43 -0400 |
| commit | dde4086df2a9c2a1a88bfc02b19dffe2e5b4e87d (patch) | |
| tree | c3068a66ce5142456b1f65168acf65687afcc116 | |
| parent | ace51190c628d06c12af458dd0b46b99c4e30a4b (diff) | |
| download | gcc-dde4086df2a9c2a1a88bfc02b19dffe2e5b4e87d.zip gcc-dde4086df2a9c2a1a88bfc02b19dffe2e5b4e87d.tar.gz gcc-dde4086df2a9c2a1a88bfc02b19dffe2e5b4e87d.tar.bz2 | |
[Ada] Spurious error on 'Image
gcc/ada/
* sem_attr.adb (Check_Image_Type): Protect against empty
Image_Type.
| -rw-r--r-- | gcc/ada/sem_attr.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index e4537e4..34865f4 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -1466,7 +1466,11 @@ package body Sem_Attr is procedure Check_Image_Type (Image_Type : Entity_Id) is begin + -- Image_Type may be empty in case of another error detected, + -- or if an N_Raise_xxx_Error node is a parent of N. + if Ada_Version < Ada_2020 + and then Present (Image_Type) and then not Is_Scalar_Type (Image_Type) then Error_Msg_Ada_2020_Feature ("nonscalar ''Image", Sloc (P)); |