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

Dataflow: Fix poor join-order

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-01-16 13:04:05 +01:00
parent 3ffc616179
commit 20af2d5fe2
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -4392,6 +4392,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
Typ getTyp(DataFlowType t) { result = t } Typ getTyp(DataFlowType t) { result = t }
bindingset[c, tail] bindingset[c, tail]
pragma[inline_late]
Ap apCons(Content c, Ap tail) { result.isCons(c, tail) } Ap apCons(Content c, Ap tail) { result.isCons(c, tail) }
class ApHeadContent = Content; class ApHeadContent = Content;
@@ -4461,6 +4462,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
abstract Content getHead(); abstract Content getHead();
/** Holds if this is a representation of `head` followed by `tail`. */ /** Holds if this is a representation of `head` followed by `tail`. */
pragma[nomagic]
abstract predicate isCons(Content head, AccessPath tail); abstract predicate isCons(Content head, AccessPath tail);
/** Gets the front of this access path. */ /** Gets the front of this access path. */