なぜclang -Wempty-bodyはこのケースを検出しませんか？

Question

Xcode- C programming - While loopに応答した後、私は理論上の回答を停止し、Windowsボックスにclangをインストールして、警告診断部門のgccよりも本当に良いかどうかを確認しました。

私が間違っているこのコードをコンパイルするclangで-Wempty-bodyを使用していますので：

• 命令は長い時間がセミコロンで行を終了した後、セミコロン、可能なタイプミスで終わってしばらく...：無限ループ
  ：テスト無用

間違ったコードを作る

if for文と同じこと、

私はclang（5.0.0 x64のウィンドウ）でそれをコンパイルしようとした：

出力：whileがない間ifが検出された

S:\c>clang -Wempty-body test.c 
test.c:8:10: warning: if statement has empty body [-Wempty-body] 
    if (c); 
     ^

ので、空。

今、私はwhile後のブロックでデクリメント命令をラップしています：

int main(void) 
{ 
    char c=1; 
    while (c); 
    { --c; } 
    if (c); 
} 

今では適切に両方を検出するためのようだ：

test.c:6:10: warning: if statement has empty body [-Wempty-body] 
    if (c); 
test.c:4:13: warning: while loop has empty body [-Wempty-body] 
    while (c); 

ノート：gccが見ることができませんでしたwhileのいずれかのバグであるため、clangはまだ警告検出に関して明らかに優れています（why am I not getting an "used uninitialized" warning from gcc in this trivial example?も参照）

これの背後にあるヒューリスティックは何ですか？それはバグですか？

Answer 1

あまりにも多くの誤検出を避けるためです。一般的にif (expr);は意味がありませんが、exprの副作用により、式が真から偽に切り替わる可能性があるため、while (expr);はエラーである必要はありません。例えば、

void processAllElements() { 
    while (tryProcessNextElement()); 
} 

はここthe sourceがそれを説明する方法は次のとおりです。

// `for(...);' and `while(...);' are popular idioms, so in order to keep 
// noise level low, emit diagnostics only if for/while is followed by a 
// CompoundStmt, e.g.: 
// for (int i = 0; i < n; i++); 
// { 
//  a(i); 
// } 
// or if for/while is followed by a statement with more indentation 
// than for/while itself: 
// for (int i = 0; i < n; i++); 
//  a(i);