gcc/testsuite/gnat.dg/opt62.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

-- { dg-do run }
-- { dg-options "-O" }

with Opt62_Pkg; use Opt62_Pkg;

procedure Opt62 is

   String5  : String(1..5)  := "12345";
   D: Der := (Unconstrained_Der with D2 => 5, S2 => String5);

begin
   if D.Str1 /= "abcde" then
      raise Program_Error;
   end if;
end;