update

Author: jeongsoolee09

c/misra/src/rules/RULE-6-2/SingleBitNamedBitFieldsOfASignedType.ql

@@ -32,17 +32,10 @@ predicate isSingleBit(BitField bitField) {
   bitField.getDeclaredNumBits() = 1
 }
 
-// predicate isNamedBitField(BitField bitField) {
-//   bitField.getName().length() != 0
-//   bitField.hasName(_)
-//   bitField.hasDefinition()
-//   wat
-// }
-
 from BitField bitField
 where
   not isExcluded(bitField, TypesPackage::singleBitNamedBitFieldsOfASignedTypeQuery()) and
   isSingleBit(bitField) and // Single-bit,
-  // isNamedBitField(bitField) and // named,
+  not bitField.isAnonymous() and // named,
   isSigned(bitField.getType()) // but its type is signed.
 select bitField, "Single-bit bit-field named " + bitField.toString() + " has a signed type " + bitField.getType() + "."

c/misra/test/rules/RULE-6-2/SingleBitNamedBitFieldsOfASignedType.expected

@@ -1 +1,4 @@
-No expected results have yet been specified
+| test.c:5:14:5:15 | x2 | Single-bit bit-field named x2 has a signed type signed int. |
+| test.c:7:7:7:8 | x3 | Single-bit bit-field named x3 has a signed type signed char. |
+| test.c:9:7:9:8 | x4 | Single-bit bit-field named x4 has a signed type signed short. |
+| test.c:14:11:14:12 | x7 | Single-bit bit-field named x7 has a signed type int32_t. |