hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Dataflow: Fix a poor join-order.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-01-16 10:25:55 +01:00
parent a2aefc9d61
commit f11ae49312
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
View File

@@ -3127,6 +3127,14 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
override predicate isSource() { sourceNode(node, state) } override predicate isSource() { sourceNode(node, state) }
} }
bindingset[p, state, t, ap, stored]
pragma[inline_late]
private SummaryCtxSome mkSummaryCtxSome(
ParamNodeEx p, FlowState state, Typ t, Ap ap, TypOption stored
) {
result = TSummaryCtxSome(p, state, t, ap, stored)
}
pragma[nomagic] pragma[nomagic]
private predicate fwdFlowInStep( private predicate fwdFlowInStep(
ArgNodeEx arg, ParamNodeEx p, FlowState state, Cc outercc, CcCall innercc, ArgNodeEx arg, ParamNodeEx p, FlowState state, Cc outercc, CcCall innercc,
@@ -3138,7 +3146,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
or or
FwdFlowInThrough::fwdFlowIn(_, arg, _, p, state, outercc, innercc, outerSummaryCtx, t, FwdFlowInThrough::fwdFlowIn(_, arg, _, p, state, outercc, innercc, outerSummaryCtx, t,
ap, stored, _) and ap, stored, _) and
innerSummaryCtx = TSummaryCtxSome(p, state, t, ap, stored) innerSummaryCtx = mkSummaryCtxSome(p, state, t, ap, stored)
} }
pragma[nomagic] pragma[nomagic]