On Wed, 24 Feb 2016, DJ Delorie wrote: > The real question is: are stack arguments call-clobbered or > call-preserved? Does the answer depend on the "pure" attribute?
Stack area holding stack arguments should belong to the callee for tail-calls to work (the callee will trash that area when laying out arguments for the tail call; thanks to Rich Felker for pointing that out to me). Thus it cannot depend on attribute-pure. Alexander
