From 348232a599efcfb0faf53923e440f2273e3796ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Tue, 13 Mar 2018 14:22:25 +0100
Subject: [PATCH] misra.py: catch all 15.6 bugs in misra exemplar suite

---
 addons/misra.py | 34 ++++++++++++++++++++++++++++++++--
 1 file changed, 32 insertions(+), 2 deletions(-)

diff --git a/addons/misra.py b/addons/misra.py
index 2d214d9d2..427aa2387 100644
--- a/addons/misra.py
+++ b/addons/misra.py
@@ -46,6 +46,21 @@ def simpleMatch(token, pattern):
         token = token.next
     return True
 
+def rawlink(rawtoken):
+    if rawtoken.str == '}':
+        indent = 0
+        while rawtoken:
+            if rawtoken.str == '}':
+                indent = indent + 1
+            elif rawtoken.str == '{':
+                indent = indent - 1
+                if indent == 0:
+                    break
+            rawtoken = rawtoken.previous
+    else:
+        rawtoken = None
+    return rawtoken
+
 KEYWORDS = {
     'auto',
     'break',
@@ -747,14 +762,29 @@ def misra_15_6(rawTokens):
     indent = 0
     tok1 = None
     for token in rawTokens:
-        if token.str in {'if', 'for', 'while'}:
+        if token.str in ['if', 'for', 'while']:
             if simpleMatch(token.previous, '# if'):
                 continue
             if simpleMatch(token.previous, "} while"):
-                continue
+                # is there a 'do { .. } while'?
+                start = rawlink(token.previous)
+                if start and simpleMatch(start.previous, 'do {'):
+                    continue
+            if state == 2:
+                reportError(tok1, 15, 6)
             state = 1
             indent = 0
             tok1 = token
+        elif token.str == 'else':
+            if simpleMatch(token.previous, '# else'):
+                continue
+            if simpleMatch(token, 'else if'):
+                continue
+            if state == 2:
+                reportError(tok1, 15, 6)
+            state = 2
+            indent = 0
+            tok1 = token
         elif state == 1:
             if indent == 0 and token.str != '(':
                 state = 0