]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9560e84) | patch
[Ada] Clarify parts of Ada.Strings.Unbounded in SPARK or not
authorYannick Moy <moy@adacore.com>
Mon, 26 Jul 2021 14:56:27 +0000 (16:56 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 22 Sep 2021 15:01:49 +0000 (15:01 +0000)
commit490a987e05da85710ca68f4f30948ec904d745e9
tree1eceff768bae55f7c45e7bb552a21ea73fac603ctree
parent9560e8430de8a427504183c1b3dd7d781653fe25commit | diff
[Ada] Clarify parts of Ada.Strings.Unbounded in SPARK or not

gcc/ada/

* libgnat/a-strunb.ads: Mark package in SPARK with private part
not in SPARK.
(Free): Mark not in SPARK.
gcc/ada/libgnat/a-strunb.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git