projects / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e2df202)
[Ada] Assertion_Policy is not a valid assertion policy
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 3 Nov 2020 18:34:17 +0000 (19:34 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 27 Nov 2020 09:15:53 +0000 (04:15 -0500)
gcc/ada/

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

gcc/ada/sem_prag.adb patch | blob | history

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 5bf9fd38289bd497574b7206935e252fe0775521..02369bc36603413268fba4613286c9dbc6ce985a 100644 (file)
--- 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