Eliminate warnings in micro:bit test files.

* test-microbit/circle.adb: add warnings round System.HardFault_Handling. * test-microbit/events.adb: likewise.
simonjwright · Mar 27, 2021 · a39a65e · a39a65e
1 parent 4222b6a
commit a39a65e
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 6 deletions.
diff --git a/test-microbit/circle.adb b/test-microbit/circle.adb
@@ -1,4 +1,4 @@
--- Copyright (C) 2018,2020 Free Software Foundation, Inc.
+-- Copyright (C) 2018-2021 Free Software Foundation, Inc.
 
 -- This file is part of the Cortex GNAT RTS package.
 --
@@ -16,8 +16,10 @@
 -- along with this program; see the file COPYING3. If not, see
 -- <http://www.gnu.org/licenses/>.
 
-with Hardfault_Handling;
-pragma Unreferenced (Hardfault_Handling);
+pragma Warnings (Off, "internal GNAT unit");
+with System.Hardfault_Handling;
+pragma Warnings (On, "internal GNAT unit");
+pragma Unreferenced (System.Hardfault_Handling);
 
 with Lights;
 pragma Unreferenced (Lights);

diff --git a/test-microbit/events.adb b/test-microbit/events.adb
@@ -1,4 +1,4 @@
--- Copyright (C) 2020 Free Software Foundation, Inc.
+-- Copyright (C) 2020-2021 Free Software Foundation, Inc.
 
 -- This file is part of the Cortex GNAT RTS package.
 --
@@ -18,8 +18,12 @@
 
 with Event_Support;
 with Ada.Real_Time.Timing_Events;
--- with Hardfault_Handling;
--- pragma Unreferenced (Hardfault_Handling);
+
+pragma Warnings (Off, "internal GNAT unit");
+with System.Hardfault_Handling;
+pragma Warnings (On, "internal GNAT unit");
+pragma Unreferenced (System.Hardfault_Handling);
+
 procedure Events is
  -- Environment_Task_Storage_Size : constant Natural := 1536
  -- with
@@ -36,5 +40,6 @@ begin
  (Ada.Real_Time.Timing_Events.Timing_Event (Event_Support.Slow));
  Event_Support.Handler
  (Ada.Real_Time.Timing_Events.Timing_Event (Event_Support.Quick));
+
  delay until Ada.Real_Time.Time_Last;
 end Events;