<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Thu, May 5, 2016 at 12:57 PM, Frederic Riss via llvm-commits <span dir="ltr"><<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">friss added a subscriber: friss.<br>
friss added a comment.<br>
<br>
Attr can never be null here because one of Loc or Block will be non-null. This looks like a deficiency of the static analyzer. I'd rather initialize Attr in each of the branches of the if above if that helps.<br></blockquote><div><br></div><div>I've started a thread on cfe-dev and llvm-dev to discuss this. I'm not sure we want to litter the codebase with unnecessary initializations and null checks to satisfy the static analyzer if it's being overly pessimistic. (but maybe we do - in any case, they seem pervasive and invasive enough that a general discussion/consensus seems like it'd be useful)</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
<br>
<a href="http://reviews.llvm.org/D19972" rel="noreferrer" target="_blank">http://reviews.llvm.org/D19972</a><br>
<div class="HOEnZb"><div class="h5"><br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</div></div></blockquote></div><br></div></div>