ada: Add Codepeer Exemption + simplify TO_C code.
authorLiaiss Merzougue <merzougue@adacore.com>
Fri, 2 Apr 2021 09:29:03 +0000 (09:29 +0000)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 6 Dec 2022 13:58:47 +0000 (14:58 +0100)
commitc690f116b64be820cd47a554bffeadd9907fed2a
treeaaae5513794d031e8c3b754b8bcbb8565c971ce7
parented34c3bc3428bce663d42e9eeda10bc0c5d56d5c
ada: Add Codepeer Exemption + simplify TO_C code.

This patch simplify the TO_C code to have a single branch for
raising exception. Furthermore, adding pragma annotate for codepeer
to ignore uninitialized value since this is caused because we have
input check before the initialization.

gcc/ada/

* libgnat/i-c.adb (To_C): Simplify code for having a single
exception raise. Add pragma annotate about uninitialized value
which happen only on exception raising.
gcc/ada/libgnat/i-c.adb