Bug 13297 – [CTFE] Modifications of user type pointer member passed by ref in function disappear

This code should compile fine: --- struct S { int* p; } void f(ref int* p) { p = cast(int*) 1; assert(p); // passes } void main() { static assert( { S s; f(s.p); return s.p == null; // false } ()); } ---

(In reply to Denis Shelomovskij from comment #0) > This code should compile fine: > --- > struct S > { > int* p; > } > > void f(ref int* p) > { > p = cast(int*) 1; > assert(p); // passes > } > > void main() > { > static assert( > { > S s; > f(s.p); > return s.p == null; // false You meant: return s.p != null; // false ? > } ()); > } > ---

(In reply to Kenji Hara from comment #1) > > You meant: > return s.p != null; // false > ? Yes, sorry.

(In reply to Denis Shelomovskij from comment #2) > (In reply to Kenji Hara from comment #1) > > > > You meant: > > return s.p != null; // false > > ? > > Yes, sorry. OK, the CTFE issue is recently fixed by my CTFE engine cleanup. https://github.com/D-Programming-Language/dmd/pull/4227 To avoid regression, will add a test case. https://github.com/D-Programming-Language/dmd/pull/4319

Commit pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/0bc8cca5586e5bb060d237188db75d84184fa274 fix Issue 13297 - [CTFE] Modifications of user type pointer member passed by ref in function disappear Fixed in PR #4227 (22badb69bd07f013b96383ae4e07dd93cf12d115).