Misra: Added rule 15.3

addons/misra-test.c

@@ -84,3 +84,12 @@ void misra_15_2() {
 label:
   goto label; // 15.2 15.1
 }
+
+void misra_15_3() {
+  if (x!=0) {
+    goto L1; // 15.3 15.1
+    if (y!=0) {
+      L1:
+    }
+  }
+}

addons/misra.py

@@ -165,6 +165,17 @@ def noParentheses(tok1, tok2):
         tok1 = tok1.next
     return tok1 == tok2
 
+def findGotoLabel(gotoToken):
+    label = gotoToken.next.str
+    tok = gotoToken.next.next
+    while tok:
+        if tok.str == '}' and tok.scope.type == 'Function':
+            break
+        if tok.str == label and tok.next.str == ':':
+            return tok
+        tok = tok.next
+    return None
+
 def misra_5_1(data):
     for token in data.tokenlist:
         if token.isName and len(token.str) > 31:
@@ -335,15 +346,23 @@ def misra_15_2(data):
             continue
         if (not token.next) or (not token.next.isName):
             continue
-        label = token.next.str
+        if not findGotoLabel(token):
-        tok = token.next.next
+            reportError(token, 15, 2)
-        while tok:
+
-            if tok.str == '}' and tok.scope.type == 'Function':
+def misra_15_3(data):
-                reportError(token, 15, 2)
+    for token in data.tokenlist:
-                break
+        if token.str != 'goto':
-            if tok.str == label:
+            continue
-                break
+        if (not token.next) or (not token.next.isName):
-            tok = tok.next
+            continue
+        tok = findGotoLabel(token)
+        if not tok:
+            continue
+        scope = token.scope
+        while scope and scope != tok.scope:
+            scope = scope.nestedIn
+        if not scope:
+            reportError(token, 15, 3)
 
 for arg in sys.argv[1:]:
     print('Checking ' + arg + '...')
@@ -375,5 +394,6 @@ for arg in sys.argv[1:]:
         misra_14_4(cfg)
         misra_15_1(cfg)
         misra_15_2(cfg)
+        misra_15_3(cfg)