blob: 4128067158254762eeff616f1fafaaed6e8db271 [file] [log] [blame]
with Interfaces; use Interfaces;
with System;
package Suppress_Initialization_Pkg is
type Discriminated_Type (Foo : Unsigned_8 := 0) is record
case Foo is
when 0 =>
Bar : Boolean;
when 1 =>
Baz : Unsigned_32;
when others =>
null;
end case;
end record;
for Discriminated_Type use record
Foo at 0 range 0 .. 7;
Bar at 1 range 0 .. 0;
Baz at 1 range 0 .. 31;
end record;
External : Discriminated_Type
with
Volatile,
Suppress_Initialization,
Address => System'To_Address (16#1234_5678#);
procedure Read;
end Suppress_Initialization_Pkg;