[PATCH] D54557: [analyzer] MoveChecker Pt.2: Restrict the warning to STL objects and locals.

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sat Nov 17 02:31:32 PST 2018


xazax.hun added a comment.

In https://reviews.llvm.org/D54557#1300654, @NoQ wrote:

> In https://reviews.llvm.org/D54557#1299736, @xazax.hun wrote:
>
> > It would be great to have a way to extend the list of (possibly non-stl) types to check. But I do understand that the analyzer does not have a great way to set such configuration options right now.
>
>
> Do you envision room for another attribute here? I.e., a class attribute that says "this object is always unsafe to use after move, unless a method annotated with `reinitializes` is called"?


Exactly :) My only concern is that I doubt users will end up passing such options using command line options. Having file base configuration options would be more convenient. They can be easily checked in the repository and evolve together with the product (like the .clang-tidy files in the LLVM repos).


https://reviews.llvm.org/D54557





More information about the cfe-commits mailing list