Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll

MathiasVP · Copilot · web-flow · commit 5e9fd12d8c71 · 2026-01-16T12:25:12.000Z
Co-authored-by: Copilot &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
@@ -1164,7 +1164,7 @@ private module RawIndirectNodes {
     override predicate isGLValue() { this.getInstruction().isGLValue() }
 
     override Type getType() {
-      exists(int sub, DataFlowType type, boolean isGLValue |
+      exists(int sub, Type type, boolean isGLValue |
         type = getInstructionType(this.getInstruction(), isGLValue) and
         if isGLValue = true then sub = 1 else sub = 0
       |

Original file line number	Diff line number	Diff line change
`@@ -1164,7 +1164,7 @@ private module RawIndirectNodes {`
`1164`	`1164`	`override predicate isGLValue() { this.getInstruction().isGLValue() }`
`1165`	`1165`
`1166`	`1166`	`override Type getType() {`
`1167`		`- exists(int sub, DataFlowType type, boolean isGLValue \|`
	`1167`	`+ exists(int sub, Type type, boolean isGLValue \|`
`1168`	`1168`	`type = getInstructionType(this.getInstruction(), isGLValue) and`
`1169`	`1169`	`if isGLValue = true then sub = 1 else sub = 0`
`1170`	`1170`	`\|`