Skip to content

Commit 84a3435

Browse files
committed
Shared: Remove useless existential.
1 parent 933338f commit 84a3435

1 file changed

Lines changed: 2 additions & 5 deletions

File tree

shared/dataflow/codeql/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1904,13 +1904,10 @@ module Make<
19041904
summaryLocalStepImpl(predSummary, succ, preservesValue, model)
19051905
)
19061906
or
1907-
exists(
1908-
FlowSummaryCallBase summaryCall, ReturnKind rk, SummarizedCallable sc,
1909-
SummaryComponentStack output
1910-
|
1907+
exists(FlowSummaryCallBase summaryCall, ReturnKind rk, SummarizedCallable sc |
19111908
pred = StepsInput::getSourceOutNode(summaryCall, rk) and
19121909
summaryCall = getASourceCall(sc) and
1913-
summary(sc, SummaryComponentStack::return(rk), output, preservesValue, model) and
1910+
summary(sc, SummaryComponentStack::return(rk), _, preservesValue, model) and
19141911
succ = TSummaryReturnArgumentNode(summaryCall, rk)
19151912
)
19161913
}

0 commit comments

Comments
 (0)