gcc/testsuite/gnat.dg/opt100_pkg.ads

   1 with Interfaces; use Interfaces;
   2
   3 package Opt100_Pkg is
   4
   5   A : constant Unsigned_8 := 0;
   6   B : constant Unsigned_8 := 1;
   7   C : constant Unsigned_8 := 2;
   8
   9   subtype Small_Unsigned_8 is Unsigned_8 range A .. C;
  10
  11   type Rec is record
  12     K : Unsigned_8;
  13     N : Natural;
  14   end record;
  15
  16   subtype Small_Rec is Rec
  17     with Dynamic_Predicate =>
  18       Small_Rec.K in Small_Unsigned_8 and
  19         ((Small_Rec.N in Positive) = (Small_Rec.K in B | C));
  20
  21    function Func (R : Rec) return Integer;
  22
  23 end Opt100_Pkg;