diff options
| author | Joffrey Huguet <huguet@adacore.com> | 2019-07-10 09:01:28 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-10 09:01:28 +0000 |
| commit | 0b6694b4e41d394df12d159c319be4b1326745ca (patch) | |
| tree | b6b1671197753eafa5230593976443fa82782351 /gcc/ada/sem_spark.adb | |
| parent | ef8a3d9ef0ace5479d42f7a5382393b5a1a79d96 (diff) | |
| download | gcc-0b6694b4e41d394df12d159c319be4b1326745ca.zip gcc-0b6694b4e41d394df12d159c319be4b1326745ca.tar.gz gcc-0b6694b4e41d394df12d159c319be4b1326745ca.tar.bz2 | |
[Ada] Add contracts to Strings libraries
This patch adds contracts to Ada.Strings libraries, in order to remove
warnings when using these libraries in SPARK.
2019-07-10 Joffrey Huguet <huguet@adacore.com>
gcc/ada/
* libgnat/a-strbou.ads, libgnat/a-strfix.ads,
libgnat/a-strunb.ads, libgnat/a-strunb__shared.ads: Add global
contracts, contract cases, preconditions and postconditions to
procedures and functions.
From-SVN: r273334
Diffstat (limited to 'gcc/ada/sem_spark.adb')
0 files changed, 0 insertions, 0 deletions