]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5987f43) | patch
[Ada] Fix preconditions of Interfaces.C.Strings
authorJoffrey Huguet <huguet@adacore.com>
Thu, 12 May 2022 09:53:54 +0000 (11:53 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 2 Jun 2022 09:06:40 +0000 (09:06 +0000)
commitcfd2262668862167cbe102ffbe87f127599be7a8
tree33873ae802ab59d0ddc0699acd580e62209357cdtree
parent5987f43412766ef5fc7cd56b4a2cb6a44a3940bacommit | diff
[Ada] Fix preconditions of Interfaces.C.Strings

Preconditions of Update procedures were always true when Offset was 0.
The changes enable to protect from Update_Error when Offset is 0.

gcc/ada/

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