]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d43fbe0) | patch
[Ada] Split spec and body of expression function with Subprogram_Variant
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 22 Nov 2021 20:12:41 +0000 (21:12 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 2 Dec 2021 16:26:23 +0000 (16:26 +0000)
commita83c4eea27122fe2f90ff35d813ca34e8f542387
tree80507ed9e3ff54d38edad511842fa7f673cc47adtree
parentd43fbe0151b8efcb452970a92c31f52d64d0003ecommit | diff
[Ada] Split spec and body of expression function with Subprogram_Variant

gcc/ada/

* libgnat/s-valuti.ads (Scan_Natural_Ghost): Split body from
spec and put it into private part, so that GNATprove can pick it
both when analysing the unit and its clients.
gcc/ada/libgnat/s-valuti.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git