DIR-4-11: Add query for checking math.h functions

Add query which detects domain and pole errors for math.h functions.

Author: lcartey

c/misra/src/rules/DIR-4-11/CheckMathLibraryFunctionParameters.ql

@@ -0,0 +1,22 @@
+/**
+ * @id c/misra/check-math-library-function-parameters
+ * @name DIR-4-11: The validity of values passed to `math.h` library functions shall be checked
+ * @description Range, domain or pole errors in math functions may return unexpected values, trigger
+ *              floating-point exceptions or set unexpected error modes.
+ * @kind problem
+ * @precision high
+ * @problem.severity error
+ * @tags external/misra/id/dir-4-11
+ *       correctness
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.c.misra
+import codingstandards.cpp.rules.uncheckedrangedomainpoleerrors.UncheckedRangeDomainPoleErrors
+
+class CheckMathLibraryFunctionParametersQuery extends UncheckedRangeDomainPoleErrorsSharedQuery {
+  CheckMathLibraryFunctionParametersQuery() {
+    this = ContractsPackage::checkMathLibraryFunctionParametersQuery()
+  }
+}

c/misra/test/rules/DIR-4-11/CheckMathLibraryFunctionParameters.testref

@@ -0,0 +1 @@
+c/common/test/rules/uncheckedrangedomainpoleerrors/UncheckedRangeDomainPoleErrors.ql