diff gcc/testsuite/gnat.dg/warn30.adb @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/gnat.dg/warn30.adb	Thu Feb 13 11:34:05 2020 +0900
@@ -0,0 +1,10 @@
+--  { dg-do compile }
+--  { dg-options "-gnatwa" }
+with Interfaces; use Interfaces;
+
+package body Warn30 is
+   procedure Incr (X : in out Interfaces.Integer_64) is
+   begin
+      X := X + 1;
+   end Incr;
+end Warn30;
\ No newline at end of file