[PATCH] D52983: [analyzer] Support Reinitializes attribute in MisusedMovedObject check

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

In https://reviews.llvm.org/D52983#1258466, @NoQ wrote:

> Yay, these look useful. Is there also an attribute for methods that should never be called on a 'moved-from' object?


I do not know about such attribute, but once contracts are implemented and wide-spread, a precondition on a method/function is a strong suggestion that it should not be used on a moved-from object.


Repository:
  rC Clang

https://reviews.llvm.org/D52983