| commit | f02be8fc6e1d9679d507faa7fd72155addc69ab1 | |
| author | Yannick Moy <moy@adacore.com> | |
| Thu, 20 Apr 2023 10:15:16 +0000 (20 12:15 +0200) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 13 Jun 2023 07:31:43 +0000 (13 09:31 +0200) | ||
| tree | a8fb14e82497a4cfb3cf4ee74b41b97c30b37cb1 | treesnapshot (tar.gz zip) |
| parent | be3a8f913fbef0231b64143e1eefdc8e45fe391e | commitdiff |
ada: Use ghost predicate in standard library
In preparation for attribute Initialized to become ghost, use aspect
Ghost_Predicate instead of Predicate in unit Ada.Strings.Superbounded
of the standard library.
gcc/ada/
* libgnat/a-strsup.ads: Change predicate aspect.
* sem_ch13.adb (Add_Predicate): Fix for first predicate.
In preparation for attribute Initialized to become ghost, use aspect
Ghost_Predicate instead of Predicate in unit Ada.Strings.Superbounded
of the standard library.
gcc/ada/
* libgnat/a-strsup.ads: Change predicate aspect.
* sem_ch13.adb (Add_Predicate): Fix for first predicate.
| gcc/ada/libgnat/a-strsup.ads | diffblobblamehistory | |
| gcc/ada/sem_ch13.adb | diffblobblamehistory |