diff options
| author | Sheri Bernstein <bernstein@adacore.com> | 2023-07-25 17:16:55 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-08-03 14:07:36 +0200 |
| commit | 4cd4d2733cabc293c1c03a5e4ba919464fe0d359 (patch) | |
| tree | f571085e8b49200f2b80095d29f27478d28f1096 /gcc/ada/libgnat/s-caun64.adb | |
| parent | 65a31e22a81f94df87f8248f08a0308aa3d64431 (diff) | |
| download | gcc-4cd4d2733cabc293c1c03a5e4ba919464fe0d359.zip gcc-4cd4d2733cabc293c1c03a5e4ba919464fe0d359.tar.gz gcc-4cd4d2733cabc293c1c03a5e4ba919464fe0d359.tar.bz2 | |
ada: Add pragma Annotate for GNATcheck exemptions
Exempt the GNATcheck rule "Improper_Returns" with the rationale
"early returns for performance".
gcc/ada/
* libgnat/s-aridou.adb: Add pragma to exempt Improper_Returns.
* libgnat/s-atopri.adb (Lock_Free_Try_Write): Likewise.
* libgnat/s-bitops.adb (Bit_Eq): Likewise.
* libgnat/s-carsi8.adb: Likewise.
* libgnat/s-carun8.adb: Likewise.
* libgnat/s-casi16.adb: Likewise.
* libgnat/s-casi32.adb: Likewise.
* libgnat/s-casi64.adb: Likewise.
* libgnat/s-caun16.adb: Likewise.
* libgnat/s-caun32.adb: Likewise.
* libgnat/s-caun64.adb: Likewise.
* libgnat/s-exponn.adb: Likewise.
* libgnat/s-expont.adb: Likewise.
* libgnat/s-valspe.adb: Likewise.
* libgnat/s-vauspe.adb: Likewise.
Diffstat (limited to 'gcc/ada/libgnat/s-caun64.adb')
| -rw-r--r-- | gcc/ada/libgnat/s-caun64.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/libgnat/s-caun64.adb b/gcc/ada/libgnat/s-caun64.adb index 8a9720f..cca2069 100644 --- a/gcc/ada/libgnat/s-caun64.adb +++ b/gcc/ada/libgnat/s-caun64.adb @@ -52,6 +52,9 @@ package body System.Compare_Array_Unsigned_64 is -- Compare_Array_U64 -- ----------------------- + pragma Annotate (Gnatcheck, Exempt_On, "Improper_Returns", + "early returns for performance"); + function Compare_Array_U64 (Left : System.Address; Right : System.Address; @@ -112,4 +115,5 @@ package body System.Compare_Array_Unsigned_64 is end if; end Compare_Array_U64; + pragma Annotate (Gnatcheck, Exempt_Off, "Improper_Returns"); end System.Compare_Array_Unsigned_64; |