diff options
| author | Sheri Bernstein <bernstein@adacore.com> | 2023-11-17 22:14:48 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-11-30 11:12:48 +0100 |
| commit | dab7e3430e76c7f23839e112f1c9676383263256 (patch) | |
| tree | f13873f69318c790fbcb3c73512c5262409bb0dc /gcc/alloc-pool.h | |
| parent | ce5572d4b8b391657f050b783f0a65471cd36ad2 (diff) | |
| download | gcc-dab7e3430e76c7f23839e112f1c9676383263256.zip gcc-dab7e3430e76c7f23839e112f1c9676383263256.tar.gz gcc-dab7e3430e76c7f23839e112f1c9676383263256.tar.bz2 | |
ada: Remove GNATcheck violations
Remove GNATcheck violations by refactoring code and also using
pragma Annotate to exempt them.
gcc/ada/
* libgnat/i-cstrin.adb (Free): Rewrite code so there is only one
return, to remove Improper_Returns violation.
(Position_Of_Nul): Add pragma to exempt Improper_Returns
violation.
(To_Chars_Ptr): Likewise.
(Value): Likewise
Diffstat (limited to 'gcc/alloc-pool.h')
0 files changed, 0 insertions, 0 deletions