> I'm not sure I'm the right person to do that, as I don't really have any > familiarity with the DSE code. I can't even prove to myself that this code > is alloca-safe; it doesn't look like it.
No FUD, please ;-) The code is alloca-safe, alloca is about moving the stack pointer, not the frame pointer. The compiler wouldn't be able to compile a simple Ada program with optimization enabled if that wasn't the case. -- Eric Botcazou