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/] [notnot.adb] - Rev 304
Compare with Previous | Blame | View Log
-- { dg-do compile } -- { dg-options "-gnatwr" } procedure notnot (x, y : integer) is begin if not (not (x = y)) then -- { dg-warning "redundant double negation" } return; end if; end;