| commit | 0f3c6348403ad1f6d077f6a09d914f5ec369f784 | |
| author | Sheri Bernstein <bernstein@adacore.com> | |
| Fri, 6 Oct 2023 03:36:49 +0000 (6 03:36 +0000) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Thu, 19 Oct 2023 14:35:22 +0000 (19 16:35 +0200) | ||
| tree | 0df63ac627d20fb2963b7cb65909f6efc356fb84 | treesnapshot (tar.gz zip) |
| parent | 1555d18143d7e261eed38188f7511f3075a0f3a5 | commitdiff |
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
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
| gcc/ada/libgnat/s-imguti.adb | diffblobblamehistory |