Skip to content

Commit 20de4c6

Browse files
committed
Swift: autoformat DataFlowPrivate
1 parent 86bd216 commit 20de4c6

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -970,7 +970,7 @@ predicate readStep(Node node1, ContentSet c, Node node2) {
970970
exists(SubscriptExpr subscript |
971971
subscript.getBase() = node1.asExpr() and
972972
subscript = node2.asExpr() and
973-
c.isSingleton(any(Content::CollectionContent ac))
973+
c.isSingleton(any(Content::CollectionContent ac))
974974
)
975975
or
976976
// read of a dictionary value via subscript operator
@@ -1092,9 +1092,7 @@ class DataFlowExpr = Expr;
10921092
* Holds if access paths with `c` at their head always should be tracked at high
10931093
* precision. This disables adaptive access path precision for such access paths.
10941094
*/
1095-
predicate forceHighPrecision(Content c) {
1096-
c instanceof Content::CollectionContent
1097-
}
1095+
predicate forceHighPrecision(Content c) { c instanceof Content::CollectionContent }
10981096

10991097
/**
11001098
* Holds if the node `n` is unreachable when the call context is `call`.

0 commit comments

Comments
 (0)