CS.LA_UNUSED

Unused label.

The LA_UNUSED checker finds unused labels.

Vulnerable code example

Copy
  using System;
 using System.Security;
 using System.Security.Permissions;
 
 namespace TransparencyWarningsDemo
 {
 
     public class TransparentMethodsUseSecurityAssertsClass
     {
        public void test()
        {
             if(a) goto c;
             a=10;
             goto c;
             a:
                 return x;
             c:
                 return 0;
        }
     }
 }

Klocwork flags that label 'a' is not used.