warn19.ad[sb]: New test.

	* gnat.dg/warn19.ad[sb]: New test.
	* gnat.dg/warn19_pkg.ads: New helper.

From-SVN: r265377

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1ca548120a8330668fac987522350add432bd2d0..42a33ae00996f4380f68a81750499fc3b9e7b35b 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-10-22  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gnat.dg/warn19.ad[sb]: New test.
+       * gnat.dg/warn19_pkg.ads: New helper.
+
 2018-10-22  Richard Biener  <rguenther@suse.de>
 
        PR tree-optimization/87640

diff --git a/gcc/testsuite/gnat.dg/warn19.adb b/gcc/testsuite/gnat.dg/warn19.adb
new file mode 100644 (file)
index 0000000..593344b
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/warn19.adb
@@ -0,0 +1,20 @@
+--  { dg-do compile }
+--  { dg-options "-O2 -Wuninitialized" }
+
+package body Warn19 is
+
+   procedure P_Init (X : out Bits) is
+   begin
+      Init (X);
+   end;
+   
+   procedure Setup is
+      Data : Bits;
+   begin
+      P_Init (Data);
+      for I in Data'Range loop
+         P_Data (I) := Data (I);
+      end loop;
+   end;
+
+end Warn19;

diff --git a/gcc/testsuite/gnat.dg/warn19.ads b/gcc/testsuite/gnat.dg/warn19.ads
new file mode 100644 (file)
index 0000000..e1bd482
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/warn19.ads
@@ -0,0 +1,6 @@
+with Warn19_Pkg; use Warn19_Pkg;
+
+package Warn19 is
+   P_Data : Bits;   
+   procedure Setup;
+end Warn19;

diff --git a/gcc/testsuite/gnat.dg/warn19_pkg.ads b/gcc/testsuite/gnat.dg/warn19_pkg.ads
new file mode 100644 (file)
index 0000000..7cce224
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/warn19_pkg.ads
@@ -0,0 +1,6 @@
+package Warn19_Pkg is
+
+   type Bits is array (1 .. 4) of Boolean;
+   procedure Init (X : out Bits);
+
+end Warn19_Pkg;