diff --git a/shared/dataflow/codeql/dataflow/DataFlow.qll b/shared/dataflow/codeql/dataflow/DataFlow.qll index 01ccfaebf4a7..400ed5746ebd 100644 --- a/shared/dataflow/codeql/dataflow/DataFlow.qll +++ b/shared/dataflow/codeql/dataflow/DataFlow.qll @@ -1025,7 +1025,9 @@ module DataFlowMake Lang> { MakeDiscriminatorPass; 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) { initialCandidate(node, toString) and not Pass2::discriminatedPair(node, toString)