diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2020-11-25 12:05:47 +0100 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-15 06:41:55 -0500 |
commit | 43852482cafa73da6408120722dcbe7ff6fd3ded (patch) | |
tree | bde6c210dc54638775fa08136f9f8a5b4743f029 | |
parent | 320be7e2b4bcf78028c78b0c46f6757ee0597a6f (diff) | |
download | gcc-43852482cafa73da6408120722dcbe7ff6fd3ded.zip gcc-43852482cafa73da6408120722dcbe7ff6fd3ded.tar.gz gcc-43852482cafa73da6408120722dcbe7ff6fd3ded.tar.bz2 |
[Ada] Complain about missing -gnat2020 switch on iterator_filter
gcc/ada/
* par-ch5.adb (P_Loop_Parameter_Specification): Complain about
missing -gnat2020 switch.
(P_Iterator_Specification): Likewise.
-rw-r--r-- | gcc/ada/par-ch5.adb | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gcc/ada/par-ch5.adb b/gcc/ada/par-ch5.adb index 5b002c4..ce02af7 100644 --- a/gcc/ada/par-ch5.adb +++ b/gcc/ada/par-ch5.adb @@ -1712,9 +1712,9 @@ package body Ch5 is Set_Discrete_Subtype_Definition (Loop_Param_Specification_Node, P_Discrete_Subtype_Definition); - if Ada_Version >= Ada_2020 - and then Token = Tok_When - then + if Token = Tok_When then + Error_Msg_Ada_2020_Feature ("iterator filter", Token_Ptr); + Scan; -- past WHEN Set_Iterator_Filter (Loop_Param_Specification_Node, P_Condition); @@ -1773,9 +1773,9 @@ package body Ch5 is Set_Name (Node1, P_Name); - if Ada_Version >= Ada_2020 - and then Token = Tok_When - then + if Token = Tok_When then + Error_Msg_Ada_2020_Feature ("iterator filter", Token_Ptr); + Scan; -- past WHEN Set_Iterator_Filter (Node1, P_Condition); |