]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2689914) | patch
[Ada] Complete contracts of Interfaces.C.Strings subprograms
authorJoffrey Huguet <huguet@adacore.com>
Wed, 11 May 2022 15:16:05 +0000 (17:16 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 2 Jun 2022 09:06:39 +0000 (09:06 +0000)
commitd276374355196abe35e162795da94c112ee13b80
tree72ab8b2facdf5a40edd6e66ff4884034c0c10e3dtree
parent2689914091d4c552d775338215a95a6fe10945f9commit | diff
[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.
gcc/ada/libgnat/i-cstrin.ads diff | blob | blame | history
GNU Compiler Collection
This page took 0.055169 seconds and 5 git commands to generate.