Ada array vs C pointer (call by reference)

Maciej Sobczak wrote:
>
Is there any implementation where Interfaces.C.int has different
properties than Integer?

Try this with yours :-)

with Interfaces.C;

procedure Cint is
use Interfaces;
use type C.int;

X: C.int;
begin
X := C.int'last;
X := X + 1;
end;

Georg Bauhaus wrote:
Maciej Sobczak wrote:
>Is there any implementation where Interfaces.C.int has different
>properties than Integer?

begin
X := C.int'last;
X := X + 1;
end;

K, no C side here, but I think you get the point.