[Bug c/86026] Document and/or change allowed operations on integer representation of pointers

[pascal_cuoq at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86026

--- Comment #2 from Pascal Cuoq <pascal_cuoq at hotmail dot com> ---
Created attachment 44223
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44223&action=edit
Complete source code for functions in the description