github
diff --git a/‎c/misra/src/rules/RULE-10-4/OperandsWithMismatchedEssentialTypeCategory.ql
Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-10-4/OperandsWithMismatchedEssentialTypeCategory.ql
+1-1Lines changed: 1 addition & 1 deletion b/‎c/misra/src/rules/RULE-10-4/OperandsWithMismatchedEssentialTypeCategory.ql
Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-10-4/OperandsWithMismatchedEssentialTypeCategory.ql
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎c/misra/test/rules/RULE-10-4/test.c
Copy file name to clipboardExpand all lines: c/misra/test/rules/RULE-10-4/test.c
+5Lines changed: 5 additions & 0 deletions b/‎c/misra/test/rules/RULE-10-4/test.c
Copy file name to clipboardExpand all lines: c/misra/test/rules/RULE-10-4/test.c
+5Lines changed: 5 additions & 0 deletions
@@ -38,7 +38,7 @@ where
     // be reported as non-compliant.
     leftOpTypeCategory = EssentiallyEnumType() and
     rightOpTypeCategory = EssentiallyEnumType() and
-    not leftOpEssentialType = rightOpEssentialType and
+    not leftOpEssentialType.getUnspecifiedType() = rightOpEssentialType.getUnspecifiedType() and
     message =
       "The operands of this operator with usual arithmetic conversions have mismatched essentially Enum types (left operand: "
         + leftOpEssentialType + ", right operand: " + rightOpEssentialType + ")."
 
@@ -37,4 +37,9 @@ void testOps() {
   enum { G };
   s32 + G;   // COMPLIANT
   c == '\n'; // COMPLIANT
+
+  typedef enum { H } E3;
+
+  E3 e3a = H;
+  e3a < H; // COMPLIANT
 }