EN JP CN

LA_UNUSED

LA_UNUSED

使用されていないラベル

LA_UNUSED チェッカーは、使用されていないラベルを検出します。

脆弱コード例

1   int func(int a, int x)
2   {
3       if(a)
4           goto label2;
5   
6       a = 10;
7      goto label2;
8       
9       label1:
10          return x;
11      label2:
12          return 0;
13  }

Klocwork 'label1' が使用されていないことを示す 9 行目にフラグを立てます。