re PR ada/66205 (gnatbind generates invalid code when finalization is enabled in...

PR ada/66205
	* bindgen.adb (Gen_AdaFinal): Revert previous change.

From-SVN: r255811

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index e414acdb885289bc380c2e9e9c3c6388cd91f270..068255b33b76ae53f4853cb113960bcd8f0b89a2 100644 (file)
--- 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 44d521e8c46bfb48cd786c6d3f8f3073d5bc6586..e3d875bc8cc5db63a44a3825c62f31488bc09dbf 100644 (file)
--- 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,