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.
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?