gcc/testsuite/gnat.dg/specs/volatile1.ads

   1 -- { dg-do compile }
   2
   3 package Volatile1 is
   4
   5   C : Character;
   6   for C'Size use 32;
   7   pragma Volatile (C);
   8
   9   type R1 is record
  10     C: Character;
  11     pragma Volatile (C);
  12   end record;
  13   for R1 use record
  14     C at 0 range 0 .. 31;
  15   end record;
  16
  17   type R2 is record
  18     C: Character;
  19     pragma Volatile (C);
  20   end record;
  21   for R2 use record
  22     C at 0 range 0 .. 10; -- { dg-error "size of volatile field" }
  23   end record;
  24
  25 end Volatile1;