diff options
| author | Joffrey Huguet <huguet@adacore.com> | 2022-05-11 17:16:05 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-06-02 09:06:39 +0000 |
| commit | d276374355196abe35e162795da94c112ee13b80 (patch) | |
| tree | 72ab8b2facdf5a40edd6e66ff4884034c0c10e3d /gcc/ctfout.cc | |
| parent | 2689914091d4c552d775338215a95a6fe10945f9 (diff) | |
| download | gcc-d276374355196abe35e162795da94c112ee13b80.zip gcc-d276374355196abe35e162795da94c112ee13b80.tar.gz gcc-d276374355196abe35e162795da94c112ee13b80.tar.bz2 | |
[Ada] Complete contracts of Interfaces.C.Strings subprograms
This patch adds preconditions to Update procedures, to protect from
Update_Error propagations.
gcc/ada/
* libgnat/i-cstrin.ads (Update): Add precondition.
Diffstat (limited to 'gcc/ctfout.cc')
0 files changed, 0 insertions, 0 deletions