]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eba0e79) | patch
ada: Expand generic formal subprograms with contracts for GNATprove
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 28 Oct 2022 18:28:45 +0000 (20:28 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 14 Nov 2022 13:46:49 +0000 (14:46 +0100)
commitfe02d7d9135083ed157886913b4a83ebc88e987c
tree14b1bce545858b5b7e8ec3b0ee0da9e3b5a80cabtree
parenteba0e79739847cf07d1efd5c1c7bc0ab0d4133d1commit | diff
ada: Expand generic formal subprograms with contracts for GNATprove

In GNATprove mode generic formal subprograms with Pre/Post contracts are
now expanded into wrappers, just like in ordinary compilation.

gcc/ada/

* sem_ch12.adb (Analyze_Associations): Expand wrappers for
GNATprove.
gcc/ada/sem_ch12.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git