diff options
Diffstat (limited to 'gcc/ada/sem_ch5.adb')
| -rw-r--r-- | gcc/ada/sem_ch5.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb index 5b34ecc347b..2f8eced6fc9 100644 --- a/gcc/ada/sem_ch5.adb +++ b/gcc/ada/sem_ch5.adb @@ -2867,7 +2867,7 @@ package body Sem_Ch5 is -- we are in formal mode where goto statements are not allowed. if Nkind (Nxt) = N_Label - and then not Restriction_Check_Required (SPARK) + and then not Restriction_Check_Required (SPARK_05) then return; @@ -2924,7 +2924,7 @@ package body Sem_Ch5 is -- Now issue the warning (or error in formal mode) - if Restriction_Check_Required (SPARK) then + if Restriction_Check_Required (SPARK_05) then Check_SPARK_Restriction ("unreachable code is not allowed", Error_Node); else |