mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-19 01:40:39 +08:00
Code Issues Packages Projects Releases Wiki Activity

[Ada] Assertion_Policy is not a valid assertion policy

Browse Source 
gcc/ada/

	* sem_prag.adb (Is_Valid_Assertion_Kind): Return False on
	"Assertion_Policy"
This commit is contained in:
Piotr Trojanek 2020-11-03 19:34:17 +01:00 committed by Pierre-Marie de Rodat
parent e2df202345
commit 3e9238fa64
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
gcc/ada/sem_prag.adb
View File

@ -31474,7 +31474,6 @@ package body Sem_Prag is
-- RM defined
Name_Assert
| Name_Assertion_Policy
| Name_Static_Predicate
| Name_Dynamic_Predicate
| Name_Pre