
<html><head><meta http-equiv="Content-Type" content="text/html charset=GB2312"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>ParenExpr is pretty much always treated as transparent, so I don't feel bad about not allowing checkers to evaluate it. UnaryExprOrTypeTraitExpr can be completely evaluated by the compiler, so I'm not sure what sort of path-sensitive analysis you'd want there. (If you're just trying to check syntactic properties, an AST walk would be better.) MemberExpr should certainly have a pre-call check. Patches welcome?</div><div><br></div><div>(if not, I'll get to it soon-ish)</div><div>Jordan</div><div><br></div><br><div><div>On Dec 4, 2013, at 5:02 , Arthur Yoo <<a href="mailto:phjy007@gmail.com">phjy007@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr">Thank you, Jordan. Your reply really helps me.<div><br></div><div>I have another question. Is it true that the Analyzer doesn't give checkers chances to evaluate UnaryExprOrTypeTraitExpr(sizeof/alignof), ParenExpr and MemberExpr? If I want to catch these kinds of Expr in my checker, what can I do? </div>

<div><br></div><div>Thank you.</div><div class="gmail_extra"><div class="gmail_quote"><br></div><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></div>

</blockquote></div><br></body></html>