Skip to content

Commit f64f2bf

Browse files
authored
Make IrqlTooLow's behavior consistent with IrqlTooHigh (#199)
* Make IRQLTooLow's behavior consistent with IRQLTooHigh * Bump IrqlTooLow query version
1 parent e7f18b4 commit f64f2bf

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

src/drivers/general/queries/IrqlTooLow/IrqlTooLow.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@
1818
* ca_ported
1919
* wddst
2020
* @scope domainspecific
21-
* @query-version v2
21+
* @query-version v3
2222
*/
2323

2424
import cpp
@@ -34,7 +34,7 @@ where
3434
irqlFunc.(IrqlRequiresAnnotatedFunction).getIrqlLevel() = irqlRequirement
3535
) and
3636
irqlRequirement != -1 and
37-
irqlRequirement > getPotentialExitIrqlAtCfn(prior)
37+
irqlRequirement > max(getPotentialExitIrqlAtCfn(prior))
3838
select call,
3939
"$@: IRQL potentially too low at call to $@. Minimum IRQL for this call: " + irqlRequirement +
4040
", IRQL at preceding node: " + max(getPotentialExitIrqlAtCfn(prior)), call.getControlFlowScope(),

0 commit comments

Comments
 (0)