https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108799
--- Comment #2 from Andrew Cooper <andrew.cooper3 at citrix dot com> --- Adding a memory clobber doesn't make any difference that I can see, and I'm not aware of any reason why it ought to make a difference. I suppose that my real request here is to figure out what is the correct way to indicate that the redzone is clobbered, and to document it.
