From 554fd8c5195424bdbcabf5de30fdc183aba391bd Mon Sep 17 00:00:00 2001
From: upstream source tree <ports@midipix.org>
Date: Sun, 15 Mar 2015 20:14:05 -0400
Subject: obtained gcc-4.6.4.tar.bz2 from upstream website; verified
 gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream
 tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.
---
 gcc/testsuite/gnat.dg/discr24.adb | 46 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 46 insertions(+)
 create mode 100644 gcc/testsuite/gnat.dg/discr24.adb

(limited to 'gcc/testsuite/gnat.dg/discr24.adb')

diff --git a/gcc/testsuite/gnat.dg/discr24.adb b/gcc/testsuite/gnat.dg/discr24.adb
new file mode 100644
index 000000000..dcd67c4b2
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/discr24.adb
@@ -0,0 +1,46 @@
+-- { dg-do run }
+-- { dg-options "-gnatp" }
+
+procedure Discr24 is
+
+   type Family_Type is (Family_Inet, Family_Inet6);
+   type Port_Type is new Natural;
+
+   subtype Inet_Addr_Comp_Type is Natural range 0 .. 255;
+
+   type Inet_Addr_VN_Type is array (Natural range <>) of Inet_Addr_Comp_Type;
+
+   subtype Inet_Addr_V4_Type is Inet_Addr_VN_Type (1 ..  4);
+   subtype Inet_Addr_V6_Type is Inet_Addr_VN_Type (1 .. 16);
+
+   type Inet_Addr_Type (Family : Family_Type := Family_Inet) is record
+      case Family is
+         when Family_Inet =>
+            Sin_V4 : Inet_Addr_V4_Type := (others => 0);
+
+         when Family_Inet6 =>
+            Sin_V6 : Inet_Addr_V6_Type := (others => 0);
+      end case;
+   end record;
+
+   type Sock_Addr_Type (Family : Family_Type := Family_Inet) is record
+      Addr : Inet_Addr_Type (Family);
+      Port : Port_Type;
+   end record;
+
+   function F return Inet_Addr_Type is
+   begin
+      return Inet_Addr_Type'
+        (Family => Family_Inet, Sin_V4 => (192, 168, 169, 170));
+   end F;
+
+   SA : Sock_Addr_Type;
+
+begin
+   SA.Addr.Sin_V4 := (172, 16, 17, 18);
+   SA.Port := 1111;
+   SA.Addr := F;
+   if SA.Port /= 1111 then
+     raise Program_Error;
+   end if;
+end;
-- 
cgit v1.2.3