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

[Jordan Rose]

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)
Jordan


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>