<div dir="ltr">Looks like it might be a little like a recently contributed checker: <a href="http://llvm.org/viewvc/llvm-project?view=revision&revision=226172" target="_blank">http://llvm.org/viewvc/llvm-project?view=revision&revision=226172</a> <div class="gmail_extra"><br><div class="gmail_quote">On Sun, Feb 1, 2015 at 2:35 PM, 彩云追月 <span dir="ltr"><<a href="mailto:wuming_81@163.com" target="_blank">wuming_81@163.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="line-height:1.7;color:#000000;font-size:14px;font-family:Arial"><div>Hello, </div><div>    recently, as an exercise, I have implemented a checker for clang static analyzer.It checks the call of std::list::size( ) .</div><div><br></div><div><span style="line-height:1.7">    </span><span style="color:rgb(34,34,34);font-family:'Lucida Grande','Lucida Sans Unicode',Arial,Verdana,Helvetica,sans-serif;font-size:13px;line-height:15.6000003814697px">It is more efficient to use containers </span><code style="color:rgb(34,34,34)">empty()</code><span style="color:rgb(34,34,34);font-family:'Lucida Grande','Lucida Sans Unicode',Arial,Verdana,Helvetica,sans-serif;font-size:13px;line-height:15.6000003814697px"> method to identify an empty container.Codes like bellow :</span></div><div><span style="color:rgb(34,34,34);font-family:'Lucida Grande','Lucida Sans Unicode',Arial,Verdana,Helvetica,sans-serif;font-size:13px;line-height:15.6000003814697px"><br></span></div><div>    int f() {</div><div>        list<int> l;</div><div>        if (l.empty() == 0) {</div><div>        }</div><div>     }    </div><div>    will be warned.</div><div><br></div><div> btw, I  did my dev on the release 3.5. </div><div><br></div><div>  </div></div><br><br><span title="neteasefooter"><span></span></span><br>_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu" target="_blank">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
<br></blockquote></div><br></div></div>