D Language Foundation October 2023 Quarterly Meeting Summary

[Bastiaan Veelo]

On Sunday, 10 December 2023 at 17:11:04 UTC, Siarhei Siamashka 
wrote:
> On Sunday, 10 December 2023 at 15:08:05 UTC, Bastiaan Veelo 
> wrote:
>> The compiler can check if `scope` delegates escape a function, 
>> but it only does this in `@safe` code --- and our code is long 
>> from being `@safe`. So it was a bit of a puzzle to find out 
>> which arguments needed to be `scope` and which arguments 
>> couldn't be `scope`.
>
> This reminded me of 
> https://forum.dlang.org/thread/myiqlzkghnnyykbyksga@forum.dlang.org
> LDC has a special GC2Stack IR optimization pass, which is a 
> lifesaver in many cases like this.

Interesting.

> Are there some known blocker bugs, which prevent a safe usage 
> of LDC in production?

This one: https://github.com/ldc-developers/ldc/issues/4265

Mike has summarized it:
> LDC unfortunately had an issue that caused stack corruption on 
> 32-bit Windows. They'd hit it in one case and were able to work 
> around it, but he couldn't be sure they wouldn't hit it 
> somewhere else. He wasn't willing to risk unreliable 
> computations.
> 
> He said that LDC could do the right thing, but his 
> understanding from talking to Martin was that implementing it 
> would have a large time cost. Since Win32 is going to 
> eventually go away, he wasn't very keen on paying that cost. 
> They'd spoken at DConf about the possibility of LDC raising 
> compilation errors when stack corruption could occur so that 
> they could then work around those cases, but he hadn't followed 
> up with Martin about it.

-- Bastiaan.