Rule 7.0.2: Treat nullptr_t as a pointer for this rule

Author: lcartey

cpp/misra/src/rules/RULE-7-0-2/NoImplicitBoolConversion.ql

@@ -43,7 +43,8 @@ predicate isBitFieldOfSizeOne(Expr expr) {
 
 predicate isPointerType(Type t) {
   t.getUnspecifiedType() instanceof PointerType or
-  t.getUnspecifiedType() instanceof PointerToMemberType
+  t.getUnspecifiedType() instanceof PointerToMemberType or
+  t.getUnspecifiedType() instanceof NullPointerType
 }
 
 from Element e, string reason

cpp/misra/test/rules/RULE-7-0-2/NoImplicitBoolConversion.expected

@@ -9,7 +9,6 @@
 | test.cpp:99:30:99:31 | (bool)... | Conversion from 'int32_t' to 'bool'. |
 | test.cpp:112:12:112:13 | (bool)... | Conversion from 'int32_t' to 'bool'. |
 | test.cpp:127:13:127:16 | (bool)... | Conversion from 'int32_t *' to 'bool'. |
-| test.cpp:130:7:130:13 | (bool)... | Conversion from 'decltype(nullptr)' to 'bool'. |
 | test.cpp:135:13:135:32 | static_cast<bool>... | Conversion from 'int' to 'bool'. |
 | test.cpp:136:13:136:14 | (bool)... | Conversion from 'uint8_t' to 'bool'. |
 | test.cpp:148:13:148:13 | call to operator bool | Conversion operator call from 'TestClassImplicit' to 'bool'. |

cpp/misra/test/rules/RULE-7-0-2/test.cpp

@@ -127,7 +127,7 @@ void test_pointer_conversions() {
   bool l1 = f3();            // NON_COMPLIANT
   bool l2 = f3() != nullptr; // COMPLIANT
 
-  if (nullptr) { // NON_COMPLIANT
+  if (nullptr) { // COMPLIANT
   }
 }