diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-11-24 23:21:07 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-01-05 11:32:37 +0000 |
| commit | 3531f20f6cff7e43dcde44b200467872a925188f (patch) | |
| tree | f3bf8a89d0eb7a63e034bd31930339f45357d6b9 /gcc/tree-object-size.c | |
| parent | 48b8a564c9565635db0a93b9b1e6a31d38547981 (diff) | |
| download | gcc-3531f20f6cff7e43dcde44b200467872a925188f.zip gcc-3531f20f6cff7e43dcde44b200467872a925188f.tar.gz gcc-3531f20f6cff7e43dcde44b200467872a925188f.tar.bz2 | |
[Ada] Expand controlling functions wrappers in GNATprove mode
gcc/ada/
* exp_ch3.ads (Make_Controlling_Function_Wrappers): Move
declaration from body to spec, so it can be called by
SPARK-specific expansion.
* exp_ch3.adb (Make_Controlling_Function_Wrappers): Likewise.
* exp_spark.adb (SPARK_Freeze_Type): Enable expansion of
wrappers for function with controlling result types.
Diffstat (limited to 'gcc/tree-object-size.c')
0 files changed, 0 insertions, 0 deletions