DIP1014, DIP1000 and use-after-move bugs

Thu Jul 11 13:36:13 UTC 2019

On Thursday, 11 July 2019 at 10:19:16 UTC, Max Haughton wrote:
> I think "DIP1000"(i.e. whatever it becomes) should eventually 
> disallow use after move.
>
> This should probably be by default but allow tagging a move 
> operator as safe to reuse.
>
> I haven't got a clue where to start an implementation but I 
> think this would be a good step once DIP1014 is implemented.

I agree. Made a post earlier about it.

Just yesterday saw this: 
https://awesomekling.github.io/Catching-use-after-move-bugs-with-Clang-consumed-annotations/