<p dir="ltr"><br>
On Jul 12, 2013 2:12 AM, "Ramkumar Ramachandra" <<a href="mailto:artagnon@gmail.com">artagnon@gmail.com</a>> wrote:<br>
><br>
> Nico Weber wrote:<br>
> > The -variable one is <a href="http://llvm.org/bugs/show_bug.cgi?id=9824">http://llvm.org/bugs/show_bug.cgi?id=9824</a> , I didn't<br>
> > find a bug for -parameter. The bug has some discussion (and not one but two<br>
> > rdar numbers :-P).<br>
><br>
> I added one a few days ago: <a href="http://llvm.org/bugs/show_bug.cgi?id=16589">http://llvm.org/bugs/show_bug.cgi?id=16589</a><br>
><br>
> From what I understand, the bug still hasn't been fixed; and I would<br>
> love for it to be fixed now.  From the discussion, it seems that I<br>
> just have to hook into the static analyzer's dead-store check?</p>
<p dir="ltr">I expect its not /quite/ that simple, but don't know for sure. I personally would start by looking at the implementation of -Wsometimes-uninitialized & use a similar (but different) cfg/use/def walk.</p>

<p dir="ltr">> Can you<br>
> give me some pointers on where I should be looking?  (I'm currently<br>
> looking at Sema::DiagnoseUnusedParameters).</p>
<p dir="ltr">I suppose that's an interesting if place to look, but I doubt we store the necessary bits for this warning (to differentiate a variable that only written to from one that has reads and writes)</p>
<p dir="ltr">><br>
> Thanks.<br>
> _______________________________________________<br>
> cfe-dev mailing list<br>
> <a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
> <a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
</p>