added RULE-17-4

Author: s-samadi

c/misra/src/rules/RULE-17-4/NonVoidFunctionReturnCondition.ql

@@ -0,0 +1,24 @@
+/**
+ * @id c/misra/non-void-function-return-condition
+ * @name RULE-17-4: All exit paths from a function with non-void return type shall have an explicit return statement
+ * @description Not returning with an expression from a non-void function can lead to undefined
+ *              behaviour.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-17-4
+ *       correctness
+ *       maintainability
+ *       readability
+ *       external/misra/obligation/mandatory
+ */
+
+import cpp
+import codingstandards.c.misra
+import codingstandards.cpp.rules.nonvoidfunctiondoesnotreturn.NonVoidFunctionDoesNotReturn
+
+class NonVoidFunctionReturnConditionQuery extends NonVoidFunctionDoesNotReturnSharedQuery {
+  NonVoidFunctionReturnConditionQuery() {
+    this = Statements5Package::nonVoidFunctionReturnConditionQuery()
+  }
+}

c/misra/test/rules/RULE-17-4/NonVoidFunctionReturnCondition.testref

@@ -0,0 +1 @@
+c/common/test/rules/nonvoidfunctiondoesnotreturn/NonVoidFunctionDoesNotReturn.ql

rule_packages/c/Statements5.json

@@ -54,6 +54,7 @@
           "precision": "very-high",
           "severity": "error",
           "short_name": "NonVoidFunctionReturnCondition",
+          "shared_implementation_short_name": "NonVoidFunctionDoesNotReturn",
           "tags": [
             "correctness",
             "maintainability",