projects
/
test_jj.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4e5e43e
)
[Ada] Suppress spurious CodePeer check on generic actual subprogram
author
Piotr Trojanek
<trojanek@adacore.com>
Fri, 3 Dec 2021 14:52:34 +0000
(15:52 +0100)
committer
Pierre-Marie de Rodat
<derodat@adacore.com>
Thu, 6 Jan 2022 17:11:32 +0000
(17:11 +0000)
gcc/ada/
* treepr.adb (Destroy): Prevent spurious check from CodePeer.
gcc/ada/treepr.adb
patch
|
blob
|
history
diff --git
a/gcc/ada/treepr.adb
b/gcc/ada/treepr.adb
index
b6a6525
..
c1e71b1
100644
(file)
--- a/
gcc/ada/treepr.adb
+++ b/
gcc/ada/treepr.adb
@@
-84,6
+84,8
@@
package body Treepr is
-- Simple Hash function for Node_Ids, List_Ids and Elist_Ids
procedure Destroy (Value : in out Nat) is null;
+ pragma Annotate (CodePeer, False_Positive, "unassigned parameter",
+ "in out parameter is required to instantiate generic");
-- Dummy routine for destroing hashed values
package Serial_Numbers is new Dynamic_Hash_Tables