1 files changed, 28 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/test_8bitlong_overflow.adb b/gcc/testsuite/gnat.dg/test_8bitlong_overflow.adb
new file mode 100644
index 000000000..b22c87170
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/test_8bitlong_overflow.adb
@@ -0,0 +1,28 @@
+-- { dg-do run }
+-- { dg-options "-gnato" }
+
+procedure Test_8bitlong_Overflow is
+
+   pragma Unsuppress (Overflow_Check);
+   generic
+       type T is range <>;
+   package G is
+      LO   : T := T'first;
+      ONE  : T := T(1);
+
+      type A2 is array(T range <>) of T;
+      subtype SA2 is A2(LO..4*ONE);
+
+      ARRAY_AGGR : SA2 := SA2'(others=>LO + 1);
+
+      POS_1   : T := T'pos(LO*ONE);
+   end;
+
+   type T is new LONG_INTEGER range -1..10;
+   for T'size use 8;
+
+   package P is new G (T);
+
+begin
+   null;
+end;