符号なし整数のテストに含まれる不要な負の値を検索する
// 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 }