projects
/
platform
/
upstream
/
gcc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c63bb4f
)
[Ada] Fix reference to SPARK RM rule in comment
author
Piotr Trojanek
<trojanek@adacore.com>
Tue, 22 Dec 2020 00:01:11 +0000
(
01:01
+0100)
committer
Pierre-Marie de Rodat
<derodat@adacore.com>
Tue, 4 May 2021 09:17:30 +0000
(
05:17
-0400)
gcc/ada/
* sem_prag.adb (Check_Mode_Restriction_In_Enclosing_Context):
Fix reference to SPARK RM rule number.
gcc/ada/sem_prag.adb
patch
|
blob
|
history
diff --git
a/gcc/ada/sem_prag.adb
b/gcc/ada/sem_prag.adb
index
eaeceb7
..
3009421
100644
(file)
--- a/
gcc/ada/sem_prag.adb
+++ b/
gcc/ada/sem_prag.adb
@@
-2650,7
+2650,7
@@
package body Sem_Prag is
-- The item is classified as In_Out or Output but appears as
-- an Input in an enclosing subprogram or task unit (SPARK
- -- RM 6.1.4(1
2
)).
+ -- RM 6.1.4(1
3
)).
if Appears_In (Inputs, Item_Id)
and then not Appears_In (Outputs, Item_Id)