diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2018-07-16 14:10:42 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-16 14:10:42 +0000 |
| commit | 94b105618c3a42222a3ffa12fb3f97924ba972b0 (patch) | |
| tree | 39333cb727429f65547206f1d032f9004269bbd0 /gcc | |
| parent | 192d0b1583c01fd783d46526e5be1f58eaf340c5 (diff) | |
| download | gcc-94b105618c3a42222a3ffa12fb3f97924ba972b0.zip gcc-94b105618c3a42222a3ffa12fb3f97924ba972b0.tar.gz gcc-94b105618c3a42222a3ffa12fb3f97924ba972b0.tar.bz2 | |
[Ada] Adjust reference to renumbered SPARK RM rule
Rules in SPARK RM 7.1.3 were renumbered when adding support for tasking,
but references in the comments were not updated. Now fixed.
2018-07-16 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_ch3.adb (Process_Discriminants): Adjust reference to the SPARM RM
rule.
From-SVN: r262710
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 975d807..0630bcf 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2018-07-16 Piotr Trojanek <trojanek@adacore.com> + + * sem_ch3.adb (Process_Discriminants): Adjust reference to the SPARM RM + rule. + 2018-07-16 Arnaud Charlet <charlet@adacore.com> * adaint.c (__gnat_set_file_time_name): Code clean up. diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index b9186d7..43055e6 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -20125,7 +20125,7 @@ package body Sem_Ch3 is end if; end if; - -- A discriminant cannot be effectively volatile (SPARK RM 7.1.3(6)). + -- A discriminant cannot be effectively volatile (SPARK RM 7.1.3(4)). -- This check is relevant only when SPARK_Mode is on as it is not a -- standard Ada legality rule. |