On 6 February 2015 at 22:16, David Nadlinger via Digitalmars-d <digitalmars-d@puremagic.com> wrote: > On Friday, 6 February 2015 at 19:10:01 UTC, Iain Buclaw wrote: >> >> For debugging purposes, it must have a position on the stack pointer. > > > This sentence does not parse for me. "on the stack *pointer*"? > >> For semantic purposes, comparing it as being equal to another value >> must be false. > > > That's not clear to me from the spec. One could argue that a zero-byte > entity can by definition not have an identity. > > In any case, my question was how to implement that behavior without > allocating memory, which the spec currently prohibits. > > David
Simple, you implement it by allocating no memory. :) I'll have to see what goes on, I can't imagine that llvm won't provide some way to do this. GDC's behaviour is incident in the backend rather than intent. Iain.