diff mbox series

[Ada] Suppress checks within finalizers

Message ID 20171009184639.GA127808@adacore.com
State New
Headers show
Series [Ada] Suppress checks within finalizers | expand

Commit Message

Pierre-Marie de Rodat Oct. 9, 2017, 6:46 p.m. UTC 
This patch suppresses checks within finalizer routines, because they can't
fail. No change in behavior; no test available. This is just an internal
cleanup.

Tested on x86_64-pc-linux-gnu, committed on trunk

2017-10-09  Bob Duff  <duff@adacore.com>

	* exp_ch7.adb (Create_Finalizer): Suppress checks within the finalizer.
diff mbox series

Patch

Index: exp_ch7.adb
===================================================================
--- exp_ch7.adb	(revision 253546)
+++ exp_ch7.adb	(working copy)
@@ -1955,7 +1955,7 @@ 
                Insert_After (Finalizer_Insert_Nod, Fin_Body);
             end if;
 
-            Analyze (Fin_Body);
+            Analyze (Fin_Body, Suppress => All_Checks);
          end if;
       end Create_Finalizer;