gcc/testsuite/gnat.dg/opt69.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 with Ada.Text_IO;
   5
   6 procedure Opt69 is
   7
   8    procedure Inner
   9      (A : String := (1 .. 15 => ASCII.NUL);
  10       B : String := (1 .. 5 => ASCII.NUL);
  11       C : String := (1 .. 5 => ASCII.NUL))
  12    is
  13       Aa : String (1 .. 15);
  14       Bb : String (1 .. 5);
  15       Cc : String (1 .. 5);
  16    begin
  17       Aa := A;
  18       Bb := B;
  19       Cc := C;
  20
  21       Ada.Text_IO.Put_Line (Aa);
  22       Ada.Text_IO.Put_Line (Bb);
  23       Ada.Text_IO.Put_Line (Cc);
  24    end;
  25
  26 begin
  27    Inner;
  28 end;