[cfe-dev] [StaticAnalyzer]: Cant get my checker to output

[Jim Goodnow II]

Hi Arjun,

Do you have a short example of the code that you are analyzing. It is 
possible that the static analyzer has determined that the if statement 
is in a path that never gets executed. It should still be in the AST 
though. You can use -ast-dump to look at the AST directly.

  - jim

On 9/28/2011 7:40 PM, John McCall wrote:
> On Sep 28, 2011, at 7:34 PM, funceval wrote:
>> Not even constant folding and constant propagation?
> Correct.  A few places in the AST, like array dimensions, do compute and store the value of a constant expression, but only in unevaluated contexts, and the original source information is never thrown away.
>
> John.
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>
>