Good idea...I'll get it later. Jordan
On Aug 19, 2013, at 9:57 , Anna Zaks <[email protected]> wrote: > Should we mention that this would be an opt-in checker? > > Anna. > On Aug 19, 2013, at 9:27 AM, Jordan Rose <[email protected]> wrote: > >> Author: jrose >> Date: Mon Aug 19 11:27:37 2013 >> New Revision: 188681 >> >> URL: http://llvm.org/viewvc/llvm-project?rev=188681&view=rev >> Log: >> [analyzer] Add "unmodified variable" checker to the Potential Checkers. >> >> This is PR16890. >> >> Modified: >> cfe/trunk/www/analyzer/potential_checkers.html >> >> Modified: cfe/trunk/www/analyzer/potential_checkers.html >> URL: >> http://llvm.org/viewvc/llvm-project/cfe/trunk/www/analyzer/potential_checkers.html?rev=188681&r1=188680&r2=188681&view=diff >> ============================================================================== >> --- cfe/trunk/www/analyzer/potential_checkers.html (original) >> +++ cfe/trunk/www/analyzer/potential_checkers.html Mon Aug 19 11:27:37 2013 >> @@ -288,6 +288,30 @@ void test() { >> >> </table> >> >> +<!-- ============================== dead code >> ============================== --> >> +<h3>dead code</h3> >> +<table class="checkers"> >> +<col class="namedescr"><col class="example"><col class="progress"> >> +<thead><tr><td>Name, >> Description</td><td>Example</td><td>Progress</td></tr></thead> >> + >> +<tr><td><span class="name">deadcode.UnmodifiedVariable >> +<br>(C, C++)</span><br><br> >> +A variable is never modified but was not declared const and is not a >> reference. >> +</td><td><pre> >> +extern int computeDelta(); >> + >> +int foo(bool cond) { >> + int i = 0; >> + if (cond) { >> + const int delta = computeDelta(); >> + // Forgot to modify 'i'. >> + } >> + return i; >> +} >> +</pre></td><td class="aligned"><a >> href="http://llvm.org/bugs/show_bug.cgi?id=16890";>PR16890</a></td></tr> >> + >> +</table> >> + >> <!-- ========================= undefined behavior ========================== >> --> >> <h3>undefined behavior</h3> >> <table class="checkers"> >> >> >> _______________________________________________ >> cfe-commits mailing list >> [email protected] >> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits > _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
