diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2017-12-19 08:43:49 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-12-19 09:43:49 +0100 |
| commit | c994e8b06ae255488d1dfc327cc48ebfda85761c (patch) | |
| tree | 58351ff813f669141cb096e7cb3a773f3b94a9b0 /gcc/ada | |
| parent | b21c3149789c833bd454f9bdafbc90cbdc58d526 (diff) | |
| download | gcc-c994e8b06ae255488d1dfc327cc48ebfda85761c.zip gcc-c994e8b06ae255488d1dfc327cc48ebfda85761c.tar.gz gcc-c994e8b06ae255488d1dfc327cc48ebfda85761c.tar.bz2 | |
re PR ada/66205 (gnatbind generates invalid code when finalization is enabled in restricted runtime)
PR ada/66205
* bindgen.adb (Gen_AdaFinal): Revert previous change.
From-SVN: r255811
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/bindgen.adb | 12 |
2 files changed, 5 insertions, 12 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index e414acd..068255b 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2017-12-19 Arnaud Charlet <charlet@adacore.com> + + PR ada/66205 + * bindgen.adb (Gen_AdaFinal): Revert previous change. + 2017-12-15 Jakub Jelinek <jakub@redhat.com> * gcc-interface/utils.c (gnat_internal_attribute_table): Swap diff --git a/gcc/ada/bindgen.adb b/gcc/ada/bindgen.adb index 44d521e..e3d875b 100644 --- a/gcc/ada/bindgen.adb +++ b/gcc/ada/bindgen.adb @@ -450,18 +450,6 @@ package body Bindgen is begin WBI (" procedure " & Ada_Final_Name.all & " is"); - -- If task termination is not allowed, as is the case in restricted - -- runtimes, such as Ravenscar or ZFP, but may not be the case for all - -- configurable runtimes, we do not need program-level finalization. - - if Cumulative_Restrictions.Set (No_Task_Termination) then - WBI (" begin"); - WBI (" null;"); - WBI (" end " & Ada_Final_Name.all & ";"); - WBI (""); - return; - end if; - -- Call s_stalib_adafinal to await termination of tasks and so on. We -- want to do this if there is a main program, either in Ada or in some -- other language. (Note that Bind_Main_Program is True for Ada mains, |