Skip to content

Commit 098ea50

Browse files
committed
Swift: Repair non-inline dataflow test.
1 parent 6e29171 commit 098ea50

File tree

2 files changed

+13
-1
lines changed

2 files changed

+13
-1
lines changed

swift/ql/test/library-tests/dataflow/dataflow/DataFlow.expected

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -604,6 +604,8 @@ edges
604604
| test.swift:884:15:884:15 | generator [Collection element] | test.swift:884:15:884:30 | call to next() [some:0] |
605605
| test.swift:884:15:884:30 | call to next() [some:0] | test.swift:884:15:884:31 | ...! |
606606
| test.swift:908:19:908:26 | call to source() | test.swift:904:13:904:18 | call to ... |
607+
| test.swift:927:12:927:31 | call to source(_:) | test.swift:927:12:927:31 | OpenExistentialExpr |
608+
| test.swift:929:12:929:57 | call to source(_:) | test.swift:929:12:929:57 | OpenExistentialExpr |
607609
nodes
608610
| file://:0:0:0:0 | .a [x] | semmle.label | .a [x] |
609611
| file://:0:0:0:0 | .s [x] | semmle.label | .s [x] |
@@ -1254,6 +1256,12 @@ nodes
12541256
| test.swift:884:15:884:31 | ...! | semmle.label | ...! |
12551257
| test.swift:904:13:904:18 | call to ... | semmle.label | call to ... |
12561258
| test.swift:908:19:908:26 | call to source() | semmle.label | call to source() |
1259+
| test.swift:927:12:927:31 | OpenExistentialExpr | semmle.label | OpenExistentialExpr |
1260+
| test.swift:927:12:927:31 | call to source(_:) | semmle.label | call to source(_:) |
1261+
| test.swift:928:12:928:31 | call to source(_:) | semmle.label | call to source(_:) |
1262+
| test.swift:929:12:929:57 | OpenExistentialExpr | semmle.label | OpenExistentialExpr |
1263+
| test.swift:929:12:929:57 | call to source(_:) | semmle.label | call to source(_:) |
1264+
| test.swift:930:12:930:65 | call to source(_:) | semmle.label | call to source(_:) |
12571265
subpaths
12581266
| test.swift:75:22:75:22 | x | test.swift:65:16:65:28 | arg1 | test.swift:65:1:70:1 | arg2[return] | test.swift:75:32:75:32 | [post] y |
12591267
| test.swift:114:19:114:19 | arg | test.swift:109:9:109:14 | arg | test.swift:110:12:110:12 | arg | test.swift:114:12:114:22 | call to ... |
@@ -1452,3 +1460,7 @@ subpaths
14521460
| test.swift:880:19:880:19 | elem | test.swift:877:21:877:28 | call to source() | test.swift:880:19:880:19 | elem | result |
14531461
| test.swift:884:15:884:31 | ...! | test.swift:877:21:877:28 | call to source() | test.swift:884:15:884:31 | ...! | result |
14541462
| test.swift:904:13:904:18 | call to ... | test.swift:908:19:908:26 | call to source() | test.swift:904:13:904:18 | call to ... | result |
1463+
| test.swift:927:12:927:31 | OpenExistentialExpr | test.swift:927:12:927:31 | call to source(_:) | test.swift:927:12:927:31 | OpenExistentialExpr | result |
1464+
| test.swift:928:12:928:31 | call to source(_:) | test.swift:928:12:928:31 | call to source(_:) | test.swift:928:12:928:31 | call to source(_:) | result |
1465+
| test.swift:929:12:929:57 | OpenExistentialExpr | test.swift:929:12:929:57 | call to source(_:) | test.swift:929:12:929:57 | OpenExistentialExpr | result |
1466+
| test.swift:930:12:930:65 | call to source(_:) | test.swift:930:12:930:65 | call to source(_:) | test.swift:930:12:930:65 | call to source(_:) | result |

swift/ql/test/library-tests/dataflow/dataflow/FlowConfig.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ import codeql.swift.frameworks.Frameworks
99

1010
module TestConfiguration implements DataFlow::ConfigSig {
1111
predicate isSource(DataFlow::Node src) {
12-
src.asExpr().(CallExpr).getStaticTarget().getName().matches("source%()")
12+
src.asExpr().(CallExpr).getStaticTarget().getName().matches("source%")
1313
}
1414

1515
predicate isSink(DataFlow::Node sink) {

0 commit comments

Comments
 (0)