URL https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk

Subversion Repositories openrisc_2011-10-31

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gnat.dg/] [boolean_expr2.adb] - Blame information for rev 304

Details | Compare with Previous | View Log


-- { 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;

Line No.	Rev	Author	Line
1	304	jeremybenn	`-- { 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;`

Browse

Tools

Subversion Repositories openrisc_2011-10-31

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gnat.dg/] [boolean_expr2.adb] - Blame information for rev 304