diff options
| author | Joffrey Huguet <huguet@adacore.com> | 2020-11-12 10:40:16 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-16 08:01:04 -0500 |
| commit | 571d3fb1f40fa85c769a7dbefd84da6c6e99665d (patch) | |
| tree | 87abf93fe1d3f06c3a4b7e51e6c320e4e184a071 /gcc/cppbuiltin.h | |
| parent | d1d0c4c80058923fbf681d1d80ff90eeb7883949 (diff) | |
| download | gcc-571d3fb1f40fa85c769a7dbefd84da6c6e99665d.zip gcc-571d3fb1f40fa85c769a7dbefd84da6c6e99665d.tar.gz gcc-571d3fb1f40fa85c769a7dbefd84da6c6e99665d.tar.bz2 | |
[Ada] Add contracts to Ada.Strings.Fixed
gcc/ada/
* libgnat/a-strfix.ads: Add postconditions and contract cases to
subprograms.
Diffstat (limited to 'gcc/cppbuiltin.h')
0 files changed, 0 insertions, 0 deletions