M2compiler-V3/compiler/tests/t_addrptr.mod

MODULE taddrptr;
// ADDRESS <-> pointer assignment.
FROM SYSTEM IMPORT ADR;
TYPE Arr = ARRAY [0..2] OF INTEGER;
VAR a : Arr; p : POINTER TO Arr; q : POINTER TO INTEGER; v : INTEGER;
VAR ExitCode : INTEGER;
BEGIN
  a[1] := 42;
  p := ADR(a);
  q := ADR(v); q^ := 7;
  IF (p^[1] = 42) AND (v = 7) THEN ExitCode := 42 ELSE ExitCode := 1 END
END taddrptr.