gcc/testsuite/gnat.dg/opt62.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O" }
   3
   4 with Opt62_Pkg; use Opt62_Pkg;
   5
   6 procedure Opt62 is
   7
   8    String5  : String(1..5)  := "12345";
   9    D: Der := (Unconstrained_Der with D2 => 5, S2 => String5);
  10
  11 begin
  12    if D.Str1 /= "abcde" then
  13       raise Program_Error;
  14    end if;
  15 end;