Swift: Simplify FloatPoint model now that it works to do so.

geoffw0 · geoffw0 · commit 3d552d7d5dc4 · 2023-10-02T11:59:26.000+01:00
diff --git a/swift/ql/lib/codeql/swift/frameworks/StandardLibrary/Numeric.qll b/swift/ql/lib/codeql/swift/frameworks/StandardLibrary/Numeric.qll
@@ -89,7 +89,7 @@ private class NumericFieldsInheritTaint extends TaintInheritingContent,
         )
         or
         (
-          className = ["Double", "Float", "Float80", "FloatingPoint"] and
+          className = "FloatingPoint" and
           fieldName = ["exponent", "significand"]
         )
         or

Original file line number	Diff line number	Diff line change
`@@ -89,7 +89,7 @@ private class NumericFieldsInheritTaint extends TaintInheritingContent,`
`89`	`89`	`)`
`90`	`90`	`or`
`91`	`91`	`(`
`92`		`- className = ["Double", "Float", "Float80", "FloatingPoint"] and`
	`92`	`+ className = "FloatingPoint" and`
`93`	`93`	`fieldName = ["exponent", "significand"]`
`94`	`94`	`)`
`95`	`95`	`or`