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

[Jordan Rose]

On Dec 11, 2013, at 13:45, Richard <legalize at xmission.com> wrote:

> 
> In article <136FAAF3-BC16-4A29-AE6C-3B9E373948F7 at apple.com>,
>    Jordan Rose <jordan_rose at apple.com> writes:
> 
>> ParenExpr is pretty much always treated as transparent, so I don't feel bad
>> about not allowing checkers to evaluate it.
> 
> Does this imply that I can't write a checker that calls out
> unnecessary parenthesis?

You can, but it has to do it using an AST walk, not a path-sensitive simulation.

Jordan