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 jos...@codesourcery.com
