summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/boolean_expr2.adb
blob: 8bdcb84e933a291efa885a187df24d9f195cb321 (plain)
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;