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

Subversion Repositories openrisc_2011-10-31

[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc2/] [gcc/] [testsuite/] [gnat.dg/] [notnot.adb] - Blame information for rev 384

Details | Compare with Previous | 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;

Line No.	Rev	Author	Line
1	304	jeremybenn	`-- { dg-do compile }`
2			`-- { dg-options "-gnatwr" }`
3
4			`procedure notnot (x, y : integer) is`
5			`begin`
6			`if not (not (x = y)) then -- { dg-warning "redundant double negation" }`
7			`return;`
8			`end if;`
9			`end;`

Browse

Tools

Subversion Repositories openrisc_2011-10-31

[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc2/] [gcc/] [testsuite/] [gnat.dg/] [notnot.adb] - Blame information for rev 384