diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-02-03 15:57:28 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-22 10:44:08 +0200 |
| commit | a26f6a6aad719128011bb66f686392b6fca2a823 (patch) | |
| tree | 289dbfef93fed50e628c9bf360081542d73eb166 /gcc/ada/debug.adb | |
| parent | 561b239327842ca4f21bdbb6535e629b907355e4 (diff) | |
| download | gcc-a26f6a6aad719128011bb66f686392b6fca2a823.zip gcc-a26f6a6aad719128011bb66f686392b6fca2a823.tar.gz gcc-a26f6a6aad719128011bb66f686392b6fca2a823.tar.bz2 | |
ada: Remove unreferenced utility routine Is_Actual_Tagged_Parameter
Routine Is_Actual_Tagged_Parameter was added to detect unsupported SPARK
2005 constructs, but this feature was deconstructed in favor of SPARK
2014 and its SPARK_Mode aspects.
gcc/ada/
* sem_util.ads (Is_Actual_Tagged_Parameter): Remove spec.
* sem_util.adb (Is_Actual_Tagged_Parameter): Remove body.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions