Thanks for the answer, and sorry for slow follow-up. Got distracted by
other things...
Jeff Law writes:
> On Sat, 2020-01-25 at 09:31 +, Richard Sandiford wrote:
>> TL;DR: if we have two bare SYMBOL_REFs X and Y, neither of which have an
>> associated source-level decl and neither of which a
On Sat, 2020-01-25 at 09:31 +, Richard Sandiford wrote:
> TL;DR: if we have two bare SYMBOL_REFs X and Y, neither of which have an
> associated source-level decl and neither of which are in an anchor block:
>
> (Q1) can a valid byte access at X+C alias a valid byte access at Y+C?
>
> (Q2) can
TL;DR: if we have two bare SYMBOL_REFs X and Y, neither of which have an
associated source-level decl and neither of which are in an anchor block:
(Q1) can a valid byte access at X+C alias a valid byte access at Y+C?
(Q2) can a valid byte access at X+C1 alias a valid byte access at Y+C2,
C1
