diff options
| author | Sheri Bernstein <bernstein@adacore.com> | 2023-08-03 12:38:53 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-09-05 13:05:12 +0200 |
| commit | f9a68b454743fffe07fb51ed735510c2178ba14c (patch) | |
| tree | 6b173771600c10ae81c9e30cbde41e7ff7923d2d /gcc/ada/accessibility.adb | |
| parent | 17fcc7df64b5b6574e8dd24095a0f146382e62c3 (diff) | |
| download | gcc-f9a68b454743fffe07fb51ed735510c2178ba14c.zip gcc-f9a68b454743fffe07fb51ed735510c2178ba14c.tar.gz gcc-f9a68b454743fffe07fb51ed735510c2178ba14c.tar.bz2 | |
ada: Remove GNATcheck violations
Use pragma Annotate to exempt GNATcheck violations that are related
to proof code. Specifically, exempt rules "Metrics_LSLOC" and
"Metrics_Cyclomatic_Complexity" whose limits are exceeded due to
proof code, and exempt rule "Discriminated_Records" for a variant record
that is only used in proof code.
gcc/ada/
* libgnat/s-aridou.adb: Add pragma to exempt Metrics_LSLOC.
(Double_Divide): Add pragma to exempt
Metrics_Cyclomatic_Complexity.
(Scaled_Divide): Likewise.
* libgnat/s-vauspe.ads (Uns_Option): Add pragma to exempt
Discriminated_Records.
Diffstat (limited to 'gcc/ada/accessibility.adb')
0 files changed, 0 insertions, 0 deletions