Swift: add EnumContent to clearsContent

Robert Marsh · Robert Marsh · commit 3ee3eabd958b · 2023-08-16T17:52:26.000Z
diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll
@@ -877,7 +877,8 @@ predicate clearsContent(Node n, ContentSet c) {
   n = any(PostUpdateNode pun | storeStep(_, c, pun)).getPreUpdateNode() and
   (
     c.isSingleton(any(Content::FieldContent fc)) or
-    c.isSingleton(any(Content::TupleContent tc))
+    c.isSingleton(any(Content::TupleContent tc)) or
+    c.isSingleton(any(Content::EnumContent ec))
   )
 }
 

Original file line number	Diff line number	Diff line change
`@@ -877,7 +877,8 @@ predicate clearsContent(Node n, ContentSet c) {`
`877`	`877`	`n = any(PostUpdateNode pun \| storeStep(_, c, pun)).getPreUpdateNode() and`
`878`	`878`	`(`
`879`	`879`	`c.isSingleton(any(Content::FieldContent fc)) or`
`880`		`- c.isSingleton(any(Content::TupleContent tc))`
	`880`	`+ c.isSingleton(any(Content::TupleContent tc)) or`
	`881`	`+ c.isSingleton(any(Content::EnumContent ec))`
`881`	`882`	`)`
`882`	`883`	`}`
`883`	`884`