On 10/19/2018 11:18 PM, Manu wrote:
The reason I ask is because, by my definition, if you have:
int* a;
shared(int)* b = a;
While you have 2 numbers that address the same data, it is not actually aliased
because only `a` can access it.
They are aliased, by code that believes it is unshared, and code that believes
it is shared. This is not going to work.
Exclusively distinguishing shared and unshared data is not an interesting
distinction if shared data has no access.
Somehow, you still have to find a way to give the shared path access, through a
gate or a cast or a lock or whatever. And then it breaks, because two different
threads are accessing the same data each thinking that data is not shared.
