Skip to content

Commit 3f69678

Browse files
Update shared/typeflow/codeql/typeflow/internal/TypeFlowImpl.qll
Co-authored-by: Anders Schack-Mulligen <[email protected]>
1 parent 1775bde commit 3f69678

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

shared/typeflow/codeql/typeflow/internal/TypeFlowImpl.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ module TypeFlow<LocationSig Location, TypeFlowInput<Location> I> {
1919
* Holds if data can flow from `n1` to `n2` in one step, `n1` is not necessarily
2020
* functionally determined by `n2`, and `n1` might take a non-null value.
2121
*/
22-
predicate joinStep(TypeFlowNode n1, TypeFlowNode n2) { I::joinStep(n1, n2) and not isNull(n1) }
22+
private predicate joinStep(TypeFlowNode n1, TypeFlowNode n2) { I::joinStep(n1, n2) and not isNull(n1) }
2323

2424
private predicate anyStep(TypeFlowNode n1, TypeFlowNode n2) { joinStep(n1, n2) or step(n1, n2) }
2525

0 commit comments

Comments
 (0)