Relational comparison with bitwise results is always true/false

[Daniel Marjamäki]

Hello!

> I'm very surprised to see this being implemented in Analysis/CFG.cpp; this
> belongs in Sema/SemaChecking.cpp. It makes no sense to me to couple this
> check to building a CFG.

It is written in CFG since it makes the control flow analysis better if it knows that a condition is always true/false.

Best regards,
Daniel Marjamäki