gcc/testsuite/gnat.dg/range_check2.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2" }
   3
   4 procedure Range_Check2 is
   5
   6   subtype Block_Subtype is String(1 .. 6);
   7   type Color is (Black, Red, Green, Yellow, Blue, Magenta, Cyan, White);
   8   Foregrnd_Color : Color := White;
   9   Block : Block_Subtype := "123456";
  10
  11 begin
  12   Foregrnd_Color := Color'Val(Integer'Value(Block(5 .. 6)));
  13 end;