FloatingTypes: Add query for FLP32-C

FLP32-C is a straight import of the AUTOSAR rule A0-4-4-.

Author: lcartey

c/cert/src/rules/FLP32-C/UncheckedRangeDomainPoleErrors.md

@@ -0,0 +1,22 @@
+/**
+ * @id c/cert/unchecked-range-domain-pole-errors
+ * @name FLP32-C: Prevent or detect domain and range errors in math functions
+ * @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/cert/id/flp32-c
+ *       correctness
+ *       external/cert/obligation/rule
+ */
+
+import cpp
+import codingstandards.c.cert
+import codingstandards.cpp.rules.uncheckedrangedomainpoleerrors.UncheckedRangeDomainPoleErrors
+
+class UncheckedRangeDomainPoleErrorsQuery extends UncheckedRangeDomainPoleErrorsSharedQuery {
+  UncheckedRangeDomainPoleErrorsQuery() {
+    this = FloatingTypesPackage::uncheckedRangeDomainPoleErrorsQuery()
+  }
+}

c/cert/src/rules/FLP32-C/UncheckedRangeDomainPoleErrors.ql

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

c/cert/test/rules/FLP32-C/UncheckedRangeDomainPoleErrors.testref

@@ -0,0 +1,18 @@
+| test.c:4:3:4:6 | call to acos | Domain error in call to acos: the argument has a range -1.1...-1.1 which is outside the domain of this function (-1.0...1.0). |
+| test.c:8:3:8:6 | call to acos | Domain error in call to acos: the argument has a range 1.1...1.1 which is outside the domain of this function (-1.0...1.0). |
+| test.c:9:3:9:6 | call to asin | Domain error in call to asin: the argument has a range -1.1...-1.1 which is outside the domain of this function (-1.0...1.0). |
+| test.c:13:3:13:6 | call to asin | Domain error in call to asin: the argument has a range 1.1...1.1 which is outside the domain of this function (-1.0...1.0). |
+| test.c:14:3:14:7 | call to atanh | Domain error in call to atanh: the argument has a range -1.1...-1.1 which is outside the domain of this function (-1.0...1.0). |
+| test.c:18:3:18:7 | call to atanh | Domain error in call to atanh: the argument has a range 1.1...1.1 which is outside the domain of this function (-1.0...1.0). |
+| test.c:19:3:19:7 | call to atan2 | Domain error in call to atan2: both arguments are equal to zero. |
+| test.c:23:3:23:5 | call to pow | Domain error in call to pow: both arguments are equal to zero. |
+| test.c:27:3:27:5 | call to pow | Domain error in call to pow: both arguments are less than zero. |
+| test.c:33:3:33:7 | call to acosh | Domain error in call to acosh: argument is less than 1. |
+| test.c:34:3:34:7 | call to ilogb | Domain error in call to ilogb: argument is equal to zero. |
+| test.c:37:3:37:5 | call to log | Domain error in call to log: argument is negative. |
+| test.c:40:3:40:7 | call to log10 | Domain error in call to log10: argument is negative. |
+| test.c:43:3:43:6 | call to log2 | Domain error in call to log2: argument is negative. |
+| test.c:46:3:46:6 | call to sqrt | Domain error in call to sqrt: argument is negative. |
+| test.c:49:3:49:7 | call to log1p | Domain error in call to log1p: argument is less than 1. |
+| test.c:52:3:52:6 | call to logb | Domain error in call to logb: argument is equal to zero. |
+| test.c:55:3:55:8 | call to tgamma | Domain error in call to tgamma: argument is equal to zero. |

c/common/test/rules/uncheckedrangedomainpoleerrors/UncheckedRangeDomainPoleErrors.expected

@@ -0,0 +1,2 @@
+// GENERATED FILE - DO NOT MODIFY
+import codingstandards.cpp.rules.uncheckedrangedomainpoleerrors.UncheckedRangeDomainPoleErrors

c/common/test/rules/uncheckedrangedomainpoleerrors/UncheckedRangeDomainPoleErrors.ql

@@ -0,0 +1,58 @@
+#include <math.h>
+
+void test() {
+  acos(-1.1f);       // NON_COMPLIANT
+  acos(-1.0f);       // COMPLIANT
+  acos(0.0f);        // COMPLIANT
+  acos(1.0f);        // COMPLIANT
+  acos(1.1f);        // NON_COMPLIANT
+  asin(-1.1f);       // NON_COMPLIANT
+  asin(-1.0f);       // COMPLIANT
+  asin(0.0f);        // COMPLIANT
+  asin(1.0f);        // COMPLIANT
+  asin(1.1f);        // NON_COMPLIANT
+  atanh(-1.1f);      // NON_COMPLIANT
+  atanh(-1.0f);      // COMPLIANT
+  atanh(0.0f);       // COMPLIANT
+  atanh(1.0f);       // COMPLIANT
+  atanh(1.1f);       // NON_COMPLIANT
+  atan2(0.0f, 0.0f); // NON_COMPLIANT
+  atan2(1.0f, 0.0f); // COMPLIANT
+  atan2(0.0f, 1.0f); // COMPLIANT
+  atan2(1.0f, 1.0f); // COMPLIANT
+  pow(0.0f, 0.0f);   // NON_COMPLIANT
+  pow(1.0f, 0.0f);   // COMPLIANT
+  pow(0.0f, 1.0f);   // COMPLIANT
+  pow(1.0f, 1.0f);   // COMPLIANT
+  pow(-1.0f, -1.0f); // NON_COMPLIANT
+  pow(-1.0f, 0.0f);  // COMPLIANT
+  pow(0.0f, -1.0f);  // COMPLIANT
+  pow(1.0f, -1.0f);  // COMPLIANT
+  pow(-1.0f, 1.0f);  // COMPLIANT
+  acosh(1.0f);       // COMPLIANT
+  acosh(0.9f);       // NON_COMPLIANT
+  ilogb(0.0f);       // NON_COMPLIANT
+  ilogb(1.0f);       // COMPLIANT
+  ilogb(-1.0f);      // COMPLIANT
+  log(-1.0f);        // NON_COMPLIANT
+  log(0.0f);         // COMPLIANT
+  log(1.0f);         // COMPLIANT
+  log10(-1.0f);      // NON_COMPLIANT
+  log10(0.0f);       // COMPLIANT
+  log10(1.0f);       // COMPLIANT
+  log2(-1.0f);       // NON_COMPLIANT
+  log2(0.0f);        // COMPLIANT
+  log2(1.0f);        // COMPLIANT
+  sqrt(-1.0f);       // NON_COMPLIANT
+  sqrt(0.0f);        // COMPLIANT
+  sqrt(1.0f);        // COMPLIANT
+  log1p(-2.0f);      // NON_COMPLIANT
+  log1p(-1.0f);      // COMPLIANT
+  log1p(0.0f);       // COMPLIANT
+  logb(0.0f);        // NON_COMPLIANT
+  logb(1.0f);        // COMPLIANT
+  logb(-1.0f);       // COMPLIANT
+  tgamma(0.0f);      // NON_COMPLIANT
+  tgamma(1.0f);      // COMPLIANT
+  tgamma(-1.1f);     // COMPLIANT
+}