Bug 17491 – Compiles on invalid: *&s.init.var is not an lvalue

Test case: --- struct S { int i; } void bug() { S.init = S(42); // OK -> (S).init is not an lvalue *&S.init = S(42); // OK -> S(0) is not an lvalue S.init.i = 42; // OK -> constant S(0).i is not an lvalue *&S.init.i = 42; // Compiles! } --- Having a look at the AST dump: --- import object; struct S { int i; } void bug() { 0 = 42; // <- This should be a compiler error. } RTInfo!(S) enum typeof(null) RTInfo = null; ---

One reason to explain it is that the frontend optimizer only runs skin deep. If it were to recursively optimize the expression until it can no longer be simplified, then that should be enough.

Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/84e6960563480109ea5d153ae2732e441ba88bd5 fix Issue 17491 - Compiles on invalid: *&s.init.var is not an lvalue https://github.com/dlang/dmd/commit/becedffcf050f7d4b19c97dcd1752cec19d73176 Merge pull request #6893 from ibuclaw/issue17491 fix Issue 17491 - Compiles on invalid: *&s.init.var is not an lvalue

Commits pushed to newCTFE at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/84e6960563480109ea5d153ae2732e441ba88bd5 fix Issue 17491 - Compiles on invalid: *&s.init.var is not an lvalue https://github.com/dlang/dmd/commit/becedffcf050f7d4b19c97dcd1752cec19d73176 Merge pull request #6893 from ibuclaw/issue17491