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

Shared: autoformat

Browse Source
This commit is contained in:
Asger F
2024-12-17 11:26:56 +01:00
parent 8340841d54
commit e34fbc8bd1
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
shared/dataflow/codeql/dataflow/DataFlow.qll
View File

@@ -1025,7 +1025,9 @@ module DataFlowMake<LocationSig Location, InputSig<Location> Lang> {
MakeDiscriminatorPass<Pass1::discriminatedPair/2, edgesRev/4, subpathsRev/4>; MakeDiscriminatorPass<Pass1::discriminatedPair/2, edgesRev/4, subpathsRev/4>;
private newtype TPathNode = private newtype TPathNode =
TPreservedPathNode(InputPathNode node) { Pass2::discriminatedPathNode(node) or node = getUniqPathNode(_, _) } or TPreservedPathNode(InputPathNode node) {
Pass2::discriminatedPathNode(node) or node = getUniqPathNode(_, _)
} or
TCollapsedPathNode(Node node, string toString) { TCollapsedPathNode(Node node, string toString) {
initialCandidate(node, toString) and initialCandidate(node, toString) and
not Pass2::discriminatedPair(node, toString) not Pass2::discriminatedPair(node, toString)