From: Eric Botcazou <ebotcazou@adacore.com>
Date: Mon, 22 Oct 2018 10:29:57 +0000 (+0000)
Subject: warn19.ad[sb]: New test.
X-Git-Tag: upstream/12.2.0~28612
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=bbc960279d3176051db9d134f74997ae9f0b01a7;p=platform%2Fupstream%2Fgcc.git

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 1ca5481..42a33ae 100644
--- 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
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
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
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;