[cfe-commits] [patch] Basic constant folding for analyzer's SimpleSValuator

[Ted Kremenek]

Awesome!  Looks great to me!

On Jun 18, 2010, at 4:48 PM, Jordy Rose wrote:

> Adds analyzer support for idempotent and tautological binary operations
> such as "a*0" and "a+0". This is not very powerful, but does make the
> analyzer look a little smarter than it actually is.<constant-folding.patch>_______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits