PR 25512: pointer overflow defined?

[Robert Dewar]

Gabriel Dos Reis wrote:

>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.
>  
>
OK, now I see where you are coming from -- yes, makes sense