Swift: undo commented out line

Robert Marsh · Robert Marsh · commit e54341a170c9 · 2023-07-26T17:12:06.000Z
diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll
@@ -709,7 +709,7 @@ predicate storeStep(Node node1, ContentSet c, Node node2) {
     node1.asExpr() = assign.getSource() and
     node2.(PostUpdateNode).getPreUpdateNode().asExpr() = subscript.getBase() and
     subscript = assign.getDest() and
-//    subscript.getBase().getType().(InOutType).getObjectType() instanceof ArrayType and
+    subscript.getBase().getType().(InOutType).getObjectType() instanceof ArrayType and
     c.isSingleton(any(Content::ArrayContent ac))
   )
   or

Original file line number	Diff line number	Diff line change
`@@ -709,7 +709,7 @@ predicate storeStep(Node node1, ContentSet c, Node node2) {`
`709`	`709`	`node1.asExpr() = assign.getSource() and`
`710`	`710`	`node2.(PostUpdateNode).getPreUpdateNode().asExpr() = subscript.getBase() and`
`711`	`711`	`subscript = assign.getDest() and`
`712`		`-// subscript.getBase().getType().(InOutType).getObjectType() instanceof ArrayType and`
	`712`	`+ subscript.getBase().getType().(InOutType).getObjectType() instanceof ArrayType and`
`713`	`713`	`c.isSingleton(any(Content::ArrayContent ac))`
`714`	`714`	`)`
`715`	`715`	`or`