gcc/testsuite/gnat.dg/deferred_const1.adb

   1 -- { dg-do compile }
   2
   3 with Text_IO; use Text_IO;
   4
   5 procedure Deferred_Const1 is
   6   I : Integer := 16#20_3A_2D_28#;
   7   S : constant string(1..4);
   8   for S'address use I'address; -- { dg-warning "constant overlays a variable" }
   9   pragma Import (Ada, S);
  10 begin
  11   Put_Line (S);
  12 end;