https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88737
--- Comment #4 from Neal H. Walfield ---
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
Assignee: unassigned at gcc dot gnu.org
Reporter: neal at walfield dot org
Target Milestone: ---
I would like an attribute to indicate that ownership of an argument is moved to
the function. That is, any subsequent accesses to the variable should be
considered invalid, and gcc should emit a