[cfe-dev] How does Clang Staic Analyzer deal with DeclRefExpr?

Jordan Rose jordan_rose at apple.com
Thu Dec 5 09:29:25 PST 2013

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?

(if not, I'll get to it soon-ish)

On Dec 4, 2013, at 5:02 , Arthur Yoo <phjy007 at gmail.com> wrote:

> Thank you, Jordan. Your reply really helps me.
> 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? 
> Thank you.
> -- 
> Best regards,
> 岳佳圆 | Yue Jiayuan | Arthur Yoo

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20131205/ca732a57/attachment.html>

More information about the cfe-dev mailing list