summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/notnot.adb
blob: 3d4181aaaaacae4b373f82396719fd0f507226d4 (plain)
1
2
3
4
5
6
7
8
9
--  { 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;