projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fcb810) | patch
[Ada] Update comment for processing of pragma Assertion_Policy
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 5 Nov 2020 09:14:36 +0000 (10:14 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 14 Dec 2020 15:51:48 +0000 (10:51 -0500)
commitae8c56262d635eefdb32fc4e1b8d896453348c00
tree600aa21c84b2ae68dfc685f122c01af3997aa3e2tree
parent3fcb8100aac71b8a109a4f0ceaabd6cfd650b668commit | diff
[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.
gcc/ada/sa_messages.ads diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history