Checkers:LA_UNUSED

From current

Unused label. This is a potentially critical situation if a mistake was made in case of default labels.

Example 1 

1  main(){
2    if(a) goto c;
3    a=10;
4    goto c;
5  a:
6    return x;
7  c:
8    return 0;
9   }

Issue reported for this sample indicates that label 'a' is not used.

Security Guidelines

Retrieved from "http://www.klocwork.com/products/documentation/current/Checkers:LA_UNUSED"