1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/range_check2.adb b/gcc/testsuite/gnat.dg/range_check2.adb
new file mode 100644
index 000000000..33172f155
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/range_check2.adb
@@ -0,0 +1,13 @@
+-- { dg-do compile }
+-- { dg-options "-O2" }
+
+procedure Range_Check2 is
+
+  subtype Block_Subtype is String(1 .. 6);
+  type Color is (Black, Red, Green, Yellow, Blue, Magenta, Cyan, White);
+  Foregrnd_Color : Color := White;
+  Block : Block_Subtype := "123456";
+
+begin
+  Foregrnd_Color := Color'Val(Integer'Value(Block(5 .. 6)));
+end;