[Ada] Suppress spurious CodePeer check on generic actual subprogram
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 3 Dec 2021 14:52:34 +0000 (15:52 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 6 Jan 2022 17:11:32 +0000 (17:11 +0000)
commitf64a1bfaddab7d272224b80560f3a64dae28d6ea
treedd7932a81b66f8797cb9a00a6c428d4ad09edfe0
parent4e5e43e8ca4f059c61bb1fccbf804bbce7375f5b
[Ada] Suppress spurious CodePeer check on generic actual subprogram

gcc/ada/

* treepr.adb (Destroy): Prevent spurious check from CodePeer.
gcc/ada/treepr.adb