gcc/testsuite/gnat.dg/deferred_const1.adb


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

-- { dg-do compile }

with Text_IO; use Text_IO;

procedure Deferred_Const1 is
  I : Integer := 16#20_3A_2D_28#;
  S : constant string(1..4);
  for S'address use I'address; -- { dg-warning "constant overlays a variable" } 
  pragma Import (Ada, S);
begin
  Put_Line (S);
end;