diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-04-30 12:02:35 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-07-05 13:09:15 +0000 |
| commit | 6cf7cc8ccf3a7f34c1772f8da11a1c127fee3363 (patch) | |
| tree | e1f64c1bfa938aa6cd263baffb07b72a64895eb4 /gcc/ada/sem_ch6.adb | |
| parent | 0700922ea57258870047f210c3569b5deed1bf82 (diff) | |
| download | gcc-6cf7cc8ccf3a7f34c1772f8da11a1c127fee3363.zip gcc-6cf7cc8ccf3a7f34c1772f8da11a1c127fee3363.tar.gz gcc-6cf7cc8ccf3a7f34c1772f8da11a1c127fee3363.tar.bz2 | |
[Ada] Simplify and reuse Is_Concurrent_Interface
gcc/ada/
* exp_ch3.adb (Stream_Operation_OK): Reuse
Is_Concurrent_Interface.
* sem_ch3.adb (Analyze_Interface_Declaration,
Build_Derived_Record_Type): Likewise.
* sem_ch6.adb (Check_Limited_Return): Likewise.
* sem_util.adb (Is_Concurrent_Interface): Don't call
Is_Interface because each of the Is_Protected_Interface,
Is_Synchronized_Interface and Is_Task_Interface calls it anyway.
Diffstat (limited to 'gcc/ada/sem_ch6.adb')
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 3697aba..4b58d59 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -6999,10 +6999,7 @@ package body Sem_Ch6 is -- A limited interface that is not immutably limited is OK if Is_Limited_Interface (R_Type) - and then - not (Is_Task_Interface (R_Type) - or else Is_Protected_Interface (R_Type) - or else Is_Synchronized_Interface (R_Type)) + and then not Is_Concurrent_Interface (R_Type) then null; |