Rule 15.3: Address compiler compatibility issues

Labels must be before a statement.

Author: lcartey

c/misra/test/rules/RULE-15-3/GotoLabelBlockCondition.expected

@@ -1,3 +1,3 @@
 | test.c:2:3:2:10 | goto ... | The $@ statement and its $@ are not declared or enclosed in the same block. | test.c:2:3:2:10 | goto ... | goto | test.c:4:3:4:5 | label ...: | label |
-| test.c:37:3:37:10 | goto ... | The $@ statement and its $@ are not declared or enclosed in the same block. | test.c:37:3:37:10 | goto ... | goto | test.c:41:3:41:5 | label ...: | label |
-| test.c:52:5:52:12 | goto ... | The $@ statement and its $@ are not declared or enclosed in the same block. | test.c:52:5:52:12 | goto ... | goto | test.c:55:3:55:5 | label ...: | label |
+| test.c:40:3:40:10 | goto ... | The $@ statement and its $@ are not declared or enclosed in the same block. | test.c:40:3:40:10 | goto ... | goto | test.c:44:3:44:5 | label ...: | label |
+| test.c:55:5:55:12 | goto ... | The $@ statement and its $@ are not declared or enclosed in the same block. | test.c:55:5:55:12 | goto ... | goto | test.c:58:3:58:5 | label ...: | label |

c/misra/test/rules/RULE-15-3/test.c

@@ -2,6 +2,7 @@ void f1() {
   goto L1;
   for (int i = 0; i < 100; i++) {
   L1: // NON_COMPLIANT
+    break;
   }
 }
 
@@ -13,6 +14,7 @@ void f2() {
     }
   }
 L2: // COMPLIANT
+  return;
 }
 
 void f3() {
@@ -21,6 +23,7 @@ void f3() {
     for (int j = 0; j < 10; j++) {
       goto L3;
     L3: // COMPLIANT
+      break;
     }
   }
 }