This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [RFTesting] New POINTER_DIFF_EXPR
- From: Joseph Myers <joseph at codesourcery dot com>
- To: Richard Biener <richard dot guenther at gmail dot com>
- Cc: Marc Glisse <marc dot glisse at inria dot fr>, Jason Merrill <jason at redhat dot com>, Jakub Jelinek <jakub at redhat dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>, Ulrich Weigand <uweigand at de dot ibm dot com>, Ilya Enkovich <enkovich dot gnu at gmail dot com>, DJ Delorie <dj at redhat dot com>
- Date: Fri, 17 Nov 2017 17:20:22 +0000
- Subject: Re: [RFTesting] New POINTER_DIFF_EXPR
- Authentication-results: sourceware.org; auth=none
- References: <alpine.DEB.2.20.1710281133200.6751@stedding.saclay.inria.fr> <alpine.DEB.2.20.1711102046090.6907@stedding.saclay.inria.fr> <CAFiYyc1Tv-fFYXkFKttDzAGz+aiP3hpEPtjHp46PfZm_w1D+nw@mail.gmail.com>
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.
--
Joseph S. Myers
joseph@codesourcery.com