2 -- { dg-options "-O2" }
4 procedure Range_Check2 is
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";
12 Foregrnd_Color := Color'Val(Integer'Value(Block(5 .. 6)));