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:
612681d
)
[Ada] Remove name constant used by GNATprove but not by GNAT
author
Piotr Trojanek
<trojanek@adacore.com>
Thu, 6 Jan 2022 17:33:26 +0000
(18:33 +0100)
committer
Pierre-Marie de Rodat
<derodat@adacore.com>
Tue, 11 Jan 2022 13:24:49 +0000
(13:24 +0000)
gcc/ada/
* snames.ads-tmpl: Restore Name_Rpc.
gcc/ada/snames.ads-tmpl
patch
|
blob
|
history
diff --git
a/gcc/ada/snames.ads-tmpl
b/gcc/ada/snames.ads-tmpl
index
f02bcfb
..
fa7ac8a
100644
(file)
--- a/
gcc/ada/snames.ads-tmpl
+++ b/
gcc/ada/snames.ads-tmpl
@@
-336,6
+336,7
@@
package Snames is
Name_uCall : constant Name_Id := N + $;
Name_RCI_Name : constant Name_Id := N + $;
Name_Receiver : constant Name_Id := N + $;
+ Name_Rpc : constant Name_Id := N + $;
Name_Subp_Id : constant Name_Id := N + $;
Name_Operation : constant Name_Id := N + $;
Name_Argument : constant Name_Id := N + $;