Rule 15.5: Exclude functions without user bodies

 * Fix bracketing
 * Exclude compiler generated functions and functions without bodies.

Author: lcartey

c/misra/src/rules/RULE-15-5/FunctionReturnCondition.ql

@@ -18,9 +18,13 @@ import codingstandards.c.misra
 from Function func, string message
 where
   not isExcluded(func, Statements5Package::functionReturnConditionQuery()) and
-  count(ReturnStmt return | return.getEnclosingFunction() = func) > 1 and
-  message = "Function has more than on return statement."
-  or
-  not func.getBlock().getLastStmt() instanceof ReturnStmt and
-  message = "The last statement of the function is not a return statement."
+  func.hasDefinition() and
+  not func.isCompilerGenerated() and
+  (
+    count(ReturnStmt return | return.getEnclosingFunction() = func) > 1 and
+    message = "Function has more than on return statement."
+    or
+    not func.getBlock().getLastStmt() instanceof ReturnStmt and
+    message = "The last statement of the function is not a return statement."
+  )
 select func, message

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

@@ -24,4 +24,6 @@ void f4(int p1) { // NON_COMPLIANT
   }
   return;
   p1++;
-}
+}
+
+void f5(); // Ignored - no body