C++: Fix Code Scanning error.

MathiasVP · MathiasVP · commit e0f5c584b976 · 2023-06-24T19:38:22.000+01:00
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql b/cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql
@@ -131,8 +131,8 @@ module Barrier2 {
   }
 
   Instruction getABarrierInstruction(FlowState2 state) {
-    exists(IRGuardCondition g, Operand right, ValueNumber value, boolean edge |
-      operandGuardChecks(g, value.getAUse(), right, state, edge) and
+    exists(IRGuardCondition g, ValueNumber value, boolean edge |
+      operandGuardChecks(g, value.getAUse(), _, state, edge) and
       result = value.getAnInstruction() and
       g.controls(result.getBlock(), edge)
     )

Original file line number	Diff line number	Diff line change
`@@ -131,8 +131,8 @@ module Barrier2 {`
`131`	`131`	`}`
`132`	`132`
`133`	`133`	`Instruction getABarrierInstruction(FlowState2 state) {`
`134`		`- exists(IRGuardCondition g, Operand right, ValueNumber value, boolean edge \|`
`135`		`- operandGuardChecks(g, value.getAUse(), right, state, edge) and`
	`134`	`+ exists(IRGuardCondition g, ValueNumber value, boolean edge \|`
	`135`	`+ operandGuardChecks(g, value.getAUse(), _, state, edge) and`
`136`	`136`	`result = value.getAnInstruction() and`
`137`	`137`	`g.controls(result.getBlock(), edge)`
`138`	`138`	`)`