diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-11-05 10:14:36 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-14 10:51:48 -0500 |
| commit | ae8c56262d635eefdb32fc4e1b8d896453348c00 (patch) | |
| tree | 600aa21c84b2ae68dfc685f122c01af3997aa3e2 /gcc/gcov.c | |
| parent | 3fcb8100aac71b8a109a4f0ceaabd6cfd650b668 (diff) | |
| download | gcc-ae8c56262d635eefdb32fc4e1b8d896453348c00.zip gcc-ae8c56262d635eefdb32fc4e1b8d896453348c00.tar.gz gcc-ae8c56262d635eefdb32fc4e1b8d896453348c00.tar.bz2 | |
[Ada] Update comment for processing of pragma Assertion_Policy
gcc/ada/
* sa_messages.ads: Reference Subprogram_Variant in the comment
for Assertion_Check.
* sem_prag.adb (Analyze_Pragma): Add Subprogram_Variant as an
ID_ASSERTION_KIND; move Default_Initial_Condition as an
RM_ASSERTION_KIND.
Diffstat (limited to 'gcc/gcov.c')
0 files changed, 0 insertions, 0 deletions