https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88737
--- Comment #4 from Neal H. Walfield <neal at walfield dot org> ---
I'm not sure what '*a = {CLOBBER};' does and I'm having trouble finding
documentation for it so the following comment might be unnecessary.
Nevertheless: when I say "move", I don't mean that the object is necessarily
freed, just that the object's ownership has been transferred to the callee and,
as such, the caller is not allowed to access it anymore.
