projects / test_jj.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3531f20) | patch
[Ada] Expand controlling function wrapper into expression function
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 1 Dec 2021 16:51:13 +0000 (17:51 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 5 Jan 2022 11:32:38 +0000 (11:32 +0000)
commit2af751b3b8db297e1cc78e3968ca1f714b75c4ea
treef2cbfb8bccabc3589d139fa44a9e996796df613btree | snapshot
parent3531f20f6cff7e43dcde44b200467872a925188fcommit | diff
[Ada] Expand controlling function wrapper into expression function

gcc/ada/

* exp_ch3.adb (Make_Controlling_Function_Wrappers): For
GNATprove build the wrapper as an expression function.
gcc/ada/exp_ch3.adb diff | blob | history