PR 25512: pointer overflow defined?

[Gabriel Dos Reis]

Robert Dewar <dewar@adacore.com> writes:

[...]

| So please don't take my comments as supporting dubious optimizations
| of pointer arithmetic.
| 
| For me the only practical acceptable implementation of pointers in C
| is to use lineary addresses as integers, and implemnet wrap around
| arithmetic on these values.

This is more reason for us (in addition of the standard requirement)
to document what the mapping for T* -> integer is.

-- Gaby