gcc/testsuite/gnat.dg/equal9.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

--  { dg-do run }

with Ada.Text_IO; use Ada.Text_IO;
with System;      use System;

procedure Equal9 is
   Val : Address := Null_Address;
begin
   if Val = Null_Address then
      Put_Line ("= OK");
   else
      raise Program_Error;
   end if;

   if Val /= Null_Address then
      raise Program_Error;
   else
      Put_Line ("/= OK");
   end if;

   if not (Val = Null_Address) then
      raise Program_Error;
   else
      Put_Line ("not = OK");
   end if;
end Equal9;