First Draft: Static Single Assignment
Peter C
peterc at gmail.com
Mon Nov 17 22:50:19 UTC 2025
On Sunday, 16 November 2025 at 01:50:32 UTC, Walter Bright wrote:
> Oops!
> https://github.com/WalterBright/documents/blob/master/final.md
Is there a case for allowing the responsibility for upholding the
SSA guarantee to move from the compiler to the programmer?
i.e. by breaking the SSA rule via an explicit cast.
final int i = 3;
void baz(int* p) {}
baz(cast(int*) &i); // should this be allowed?
Since D is also a systems programming languge, my intuition says
yes, there is a case.
More information about the dip.development
mailing list