gcc/testsuite/gnat.dg/expect2_pkg.ads

   1 package Expect2_Pkg is
   2
   3   I : Integer;
   4   pragma Volatile (I);
   5
   6   function Expect (Condition : Boolean; Outcome : Boolean) return Boolean;
   7   pragma Import (Intrinsic, Expect, "__builtin_expect");
   8
   9   function Likely (Condition : Boolean) return Boolean;
  10   pragma Import (Intrinsic, Likely, "__builtin_likely");
  11
  12   function Unlikely (Condition : Boolean) return Boolean;
  13   pragma Import (Intrinsic, Unlikely, "__builtin_unlikely");
  14
  15 end Expect2_Pkg;