diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-04-03 17:23:03 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-16 09:07:17 -0400 |
| commit | a1447c2a842b4954ed57d0b17f43959003dedd01 (patch) | |
| tree | 003b92253afc5e75100cfe33b2deadcd82907eac | |
| parent | 96bd3460c906cffa40a4f0ca92adea6ad79d7059 (diff) | |
| download | gcc-a1447c2a842b4954ed57d0b17f43959003dedd01.zip gcc-a1447c2a842b4954ed57d0b17f43959003dedd01.tar.gz gcc-a1447c2a842b4954ed57d0b17f43959003dedd01.tar.bz2 | |
[Ada] Reuse Is_Object where possible
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* einfo.adb, exp_spark.adb, exp_util.adb, sem_eval.adb: Replace
"Ekind ... in Object_Kind" with "Is_Object (...)".
| -rw-r--r-- | gcc/ada/einfo.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/exp_spark.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/exp_util.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/sem_eval.adb | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index 4b66431..cf3ba20 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -997,7 +997,7 @@ package body Einfo is function Current_Value (Id : E) return N is begin - pragma Assert (Ekind (Id) in Object_Kind); + pragma Assert (Is_Object (Id)); return Node9 (Id); end Current_Value; diff --git a/gcc/ada/exp_spark.adb b/gcc/ada/exp_spark.adb index b8b303c..207bb06 100644 --- a/gcc/ada/exp_spark.adb +++ b/gcc/ada/exp_spark.adb @@ -434,7 +434,7 @@ package body Exp_SPARK is begin -- Replace a reference to a renaming with the actual renamed object - if Ekind (Obj_Id) in Object_Kind then + if Is_Object (Obj_Id) then Ren := Renamed_Object (Obj_Id); if Present (Ren) then diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index d48db56..537f0fc 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -6396,7 +6396,7 @@ package body Exp_Util is -- Immediate return, nothing doing, if this is not an object - if Ekind (Ent) not in Object_Kind then + if not Is_Object (Ent) then return; end if; diff --git a/gcc/ada/sem_eval.adb b/gcc/ada/sem_eval.adb index 74eebb8..077e59d 100644 --- a/gcc/ada/sem_eval.adb +++ b/gcc/ada/sem_eval.adb @@ -1001,7 +1001,7 @@ package body Sem_Eval is (Is_Known_Valid (Entity (Opnd)) or else Ekind (Entity (Opnd)) = E_In_Parameter or else - (Ekind (Entity (Opnd)) in Object_Kind + (Is_Object (Entity (Opnd)) and then Present (Current_Value (Entity (Opnd)))))) or else Is_OK_Static_Expression (Opnd); end Is_Known_Valid_Operand; |