2008-05-30 Vladimir Makarov <vmakarov@redhat.com>

[official-gcc.git] / gcc / testsuite / gnat.dg / notnot.adb

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