Le dimanche 14 juin 2009 ￜ 16:32 +0800, yami a ￜcrit :
> Hi,
>
> I tried llvm (clang's scan-build) after reading your post.
> It is very easy to run scan-build, and it seems good to find unused
> statements.
> However for finding errors, false positives disappointed me.
Yes false positives are a show stopper.
BTW are you still working on your SAT patch?
I did update my changes but as I wrote I'm not sure a whole SAT is
needed for only building a truth table. As a matter of fact I removed
it.
Didier
