grauzone wrote: >> You can create StackInfo similar to TypeInfo, I suppose, and thus get >> an entirely precise GC. > > What about the registers? It isn't that simple.
Not to mention the fun of stack slot reuse, register reuse, etc. The stack layout isn't a fixed entity for the entire lifetime of a function but can shift as execution flows through it. Later, Brad