gcc/testsuite/gnat.dg/equal9.adb

   1 --  { dg-do run }
   2
   3 with Ada.Text_IO; use Ada.Text_IO;
   4 with System;      use System;
   5
   6 procedure Equal9 is
   7    Val : Address := Null_Address;
   8 begin
   9    if Val = Null_Address then
  10       Put_Line ("= OK");
  11    else
  12       raise Program_Error;
  13    end if;
  14
  15    if Val /= Null_Address then
  16       raise Program_Error;
  17    else
  18       Put_Line ("/= OK");
  19    end if;
  20
  21    if not (Val = Null_Address) then
  22       raise Program_Error;
  23    else
  24       Put_Line ("not = OK");
  25    end if;
  26 end Equal9;