[cfe-dev] [analyzer] UninitializedObjectChecker evaluation

[Kristóf Umann via cfe-dev]

> Another hack I was thinking about:
>
>  - Check *syntactically* whether there is an *unguarded* access to
> uninitialized fields in equality/assignment/destructor operators.
> Or maybe unguarded access in general.
> This is checkable syntactically and provides a fairly strong indicator of
> a bug.
>
> I wish we had dataflow for that, but we don’t =/
>
> I like this a lot. This could reduce the amount of reports greatly. Thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20180905/b818ed73/attachment.html>