diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-03-24 00:04:11 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-12 04:29:22 -0400 |
| commit | 019e90494bd07f71380547ad8c2c70826aaf88f9 (patch) | |
| tree | ca23e1b5b3a6b428cdae26fc46d831cfcede5fa3 /gcc/ada/contracts.adb | |
| parent | c0cecc953a4a6b72ac9cf901707d98ab462e501e (diff) | |
| download | gcc-019e90494bd07f71380547ad8c2c70826aaf88f9.zip gcc-019e90494bd07f71380547ad8c2c70826aaf88f9.tar.gz gcc-019e90494bd07f71380547ad8c2c70826aaf88f9.tar.bz2 | |
[Ada] Reuse Is_Entry where possible
2020-06-12 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* contracts.adb, einfo.adb, sem_ch4.adb, sem_ch6.adb,
sem_res.adb, sem_util.adb: Replace Ekind_In with Is_Entry.
Diffstat (limited to 'gcc/ada/contracts.adb')
| -rw-r--r-- | gcc/ada/contracts.adb | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index 42f36d5..300bbf9 100644 --- a/gcc/ada/contracts.adb +++ b/gcc/ada/contracts.adb @@ -562,8 +562,7 @@ package body Contracts is -- Save the SPARK_Mode-related data to restore on exit Skip_Assert_Exprs : constant Boolean := - Ekind_In (Subp_Id, E_Entry, E_Entry_Family) - and then not GNATprove_Mode; + Is_Entry (Subp_Id) and then not GNATprove_Mode; Depends : Node_Id := Empty; Global : Node_Id := Empty; |