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/gprep.ads | |
| 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/gprep.ads')
0 files changed, 0 insertions, 0 deletions