<div dir="ltr"><div class="gmail_quote"><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space"><div><div></div><div>Another hack I was thinking about:</div><div><br></div><div> - Check *syntactically* whether there is an *unguarded* access to uninitialized fields in equality/assignment/destructor operators.</div><div>Or maybe unguarded access in general.</div><div>This is checkable syntactically and provides a fairly strong indicator of a bug.</div><div><br></div><div>I wish we had dataflow for that, but we don’t =/</div><br></div></div></blockquote><div>I like this a lot. This could reduce the amount of reports greatly. Thanks!<br></div></div></div>