https://issues.dlang.org/show_bug.cgi?id=20747
Issue ID: 20747
Summary: @live tracking of non-pointer owners not done
Product: D
Version: D2
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: P1
Component: dmd
Assignee: [email protected]
Reporter: [email protected]
As reported by Timon Gehr in the n.g.:
void ignore(int* p){}
void main()@live{
int x=5;
auto p=&x;
x=3; // obsoletes p
*p=4; // should fail
ignore(p); // not necessary
}
void ignore(int* p){}
void main()@live{
int x=5;
auto p=&x;
*p=4;
x=3; // ok
ignore(p); // not necessary
}
void main()@live{
int x=5;
auto p=&x;
auto q=&x; // allow address to be taken multiple times
*p=4;
*q=5;
writeln(*p," ",*q);
ignore(p);
ignore(q);
}
--
