diff options
Diffstat (limited to 'gcc/ada/sem_ch5.adb')
| -rw-r--r-- | gcc/ada/sem_ch5.adb | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb index 13f0a48..488ea7b 100644 --- a/gcc/ada/sem_ch5.adb +++ b/gcc/ada/sem_ch5.adb @@ -1961,8 +1961,9 @@ package body Sem_Ch5 is end if; end if; - -- A loop parameter cannot be volatile. This check is peformed only when - -- SPARK_Mode is on as it is not a standard Ada legality check. + -- A loop parameter cannot be volatile. This check is peformed only + -- when SPARK_Mode is on as it is not a standard Ada legality check + -- (SPARK RM 7.1.3(6)). -- Not clear whether this applies to element iterators, where the -- cursor is not an explicit entity ??? @@ -1971,8 +1972,7 @@ package body Sem_Ch5 is and then not Of_Present (N) and then Is_SPARK_Volatile_Object (Ent) then - Error_Msg_N - ("loop parameter cannot be volatile (SPARK 'R'M 7.1.3(6))", Ent); + Error_Msg_N ("loop parameter cannot be volatile", Ent); end if; end Analyze_Iterator_Specification; @@ -2613,12 +2613,12 @@ package body Sem_Ch5 is end; end if; - -- A loop parameter cannot be volatile. This check is peformed only when - -- SPARK_Mode is on as it is not a standard Ada legality check. + -- A loop parameter cannot be volatile. This check is peformed only + -- when SPARK_Mode is on as it is not a standard Ada legality check + -- (SPARK RM 7.1.3(6)). if SPARK_Mode = On and then Is_SPARK_Volatile_Object (Id) then - Error_Msg_N - ("loop parameter cannot be volatile (SPARK 'R'M 7.1.3(6))", Id); + Error_Msg_N ("loop parameter cannot be volatile", Id); end if; end Analyze_Loop_Parameter_Specification; |