[sesuximo]

I suppose the compiler could reorder function calls if it can prove there is no change in behavior? If so, then it could hoist dtors above the call and emit a jump. I doubt any compilers do this.

[astrange]

I would hope musttail does this if it “must” be a tail.

Actually, I need it to do this for something at my day job, guess I’ll look it up…