summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/range_check2.adb
blob: 33172f155e5a460c14862100ba08b8d8ea4d5cdf (plain)
1
2
3
4
5
6
7
8
9
10
11
12
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;