Fix perofmance inappropriate-bitwise-or-shift-operands

mbaluda · mbaluda · commit 48e7aa8b7f78 · 2026-04-25T15:55:51.000+02:00
diff --git a/cpp/misra/src/rules/RULE-7-0-4/InappropriateBitwiseOrShiftOperands.ql b/cpp/misra/src/rules/RULE-7-0-4/InappropriateBitwiseOrShiftOperands.ql
@@ -22,6 +22,8 @@ predicate isConstantExpression(Expr e) {
   e.isConstant()
 }
 
+bindingset[right, leftType]
+pragma[inline_late]
 predicate isValidShiftConstantRange(Expr right, Type leftType) {
   exists(int value |
     value = right.getValue().toInt() and

Original file line number	Diff line number	Diff line change
`@@ -22,6 +22,8 @@ predicate isConstantExpression(Expr e) {`
`22`	`22`	`e.isConstant()`
`23`	`23`	`}`
`24`	`24`
	`25`	`+bindingset[right, leftType]`
	`26`	`+pragma[inline_late]`
`25`	`27`	`predicate isValidShiftConstantRange(Expr right, Type leftType) {`
`26`	`28`	`exists(int value \|`
`27`	`29`	`value = right.getValue().toInt() and`