gcc/testsuite/gnat.dg/boolean_expr2.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

-- { dg-do run }

procedure Boolean_Expr2 is

  function Ident_Bool (B : Boolean) return Boolean is
  begin
    return B;
  end;

begin
  if Boolean'Succ (Ident_Bool(False)) /= True then
    raise Program_Error;
  end if;

  if Boolean'Pred (Ident_Bool(True)) /= False then
    raise Program_Error;
  end if;
end;