]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3da93d) | patch
ada: Fix precondition in Interfaces.C.Strings
authorJoffrey Huguet <huguet@adacore.com>
Wed, 6 Dec 2023 11:04:51 +0000 (12:04 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 9 Jan 2024 13:13:30 +0000 (14:13 +0100)
commitc1ebec34788353bf126a1df1c75e1ee2110c8795
tree1150188659b6e33be37ae28ee8e40c0ff9f67c12tree
parente3da93d988c0bb5da0eb4f6cdb75a63983ea2b33commit | diff
ada: Fix precondition in Interfaces.C.Strings

The precondition of both Update procedures in Interfaces.C.Strings were
incorrect. This patch fixes this.

gcc/ada/

* libgnat/i-cstrin.ads (Update): Fix precondition.
gcc/ada/libgnat/i-cstrin.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git