diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-11-03 19:34:17 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-27 04:15:53 -0500 |
| commit | 3e9238fa6435af6361fdb807525de75e1b306263 (patch) | |
| tree | 22fd9b5a9142a3b65aa1245b3938c5408d61b196 | |
| parent | e2df202345674e28d19df035f5a206fadb6d8f8c (diff) | |
| download | gcc-3e9238fa6435af6361fdb807525de75e1b306263.zip gcc-3e9238fa6435af6361fdb807525de75e1b306263.tar.gz gcc-3e9238fa6435af6361fdb807525de75e1b306263.tar.bz2 | |
[Ada] Assertion_Policy is not a valid assertion policy
gcc/ada/
* sem_prag.adb (Is_Valid_Assertion_Kind): Return False on
"Assertion_Policy"
| -rw-r--r-- | gcc/ada/sem_prag.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 5bf9fd3..02369bc 100644 --- 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 |