gcc/testsuite/gnat.dg/notnot.adb

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