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

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2026-01-16 12:25:12 +00:00
committed by GitHub
parent 6da7890ff5
commit 5e9fd12d8c

View File

@@ -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
|