【cppcheck】 (warning) Logical disjunction always evaluates to true

はじめに

C++の静的解析ツール「cppcheck」でソースコードを静的解析した場合に、以下の警告がでることがあります。

(warning) Logical disjunction always evaluates to true: val != 1 || val != 2

cppcheckのバージョン

• v1.65

サンプルプログラム

以下のソースプログラムを解析にかけると表示されます。

int func(int val)
{
  if (val != 1 || val != 2)
  {
    return 1;
  }
  return 0;
}

上記のように、否定 or 否定みたいな感じの間違いをしていると警告が表示されます。
変数valが1以外、または、2以外なので、valが2のときにifブロックに入ってしまいます。

関連記事

• 【cppcheck】(warning) Found calculation inside sizeof().
• C6305の解説 sizeof 数と countof 数の間で不一致が発生した可能性があります
• 【cppcheck】Variable 'xxx' is reassigned a value before the old one has been used.
• Visual C++ 2013でDLLを作成して動的読み込みしてみる。
• 【cppcheck】The code contains characters that are unhandled. Neither unicode nor extended ASCII are supported.