TYPE
  ValueType = RECORD
    a: PointerType;
    b: ReferenceType;
  END;

  ReferenceType = POINTER TO RECORD
    a: PointerType;
    b: ReferenceType;
    c: ValueType;   
  END;

  PointerType = POINTER TO ValueType;

СГ>TYPE
СГ>  ValueType = RECORD
СГ>    a: PointerType;
СГ>    b: ReferenceType;
СГ>  END;

СГ>  ReferenceType = POINTER TO RECORD
СГ>    a: PointerType;
СГ>    b: ReferenceType;
СГ>    c: ValueType;   
СГ>  END;

СГ>  PointerType = POINTER TO ValueType;
СГ>

int* GetSomeData()
{
    int i = 3;
    return &i;
}

void Main()
{
    int* ip = GetSomeData();
    // 1
}

AVK>int* GetSomeData()
AVK>{
AVK>    int i = 3;
AVK>    return &i;
AVK>}

AVK>void Main()
AVK>{
AVK>    int* ip = GetSomeData();
AVK>    // 1
AVK>}
AVK>

Другое дело, что не надо путать два разных понятия УКАЗАТЕЛЬ и АДРЕС. Указатель — это одно, а адрес, адресное пространство и адресная арифметика — это совершенно другое.

int& GetSomeData()
{
    int i = 3;
    return i;
}

void Main()
{
    int& ip = GetSomeData();
    // 1
}

TYPE
  ValueArray     = ARRAY 10, 10 OF INTEGER; 
  (* Матрица 10*10 размещаемая на стеке *)

  ReferenceArray = ARRAY OF AARAY OF INTEGER; 
  (* Двумерный динамический массив, точнее одномерный массив одномерных массивов *)

  PointerArray   = POINTER TO ARRAY 10, 10 OF INTEGER; 
  (* Матрица 10*10 размещаемая в динамической памяти *)

Base = POINTER TO EXTENSIBLE RECORD
   (* ... *)
  END;

Derived = RECORD (Base)
   (* ... *)
  END;

Base = EXTENSIBLE RECORD
   (* ... *)
  END;

Derived = POINTER TO RECORD (Base)
   (* ... *)
  END;

TYPE
  Val = RECORD (*... *) END;
  Ptr = POINTER TO Val;

TYPE
  Gadget = POINTER TO GadgetDesc; (* pointer-type *)

  GadgetDesc = RECORD             (* value-type *)  
    (* ... *)
  END;

TYPE
  Gadget = POINTER TO RECORD      (* reference-type *)
    (* ... *)
  END;

type
  Rec = record x:integer end;
  Ptr = pointer to Rec; {если Оберон это не позволяет - унаследуем от Rec}

procedure Change0(    v: Rec) begin v.x := 0 end;
procedure Change1(var v: Rec) begin v.x := 1 end;
procedure Change2(    v: Ptr) begin v.x := 2 end;
procedure Change3(var v: Ptr) begin v.x := 3 end;
procedure Change4(var v: Ptr) begin v := new Ptr; v.x := 4 end;

var
  r: Rec;
  p,q: Ptr;
begin
  r.x := -1;
  Change0(r); {r.x = -1}
  Change1(r); {r.x = 1}

  p := new Ptr; p.x := -1;
  q := p;
  Change0(p); {p.x = -1}
  Change1(p); {p.x = 1}
  Change2(p); {p.x = 2}
  Change3(p); {p.x = 3}
  Change4(p); {p.x = 4, q.x=3}
end;

VD>А в С++, кстати, тоже не будет адресов. Тоже типа "безопасный" поинтер.

int* p = &a[5];
if ( *(p - 1) == a[4] ) Console::WriteLine(S"Vlad2 не прав");