diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-11-14 16:12:04 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-30 09:16:20 -0500 |
| commit | c1a69c98717d9c63ffde67746c56243d530c9109 (patch) | |
| tree | 6767fb0010c1feca3ca5dc51413a51a2111d56e5 /gcc/ada/gcc-interface/trans.c | |
| parent | f7937111e8c8cfaf5ea79d97c65d6b6dc29b261f (diff) | |
| download | gcc-c1a69c98717d9c63ffde67746c56243d530c9109.zip gcc-c1a69c98717d9c63ffde67746c56243d530c9109.tar.gz gcc-c1a69c98717d9c63ffde67746c56243d530c9109.tar.bz2 | |
[Ada] Fix internal error on extended return and fixed-point result
gcc/ada/
* contracts.adb (Check_Type_Or_Object_External_Properties): Make
sure to exclude all return objects from the SPARK legality rule
on effectively volatile variables.
* exp_ch6.adb (Expand_N_Extended_Return_Statement): Use the fast
track only when the declaration of the return object can be
dropped.
Diffstat (limited to 'gcc/ada/gcc-interface/trans.c')
0 files changed, 0 insertions, 0 deletions