LA_UNUSEDUnused labelThe LA_UNUSED checker finds unused labels. Vulnerable code example
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 flags line 9 to indicate that the label 'label1' is not used. |