gcc/testsuite/gnat.dg/suppress_initialization_pkg.ads

   1 with Interfaces; use Interfaces;
   2 with System;
   3
   4 package Suppress_Initialization_Pkg is
   5
   6    type Discriminated_Type (Foo : Unsigned_8 := 0) is record
   7       case Foo is
   8          when 0 =>
   9             Bar  : Boolean;
  10          when 1 =>
  11             Baz  : Unsigned_32;
  12          when others =>
  13             null;
  14       end case;
  15    end record;
  16
  17    for Discriminated_Type use record
  18       Foo at 0 range  0 ..  7;
  19       Bar at 1 range  0 ..  0;
  20       Baz at 1 range  0 .. 31;
  21    end record;
  22
  23    External : Discriminated_Type
  24    with
  25      Volatile,
  26      Suppress_Initialization,
  27      Address => System'To_Address (16#1234_5678#);
  28
  29    procedure Read;
  30
  31 end Suppress_Initialization_Pkg;