diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-10-26 12:15:34 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-26 03:39:48 -0500 |
| commit | a160b4e046d11b51cbedb936b13d15e3d0b19f7e (patch) | |
| tree | 7d57e0f485e4ef5287dd7156f3126af10ce60abe /gcc/ada/lib-xref-spark_specific.adb | |
| parent | 416f9a2726513adc796ca7ed2145fca54da9fd1d (diff) | |
| download | gcc-a160b4e046d11b51cbedb936b13d15e3d0b19f7e.zip gcc-a160b4e046d11b51cbedb936b13d15e3d0b19f7e.tar.gz gcc-a160b4e046d11b51cbedb936b13d15e3d0b19f7e.tar.bz2 | |
[Ada] Reuse Is_Concurrent_Type when detecting protected or task types
gcc/ada/
* exp_ch13.adb, exp_ch9.adb, sem_ch8.adb, sem_util.adb: Replace
a combination of Is_Protected_Type and Is_Task_Type by
Is_Concurrent_Type.
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
0 files changed, 0 insertions, 0 deletions