On Nov 17, 2011, at 20:46 , David Edelsohn wrote: > Coincidentally, IBM's XL compiler is encountering a similar issue and > proposing a similar solution of having the stack pointer update > conflict with all memory accesses.
Interesting timing :-) > I think all these corner cases > confirm that it is impractical for the compiler to track all accesses > against SP and the only expedient solution is a hammer like > conflicting with all memory. OK, I'll come up with a patch. I'll compare the generated assembly for the Ada runtime lib with and without the change. That should be easy to do and will provide a datapoint. Thanks for your feedback. Olivier