diff options
| author | Sheri Bernstein <bernstein@adacore.com> | 2023-12-01 01:14:22 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-12-19 15:27:50 +0100 |
| commit | 8ce9496f0e18f2cd1a0b86d18c534bd04fbacc31 (patch) | |
| tree | d629ce7147f64c1f821a235b6c6e01f5bdcbc06f /gcc/btfout.cc | |
| parent | 23508d3dc673de88af9a43d34d723863f1edd61d (diff) | |
| download | gcc-8ce9496f0e18f2cd1a0b86d18c534bd04fbacc31.zip gcc-8ce9496f0e18f2cd1a0b86d18c534bd04fbacc31.tar.gz gcc-8ce9496f0e18f2cd1a0b86d18c534bd04fbacc31.tar.bz2 | |
ada: Remove GNATcheck violations
Remove GNATcheck violations by refactoring code and also using
pragma Annotate to exempt them.
gcc/ada/
* libgnat/a-comlin.adb (Argument_Count): Rewrite code so there is
only one return, to remove Improper_Returns violation.
(Command_Name): Add pragma to exempt Improper_Returns violation.
Diffstat (limited to 'gcc/btfout.cc')
0 files changed, 0 insertions, 0 deletions