1-- { dg-do compile } 2-- { dg-options "-O2" } 3 4procedure 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 11begin 12 Foregrnd_Color := Color'Val(Integer'Value(Block(5 .. 6))); 13end; 14