Well, we have to change that in order to get better alias information
of non-addressed variables.
No. As I said, this can be done with alias sets or with some flag or
some such. We must have a way in a MEM_ATTRS of saying "we don't know
what this references".