[PATCH] Bitwise comparison always true

[Anders Rönnholm]

Hi,

I have made a small patch which improves the CFG equality operator evaluation to detect logical errors in bitwise comparisons.

It finds logical errors in and/or operations that always evaluates to true/false such as.
(x & 8) == 4

//Anders
-------------- next part --------------
A non-text attachment was scrubbed...
Name: bitwisecomparison.diff
Type: text/x-patch
Size: 5245 bytes
Desc: bitwisecomparison.diff
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140516/fdeb7157/attachment.bin>