+2017-11-09 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gnat.dg/controlled2.adb, gnat.dg/controlled4.adb,
+ gnat.dg/finalized.adb: Disable all warnings.
+
2017-11-09 Richard Sandiford <richard.sandiford@linaro.org>
Alan Hayward <alan.hayward@arm.com>
David Sherwood <david.sherwood@arm.com>
2017-11-09 Pierre-Marie de Rodat <derodat@adacore.com>
- * gnat.dg/controlled2.adb, gnat.dg/controlled4.adb, gnat.dg/finalized.adb:
- Disable the new warning from GNAT.
+ * gnat.dg/controlled2.adb, gnat.dg/controlled4.adb,
+ gnat.dg/finalized.adb: Disable new warning.
2017-11-09 Jakub Jelinek <jakub@redhat.com>
--- { dg-do compile }
-
-pragma Warnings
- (Off, "anonymous access-to-controlled object will be finalized when its enclosing unit goes out of scope");
+-- { dg-do compile }
+-- { dg-options "-gnatws" }
with controlled1; use controlled1;
package body controlled2 is
--- { dg-do compile }
-
-pragma Warnings
- (Off, "anonymous access-to-controlled object will be finalized when its enclosing unit goes out of scope");
+-- { dg-do compile }
+-- { dg-options "-gnatws" }
package body controlled4 is
procedure Test_Suite is
-- { dg-do compile }
-
-pragma Warnings
- (Off, "anonymous access-to-controlled object will be finalized when its enclosing unit goes out of scope");
+-- { dg-options "-gnatws" }
with Ada.Finalization; use Ada.Finalization;
procedure finalized is