gcc/testsuite/gnat.dg/boolean_expr2.adb

   1 -- { dg-do run }
   2
   3 procedure Boolean_Expr2 is
   4
   5   function Ident_Bool (B : Boolean) return Boolean is
   6   begin
   7     return B;
   8   end;
   9
  10 begin
  11   if Boolean'Succ (Ident_Bool(False)) /= True then
  12     raise Program_Error;
  13   end if;
  14
  15   if Boolean'Pred (Ident_Bool(True)) /= False then
  16     raise Program_Error;
  17   end if;
  18 end;