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: Minor simplification.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2024-12-10 13:28:43 +01:00
parent 4e155f8542
commit 40f7713678
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -2043,7 +2043,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
exists(NodeEx node, FlowState state |
sourceNode(node, state) and
(if hasSourceCallCtx() then cc = true else cc = false) and
PrevStage::revFlow(node, state, getApprox(any(ApNil nil))) and
PrevStage::revFlow(node, state, any(PrevStage::ApNil nil)) and
c = node.getEnclosingCallable()
)
or