(warning): Opposite inner ‘if’ condition leads to a dead code block.
警告:矛盾する逆条件はデッドコードになる[(warning)oppositeInnerCondition]
■デッドコードは2種類ある
２大コーディングルールで微妙に違います。
●MISRA-Cルールでは
実行されるが除去されてもプログラムの動作に影響を与えない演算。
■if文が矛盾しているので制御が来ない
#include <stdio.h>
int f(int x)
{
if(x != 0) {
if(x == 0){//NG
return 1;
}
}
return 0;
}
４行目と５行目が矛盾するので
６行目がデッドコードブロックになります。
■無条件breakでfor文更新に制御が来ない
warning: loop will run at most once
警告:ループは最大でも一度しか実行されない
[-Wunreachable-code-loop-increment]
#include <stdio.h>
int main(void)
{
for(int i = 0 ; i < 10 ; i++ ) {
printf("%d\n",i);
//回りたい？、止まりたい？ デバッグの残骸？
break ;
}
}
７行目にbreakがあるので、for文第三式 i++ が実行されません。
デバッグ文を書いたり消したりして
残骸として残った可能性がありますが、
保守者には break の意味がわかりません。
■デッドコードと防衛的コード
#include <stdio.h>
int f(int x){
switch(x%3){
case 0: return 0;
case 1: return 1;
case 2: return 2;
case 3: return 3;//ＮＧデッドコード
case 4: return 4;//ＮＧデッドコード
default: return 5;//ＯＫ防衛的コード
}
}
int main(void){
for(int i = 0;i<10;i++){
printf("%d\n",f(i));
}
}
ｘ％３の演算結果は0,1,2にしかならないので
case 3,case 4は到達不能のデッドコードとなります。
defaultにも制御はきませんがこれは防衛的コードなので
推奨される書き方です。
