projects
/
platform
/
upstream
/
gcc48.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
remove unused files
[platform/upstream/gcc48.git]
/
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;