Swift: Remove empty string DataFlowType in PathNode.

aschackmull · aschackmull · commit 3d0176309226 · 2023-04-26T13:10:01.000+02:00
diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll
@@ -802,7 +802,7 @@ DataFlowType getNodeType(NodeImpl n) {
 }
 
 /** Gets a string representation of a `DataFlowType`. */
-string ppReprType(DataFlowType t) { result = t.toString() }
+string ppReprType(DataFlowType t) { none() }
 
 /**
  * Holds if `t1` and `t2` are compatible, that is, whether data can flow from

Original file line number	Diff line number	Diff line change
`@@ -802,7 +802,7 @@ DataFlowType getNodeType(NodeImpl n) {`
`802`	`802`	`}`
`803`	`803`
`804`	`804`	/** Gets a string representation of a `DataFlowType`. */
`805`		`-string ppReprType(DataFlowType t) { result = t.toString() }`
	`805`	`+string ppReprType(DataFlowType t) { none() }`
`806`	`806`
`807`	`807`	`/**`
`808`	`808`	* Holds if `t1` and `t2` are compatible, that is, whether data can flow from