URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc1/] [gcc/] [testsuite/] [gnat.dg/] [notnot.adb] - Diff between revs 304 and 338

Rev 304	Rev 338
`-- { dg-do compile }`	`-- { dg-do compile }`
`-- { dg-options "-gnatwr" }`	`-- { dg-options "-gnatwr" }`

`procedure notnot (x, y : integer) is`	`procedure notnot (x, y : integer) is`
`begin`	`begin`
`if not (not (x = y)) then -- { dg-warning "redundant double negation" }`	`if not (not (x = y)) then -- { dg-warning "redundant double negation" }`
`return;`	`return;`
`end if;`	`end if;`
`end;`	`end;`