[Bug c/88737] RFE: Track ownership moves

2019-01-07 Thread neal at walfield dot org
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

[Bug c/88737] New: RFE: Track ownership moves

2019-01-07 Thread neal at walfield dot org
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