Arguably the buffer belongs in the loop scope because it is only relevant there. It’s probably also safer from wrong use.

This feels like exactly what you want the compiler to think about: a case where optimization comes at the cost of organization.