[PATCH] D22374: [analyzer] Copy and move constructors - ExprEngine extended for "almost trivial" copy and move constructors
Artem Dergachev via cfe-commits
cfe-commits at lists.llvm.org
Wed Aug 3 09:34:26 PDT 2016
NoQ added a comment.
Hmm. I suggest:
1. Change this test's constructor so that it was no longer almost-trivial. Because it isn't significant for this test if the constructor is almost-trivial or not. The test would pass.
2. Add a FIXME-test for this checker, in which a completely undefined structure is being copied. Perhaps somebody implements this feature some day.
3. Leave out the situation that the current test checks as a grey-area. I'm still not convinced that this situation (copying a partially-initialized almost-trivial structure) deserves a warning from this checker.
Does this make any sense? :)
More information about the cfe-commits