Finding unnecessary negative value testing for unsigned integers

// BinaryExpr [ getOperationCode() = KTC_OPCODE_GE | getOperationCode() = KTC_OPCODE_LT ] [ Left.isUnsigned() ] [ Right.getIntValue() = 0 ]

1   void testUnsignedNegative()
2   {
3       unsigned int abc;
4       if (abc < 0); // MATCHES
5       while (abc >= 0); // MATCHES
6   }