blob: 16efa28ed6b2999948be8f3215c17e70a738f521 [file] [log] [blame]
-- { dg-do compile }
with System;
procedure Addr10 is
type Limited_Type is limited record
Element : Integer;
end record;
function Initial_State return Limited_Type is ((Element => 0));
type Double_Limited_Type is
record
A : Limited_Type;
end record;
Double_Limited : Double_Limited_Type :=
(A => Initial_State)
with
Volatile,
Address => System'To_Address (16#1234_5678#);
begin
null;
end Addr10;