gcc/testsuite/gnat.dg/hardbool.ads

   1 package Hardbool is
   2    type HBool1 is new Boolean;
   3    for HBool1'Size use 8;
   4    for HBool1 use (16#5a#, 16#a5#);
   5    pragma Machine_Attribute (HBool1, "hardbool");
   6
   7    type HBool2 is new Boolean;
   8    for HBool2 use (16#0ff0#, 16#f00f#);
   9    for HBool2'Size use 16;
  10    pragma Machine_Attribute (HBool2, "hardbool");
  11
  12    X : HBool1 := False;
  13    Y : HBool2 := True;
  14
  15    function T return Boolean;
  16    procedure P1;
  17    procedure P2;
  18    procedure P3;
  19    procedure Q1;
  20    procedure Q2;
  21    procedure Q3;
  22 end Hardbool;