diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-10-09 14:03:38 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-25 08:22:23 -0500 |
| commit | 868268a8ecd1961870513ad2c49df7e1fecd92b8 (patch) | |
| tree | 3c2249b59697ea4137b00e7dcd0882a04fbbf13a /gcc | |
| parent | 90cb252f5f7f3312c6d86ba274a11fbb885cb4f4 (diff) | |
| download | gcc-868268a8ecd1961870513ad2c49df7e1fecd92b8.zip gcc-868268a8ecd1961870513ad2c49df7e1fecd92b8.tar.gz gcc-868268a8ecd1961870513ad2c49df7e1fecd92b8.tar.bz2 | |
[Ada] Reuse Is_Named_Number where possible
gcc/ada/
* sem_attr.adb, sem_prag.adb: Use Is_Named_Number.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_attr.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/sem_prag.adb | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 0fdc830..8d8903a 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -6636,7 +6636,7 @@ package body Sem_Attr is Check_E0; if not Is_Entity_Name (P) - or else Ekind (Entity (P)) not in Named_Kind + or else not Is_Named_Number (Entity (P)) then Error_Attr_P ("prefix for % attribute must be named number"); diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 2ccaaa2..5a2dfff 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -2383,7 +2383,7 @@ package body Sem_Prag is ("global item must denote object, state or current " & "instance of concurrent type", Item); - if Ekind (Item_Id) in Named_Kind then + if Is_Named_Number (Item_Id) then SPARK_Msg_NE ("\named number & is not an object", Item, Item_Id); end if; |