[PATCH] D22374: [analyzer] Copy and move constructors - ExprEngine extended for "almost trivial" copy and move constructors

Aleksei Sidorin via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 18 10:52:16 PDT 2016


a.sidorin added a comment.

Adam,

It is not a debug checker. It is UndefinedAssignment checker which correctly tells us that `Inner.y` is assigned with an uninitialized value while copying. So I wonder if we are allowed to skip such warnings because these warnings don't look like false positives.
As I understand, these warnings disappeared because `performTrivialCopy()` doesn't run checkers for `check::Bind`event. Not sure but maybe we should fix that?


https://reviews.llvm.org/D22374





More information about the cfe-commits mailing list