[cfe-dev] Relational comparison with bitwise results is always true/false

[Anders Rönnholm]

Hi,
 
I intend to do a new check/dataflow analysis in the cfg. I made a Bitwise comparison always true check a couple of weeks ago for equality comparisons this one would check for relational comparisons instead.
 
e.g
if ((x & 64) < 65) // bitwise comparison always evaluates to true
 
I plan to implement it in the checkIncorrectRelationalOperator function where other always true/false evaluations are made.
Is this a check you would be interested in having?

//Anders