[Ada] Justify false positive message from CodePeer analysis of GNAT
authorYannick Moy <moy@adacore.com>
Fri, 3 Dec 2021 15:23:01 +0000 (16:23 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 6 Jan 2022 17:11:32 +0000 (17:11 +0000)
commit4e5e43e8ca4f059c61bb1fccbf804bbce7375f5b
treef459c871617ad5a7cdf63de8c3937e7c9f1a7db4
parent4458909a806825bc9a74b69e14c7fb88a551b800
[Ada] Justify false positive message from CodePeer analysis of GNAT

gcc/ada/

* libgnat/s-exponu.adb (Exponu): Add annotation.
gcc/ada/libgnat/s-exponu.adb