Avoid the default case by asserting the existence of case expr

jeongsoolee09 · jeongsoolee09 · commit db276dcdfb9e · 2026-03-23T15:38:43.000-04:00
diff --git a/cpp/misra/src/rules/RULE-10-2-3/UnscopedEnumWithoutFixedUnderlyingTypeUsed.ql b/cpp/misra/src/rules/RULE-10-2-3/UnscopedEnumWithoutFixedUnderlyingTypeUsed.ql
@@ -184,7 +184,7 @@ predicate switchConditionIsAnUnfixedEnumVariant(SwitchStmt switch, Enum enum, Sw
   isUnscopedEnumWithoutFixedUnderlyingType(enum) and
   enum = switch.getExpr().getType() and
   invalidCase = switch.getASwitchCase() and
-  not invalidCase.getExpr().getUnderlyingType() = enum
+  invalidCase.getExpr().getUnderlyingType() != enum
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -184,7 +184,7 @@ predicate switchConditionIsAnUnfixedEnumVariant(SwitchStmt switch, Enum enum, Sw`
`184`	`184`	`isUnscopedEnumWithoutFixedUnderlyingType(enum) and`
`185`	`185`	`enum = switch.getExpr().getType() and`
`186`	`186`	`invalidCase = switch.getASwitchCase() and`
`187`		`- not invalidCase.getExpr().getUnderlyingType() = enum`
	`187`	`+ invalidCase.getExpr().getUnderlyingType() != enum`
`188`	`188`	`}`
`189`	`189`
`190`	`190`	`/**`