do-while 循环体不应为空

空的 do-while 循环将功能全部压缩到了条件表达式中，各子句的职责划分不明确，可读性较差。

示例：

void foo(char* d, const char* s) {
    do {} while (*d++ = *s++);       // Non-compliant
}

示例代码将循环的条件和循环产生的副作用叠加在了一起，易使人误解。