Skip to content

Commit

Permalink
Shared: autoformat
Browse files Browse the repository at this point in the history
  • Loading branch information
asgerf committed Dec 17, 2024
1 parent 8340841 commit e34fbc8
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion shared/dataflow/codeql/dataflow/DataFlow.qll
Original file line number Diff line number Diff line change
Expand Up @@ -1025,7 +1025,9 @@ module DataFlowMake<LocationSig Location, InputSig<Location> Lang> {
MakeDiscriminatorPass<Pass1::discriminatedPair/2, edgesRev/4, subpathsRev/4>;

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)
Expand Down

0 comments on commit e34fbc8

Please sign in to comment.