hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 13:45:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Swift: Fix inline expectations.

Browse Source
This commit is contained in:
Geoffrey White
2023-09-13 19:06:54 +01:00
parent 535a69cd8b
commit 6aa8daeeb6
2 changed files with 6 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
swift/ql/test/library-tests/dataflow/dataflow/DataFlowInline.expected
View File

@@ -1,12 +1,2 @@
failures
testFailures
| test.swift:846:15:846:21 | ...[...] | Unexpected result: flow=871 |
| test.swift:846:24:847:1 | // $ flow=863\n | Missing result:flow=863 |
| test.swift:850:15:850:15 | v | Unexpected result: flow=872 |
| test.swift:850:18:851:1 | // $ flow=864\n | Missing result:flow=864 |
| test.swift:859:15:859:21 | ...[...] | Unexpected result: flow=873 |
| test.swift:859:24:860:1 | // $ SPURIOUS: flow=865\n | Fixed spurious result:flow=865 |
| test.swift:860:15:860:21 | ...[...] | Unexpected result: flow=873 |
| test.swift:860:24:861:1 | // $ flow=865\n | Missing result:flow=865 |
| test.swift:867:15:867:38 | \\...[...] | Unexpected result: flow=873 |
| test.swift:867:41:868:1 | // $ flow=865\n | Missing result:flow=865 |

12
swift/ql/test/library-tests/dataflow/dataflow/test.swift
View File

@@ -843,11 +843,11 @@ func testNestedKeyPathWrite() {
func testVarargs1(args: Int...) {
sink(arg: args)
sink(arg: args[0]) // $ flow=863
sink(arg: args[0]) // $ flow=871
}
func testVarargs2(_ v: Int, _ args: Int...) {
sink(arg: v) // $ flow=864
sink(arg: v) // $ flow=872
sink(arg: args)
sink(arg: args[0])
sink(arg: args[1])
@@ -856,15 +856,15 @@ func testVarargs2(_ v: Int, _ args: Int...) {
func testVarargs3(_ v: Int, _ args: Int...) {
sink(arg: v)
sink(arg: args)
sink(arg: args[0]) // $ SPURIOUS: flow=865
sink(arg: args[1]) // $ flow=865
sink(arg: args[0]) // $ SPURIOUS: flow=873
sink(arg: args[1]) // $ flow=873
for arg in args {
sink(arg: arg) // $ MISSING: flow=865
sink(arg: arg) // $ MISSING: flow=873
}
let myKeyPath = \[Int][1]
sink(arg: args[keyPath: myKeyPath]) // $ flow=865
sink(arg: args[keyPath: myKeyPath]) // $ flow=873
}
func testVarargsCaller() {