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: Avoid duplication in fwdFlow1 disjunction.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-01-28 15:33:22 +01:00
parent b2d42ee49a
commit 2597ef651b
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

@@ -415,7 +415,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
private predicate compatibleContainer0(ApHeadContent apc, DataFlowType containerType) {
exists(DataFlowType containerType0, Content c |
PrevStage::storeStepCand(_, c, _, _, containerType0) and
not isTopType(containerType0) and
not topTypeContent(apc) and
compatibleTypesCached(containerType0, containerType) and
apc = projectToHeadContent(c)
)