diff options
| author | Sheri Bernstein <bernstein@adacore.com> | 2023-10-06 03:36:49 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-10-19 16:35:22 +0200 |
| commit | 0f3c6348403ad1f6d077f6a09d914f5ec369f784 (patch) | |
| tree | 0df63ac627d20fb2963b7cb65909f6efc356fb84 /libgcc | |
| parent | 1555d18143d7e261eed38188f7511f3075a0f3a5 (diff) | |
| download | gcc-0f3c6348403ad1f6d077f6a09d914f5ec369f784.zip gcc-0f3c6348403ad1f6d077f6a09d914f5ec369f784.tar.gz gcc-0f3c6348403ad1f6d077f6a09d914f5ec369f784.tar.bz2 | |
ada: Add pragma Annotate for GNATcheck exemptions
Exempt the GNATcheck rule "Unassigned_OUT_Parameters"
with the rationale "the OUT parameter is assigned by component".
gcc/ada/
* libgnat/s-imguti.adb (Set_Decimal_Digits): Add pragma to exempt
Unassigned_OUT_Parameters.
(Set_Floating_Invalid_Value): Likewise
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions