diff options
| author | Liaiss Merzougue <merzougue@adacore.com> | 2021-04-02 09:29:03 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-12-06 14:58:47 +0100 |
| commit | c690f116b64be820cd47a554bffeadd9907fed2a (patch) | |
| tree | aaae5513794d031e8c3b754b8bcbb8565c971ce7 /gcc/c | |
| parent | ed34c3bc3428bce663d42e9eeda10bc0c5d56d5c (diff) | |
| download | gcc-c690f116b64be820cd47a554bffeadd9907fed2a.zip gcc-c690f116b64be820cd47a554bffeadd9907fed2a.tar.gz gcc-c690f116b64be820cd47a554bffeadd9907fed2a.tar.bz2 | |
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.
Diffstat (limited to 'gcc/c')
0 files changed, 0 insertions, 0 deletions