Commitf7cd25e

committed

BuiltInTypeRules: Handle bit fields in switch cases

1 parentbc7bf51 commitf7cd25eCopy full SHA for f7cd25e

File tree

-1

lines changed

-1

lines changed

Lines changed: 9 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -243,8 +243,16 @@ predicate isPreConversionAssignment(Expr source, Type targetType, string context`
`243`	`243`	`exists(SwitchCasecase,SwitchStmtswitch\|`
`244`	`244`	`case.getExpr()=sourceand`
`245`	`245`	`case.getSwitchStmt()=switchand`
`246`		`-targetType=switch.getExpr().getFullyConverted().getType()and`
`247`	`246`	`context="switch case"`
	`247`	`+\|`
	`248`	`+ifswitch.getExpr().(FieldAccess).getTarget()instanceofBitField`
	`249`	`+then`
	`250`	`+// For the MISRA type rules we treat bit fields as a special case`
	`251`	`+targetType=getBitFieldType(switch.getExpr().(FieldAccess).getTarget())`
	`252`	`+else`
	`253`	`+// Regular variable initialization`
	`254`	`+// Get the type of the switch expression, which is the type of the case expression`
	`255`	`+targetType=switch.getExpr().getFullyConverted().getType()`
`248`	`256`	`)`
`249`	`257`	`or`
`250`	`258`	`// Class aggregate literal initialization`

Comments

(0)