1 files changed, 17 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/frame_overflow.ads b/gcc-4.9/gcc/testsuite/gnat.dg/frame_overflow.ads
new file mode 100644
index 000000000..898e37a67
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gnat.dg/frame_overflow.ads
@@ -0,0 +1,17 @@
+with System;
+
+package Frame_Overflow is
+
+   type Bitpos_Range_T is range 1..2**(System.Word_Size-1)-1;
+   type Bitmap_Array_T is array (Bitpos_Range_T) of Boolean;
+
+   type Bitmap_T is record
+      Bits : Bitmap_Array_T := (others => False);
+   end record;
+
+   function
+     Set_In (Bitmap : Bitmap_T; Bitpos : Bitpos_Range_T)  return Bitmap_T;
+
+   function Negate (Bitmap : Bitmap_T) return Bitmap_T;
+
+end Frame_Overflow;