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

Data flow: Fix a bad join order

Browse Source
This commit is contained in:
Tom Hvitved
2025-01-09 12:58:16 +01:00
parent ca05697365
commit 91b6a6573c
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -595,12 +595,18 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
} }
pragma[nomagic] pragma[nomagic]
private ReturnKindExtOption getDisallowedReturnKind(ParamNodeEx p) { private ReturnKindExtOption getDisallowedReturnKind0(ParamNodeEx p) {
if allowParameterReturnInSelfEx(p) if allowParameterReturnInSelfEx(p)
then result.isNone() then result.isNone()
else p.isParameterOf(_, result.asSome().(ParamUpdateReturnKind).getPosition()) else p.isParameterOf(_, result.asSome().(ParamUpdateReturnKind).getPosition())
} }
bindingset[p]
pragma[inline_late]
private ReturnKindExtOption getDisallowedReturnKind(ParamNodeEx p) {
result = getDisallowedReturnKind0(p)
}
/** /**
* Holds if an argument to `call` is reached in the flow covered by `fwdFlow`. * Holds if an argument to `call` is reached in the flow covered by `fwdFlow`.
*/ */