diff mbox series

[Ada] Assertion_Policy is not a valid assertion policy

Message ID 20201127091800.GA63222@adacore.com
State New
Headers show
Series [Ada] Assertion_Policy is not a valid assertion policy | expand

Commit Message

Pierre-Marie de Rodat Nov. 27, 2020, 9:18 a.m. UTC 
The following pragma is currently accepted:

  pragma Assertion_Policy (Assertion_Policy => Ignore);

because of what appears to be a typo in a previous commit on this topic.
With this patch the above pragma is rejected as illegal.

Tested on x86_64-pc-linux-gnu, committed on trunk

gcc/ada/

	* sem_prag.adb (Is_Valid_Assertion_Kind): Return False on
	"Assertion_Policy"
diff mbox series

Patch

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -31474,7 +31474,6 @@  package body Sem_Prag is
             --  RM defined
 
               Name_Assert
-            | Name_Assertion_Policy
             | Name_Static_Predicate
             | Name_Dynamic_Predicate
             | Name_Pre