testsuite/runnable/generic_pointer_arithmetic.elna


1
2
3
4
5
6
7
8
9
10
11
12
13
14

program()
var
  base: [4]Int
  element: ^Int
  first: Pointer
  second: Pointer

begin
  element := base.ptr;
  first := element;
  second := first + 1;
  assert(cast(second : Word) - cast(first : Word) = 1u);
  assert(second - 1 = first)
end.