Skip to content

Commit 66637e8

Browse files
committed
Swift: Autoformat.
1 parent 81d4ec1 commit 66637e8

File tree

1 file changed

+6
-2
lines changed

1 file changed

+6
-2
lines changed

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

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -31,8 +31,12 @@ predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::ContentSet cs)
3131
// So when the node is a `PostUpdateNode` we allow any sequence of implicit read steps of an appropriate
3232
// type to make sure we arrive at the sink with an empty access path.
3333
exists(NominalTypeDecl d, Decl cx |
34-
pragma[only_bind_out](node).(DataFlow::PostUpdateNode).getPreUpdateNode().asExpr().getType().getUnderlyingType() =
35-
d.getType().getABaseType*() and
34+
pragma[only_bind_out](node)
35+
.(DataFlow::PostUpdateNode)
36+
.getPreUpdateNode()
37+
.asExpr()
38+
.getType()
39+
.getUnderlyingType() = d.getType().getABaseType*() and
3640
cx.asNominalTypeDecl() = d and
3741
cs.getAReadContent().(DataFlow::Content::FieldContent).getField() = cx.getAMember()
3842
)

0 commit comments

Comments
 (0)