On Mon, May 29, 2023 at 5:27 PM Ian Lance Taylor <iant@xxxxxxxxxx> wrote: > > It was a while ago, but I expect that I was just thinking of the > implementation. I agree that the documentation could be clearer. I > filed https://gcc.gnu.org/PR110029. Thanks. I think we can proceed with the assumption that it's all clearly ordered. Even when the scopes are explicit (ie actual separate block scopes for the variables and no shared scope), doing a 'return' (or break out of a loop) will obviously exit multiple scopes at once, so it would be good to have it documented that the cleanup is always in that reverse order by scope and declaration order within a scope. I guess I should check with the clang people too. Linus
