blob: 3d4181aaaaacae4b373f82396719fd0f507226d4 [file] [log] [blame]
-- { 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;