diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-07-26 22:47:58 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-05 09:21:05 +0200 |
| commit | 47a03f3e45f78ea1837b07468bb03348137e0df2 (patch) | |
| tree | fe350d995b3608190f8ec62989c802fbe7023e1e /libcpp | |
| parent | 2237f94d32c1116d221b2818c04d1db4508665af (diff) | |
| download | gcc-47a03f3e45f78ea1837b07468bb03348137e0df2.zip gcc-47a03f3e45f78ea1837b07468bb03348137e0df2.tar.gz gcc-47a03f3e45f78ea1837b07468bb03348137e0df2.tar.bz2 | |
[Ada] Remove no longer referenced GNATprove utility routine for itypes
Code cleanup related to itypes for Ada 2022 null array aggregates.
Remove routine that was added in 2011 but is not referenced by
GNATprove since 2015.
gcc/ada/
* sem_util.ads (Itype_Has_Declaration): Remove spec.
* sem_util.adb (Itype_Has_Declaration): Remove body.
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions