
<div dir="ltr"><div>Hi Jordan,</div><div><br></div>Thank you very much! :-)</div><div class="gmail_extra"><br><br><div class="gmail_quote">2013/9/28 Jordan Rose <span dir="ltr"><<a href="mailto:jordan_rose@apple.com" target="_blank">jordan_rose@apple.com</a>></span><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"><div>Fixed in r191532.</div><span class="HOEnZb"><font color="#888888"><div><br></div>

<div>Jordan</div></font></span><div><div class="h5"><div><br></div><br><div><div>On Sep 24, 2013, at 9:37 , Jordan Rose <<a href="mailto:jordan_rose@apple.com" target="_blank">jordan_rose@apple.com</a>> wrote:</div>

<br><blockquote type="cite"><div style="word-wrap:break-word"><div>Hi, Arthur. Looks like we're forgetting in Core to give checkers a chance for some of the unary operators. I'll see if I can get to that soon; alternately, patches welcome!</div>

<div><br></div><div>Jordan</div><div><br></div><br><div><div>On Sep 24, 2013, at 1:15 , Arthur Yoo <<a href="mailto:phjy007@gmail.com" target="_blank">phjy007@gmail.com</a>> wrote:</div><br><blockquote type="cite"><div dir="ltr">

<p>Hi all,</p><p>It seems that the Clang Static Analyzer may miss the analysis information of UnaryOperator. For example:</p><p>void func(int s) {</p><p>    s++;</p><p>    ++s;</p><p>}</p><p>The example may be quite ridiculous…</p>

<p>My checker contains a method: <i>void checkPostStmt(const Stmt *DS, CheckerContext &C).</i></p><p>I thought that it can capture any kind of Stmt.  Since UnaryOperator is a subclass of Expr and Expr is a subclass of Stmt, I thought my checker can give me the analysis information of "s++" and "++s". However, it returned nothing. </p>

<p>What' more, I have tried to add another checkPostStmt() method in my checker. The declaration</p><p>of this method is <i>void checkPostStmt(const UnaryOperator *Op, CheckerContext &C)</i>. The result is same with the previous one, it returned nothing.</p>

<p>In fact, I want to use Clang Static Analyzer to capture all kinds of UnaryOperator, including 's++/++s/s--/--'(IncrementOp/DecrementOp). *p(pointer dereference) and so on. So how can I get the analysis information of UnaryOperator in Clang Static Analyzer?</p>

<p>Thanks a lot.</p><p><br></p>-- <br><div dir="ltr"><font color="#444444">Best regards,</font><div><font color="#444444">Arthur Yoo</font></div></div>

</div>

_______________________________________________<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>

</blockquote></div><br></div></blockquote></div><br></div></div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div dir="ltr"><font color="#444444">Best regards,</font><div><font color="#444444">岳佳圆 | Yue Jiayuan | Arthur Yoo</font></div>

</div>

</div>