On 09/12/2014 01:45 PM, Richard Biener wrote:
Fixing up the vector type in advance is ok with me but I'd like us to move away from address-space-on-types.
After thinking about it for a while, this idea makes no sense. Address spaces must be represented in the type system somehow - consider a pointer to an object in address space 0 vs. a pointer to an object in address space 1. These are different types, they may even have different sizes.
So by adding address spaces to references (_DECLs and _REFs) the only thing we'd accomplish is duplicating existing information, with enhanced chances of getting inconsistencies.
Bernd
