| commit | a26f6a6aad719128011bb66f686392b6fca2a823 | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Fri, 3 Feb 2023 14:57:28 +0000 (3 15:57 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Mon, 22 May 2023 08:44:08 +0000 (22 10:44 +0200) | ||
| tree | 289dbfef93fed50e628c9bf360081542d73eb166 | treesnapshot (tar.gz zip) |
| parent | 561b239327842ca4f21bdbb6535e629b907355e4 | commitdiff |
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.
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.
| gcc/ada/sem_util.adb | diffblobblamehistory | |
| gcc/ada/sem_util.ads | diffblobblamehistory |