From 7be762e60179164c7339370e32c0048e22d53a75 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Thu, 12 Nov 2026 17:26:11 +0100 Subject: [PATCH] C++: Small cleanup on FlowSummaryImpl.qll --- .../code/cpp/dataflow/internal/FlowSummaryImpl.qll | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll index 6c613308d5f4..79d16f41f165 100644 --- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll +++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll @@ -275,12 +275,12 @@ private module Input2 implements Impl::Private::InputSig2 { exists(DataFlowCall call | exists(ArgumentPosition pos | sc = Impl::Private::SummaryComponent::argument(pos) and - pos.getArgument(call.asCallInstruction().getUnconvertedResultExpression()) = e - | - pos.getIndirectionIndex() = 0 and - result.(PostUpdateNode).getPreUpdateNode().asExpr() = e - or - result.(PostUpdateNode).getPreUpdateNode().asIndirectExpr(pos.getIndirectionIndex()) = e + pos.getArgument(call.asCallInstruction().getUnconvertedResultExpression()) = e and + result + .(PostUpdateNode) + .getPreUpdateNode() + .(ArgumentNode) + .sourceArgumentOf(call.asCallInstruction(), pos) ) or exists(ReturnKind rk |