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