diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2021-12-01 17:51:13 +0100 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-01-05 11:32:38 +0000 |
commit | 2af751b3b8db297e1cc78e3968ca1f714b75c4ea (patch) | |
tree | f2cbfb8bccabc3589d139fa44a9e996796df613b /gcc/gencodes.c | |
parent | 3531f20f6cff7e43dcde44b200467872a925188f (diff) | |
download | gcc-2af751b3b8db297e1cc78e3968ca1f714b75c4ea.zip gcc-2af751b3b8db297e1cc78e3968ca1f714b75c4ea.tar.gz gcc-2af751b3b8db297e1cc78e3968ca1f714b75c4ea.tar.bz2 |
[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.
Diffstat (limited to 'gcc/gencodes.c')
0 files changed, 0 insertions, 0 deletions