github · mbaluda · Apr 25, 2026 · Apr 25, 2026 · Apr 25, 2026 · Apr 25, 2026
diff --git a/change_notes/2026-04-25-fix-performance-inappropriate-bitwise-or-shift-operands.md b/change_notes/2026-04-25-fix-performance-inappropriate-bitwise-or-shift-operands.md
@@ -0,0 +1,2 @@
+- `RULE-7-0-4` - `InappropriateBitwiseOrShiftOperands.ql`:
+  - Improved evaluation performance of the `isValidShiftConstantRange` predicate by adding `bindingset[right, leftType]` and `pragma[inline_late]` annotations to guide the CodeQL optimizer.
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
		@@ -0,0 +1,2 @@
		- `RULE-7-0-4` - `InappropriateBitwiseOrShiftOperands.ql`:
		- Improved evaluation performance of the `isValidShiftConstantRange` predicate by adding `bindingset[right, leftType]` and `pragma[inline_late]` annotations to guide the CodeQL optimizer.