[Ada] Suppress checks within finalizers

[Pierre-Marie de Rodat]

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  <d...@adacore.com>

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


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;