[Ada] Add contracts to Strings libraries

Wed, 10 Jul 2019 02:05:09 -0700 

This patch adds contracts to Ada.Strings libraries, in order to remove
warnings when using these libraries in SPARK.

Tested on x86_64-pc-linux-gnu, committed on trunk

2019-07-10  Joffrey Huguet  <hug...@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.

Attachment: patch.diff.gz
Description: application/gzip

Reply via email to