On November 17, 2017 6:20:22 PM GMT+01:00, Joseph Myers <jos...@codesourcery.com> wrote: >On Fri, 17 Nov 2017, Richard Biener wrote: > >> Joseph may have an idea about the address-space issue. > >I'm not clear what the question is. The TR 18037 rule on subtractions >with address spaces is "For subtraction, if the two operands are >pointers >into different address spaces, the address spaces must overlap." (as a >constraint). That should already be checked via comp_target_types, and > >should have nothing to do with this patch.
The question is what ptrdiff_t is for a specific address space. Or rather if that type may be dependent on the address space or if we can always use that of the default address space. Richard.
