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

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

gcc/ada/ChangeLog

+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

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,