hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Swift: Update expected test results after 6.2 update

Browse Source
This commit is contained in:
Jeroen Ketema
2025-09-16 17:59:59 +02:00
parent bc835a310a
commit 7890dc6030
15 changed files with 119 additions and 100 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
swift/ql/test/extractor-tests/expressions/all.expected
View File

@@ -6,12 +6,13 @@
| expressions.swift:6:9:6:9 | hello world | StringLiteralExpr |
| expressions.swift:7:10:7:10 | "..." | InterpolatedStringLiteralExpr |
| expressions.swift:7:10:7:10 | OpaqueValueExpr | OpaqueValueExpr |
| expressions.swift:7:10:7:10 | appendLiteral(_:) | DeclRefExpr |
| expressions.swift:7:10:7:10 | hello | StringLiteralExpr |
| expressions.swift:7:10:7:21 | TapExpr | TapExpr |
| expressions.swift:7:11:7:10 | call to appendLiteral(_:) | CallExpr |
| expressions.swift:7:11:7:11 | $interpolation | DeclRefExpr |
| expressions.swift:7:11:7:11 | &... | InOutExpr |
| expressions.swift:7:11:7:11 | .appendLiteral(_:) | MethodLookupExpr |
| expressions.swift:7:11:7:11 | call to appendLiteral(_:) | CallExpr |
| expressions.swift:7:18:7:18 | $interpolation | DeclRefExpr |
| expressions.swift:7:18:7:18 | &... | InOutExpr |
| expressions.swift:7:18:7:18 | .appendInterpolation(_:) | MethodLookupExpr |
@@ -22,6 +23,7 @@
| expressions.swift:7:21:7:21 | $interpolation | DeclRefExpr |
| expressions.swift:7:21:7:21 | &... | InOutExpr |
| expressions.swift:7:21:7:21 | .appendLiteral(_:) | MethodLookupExpr |
| expressions.swift:7:21:7:21 | appendLiteral(_:) | DeclRefExpr |
| expressions.swift:7:21:7:21 | call to appendLiteral(_:) | CallExpr |
| expressions.swift:8:15:8:15 | nil | NilLiteralExpr |
| expressions.swift:15:9:15:9 | x | DeclRefExpr |

2
swift/ql/test/extractor-tests/expressions/semantics.expected
View File

@@ -1,8 +1,10 @@
| expressions.swift:7:10:7:10 | appendLiteral(_:) | OrdinarySemantics |
| expressions.swift:7:11:7:11 | $interpolation | OrdinarySemantics |
| expressions.swift:7:18:7:18 | $interpolation | OrdinarySemantics |
| expressions.swift:7:18:7:18 | appendInterpolation(_:) | OrdinarySemantics |
| expressions.swift:7:19:7:19 | a | OrdinarySemantics |
| expressions.swift:7:21:7:21 | $interpolation | OrdinarySemantics |
| expressions.swift:7:21:7:21 | appendLiteral(_:) | OrdinarySemantics |
| expressions.swift:15:9:15:9 | x | OrdinarySemantics |
| expressions.swift:15:11:15:11 | !=(_:_:) | OrdinarySemantics |
| expressions.swift:16:19:16:19 | failed | OrdinarySemantics |

13
swift/ql/test/extractor-tests/generated/decl/CapturedDecl/PrintAst.expected
View File

@@ -222,14 +222,16 @@ closures.swift:
# 39| getExpr(): [IntegerLiteralExpr] 1
# 39| getResult().getFullyConverted(): [AwaitExpr] await ...
# 39| getCapture(0): [CapturedDecl] callback
# 41| getElement(1): [CallExpr] call to Task<Success, Never>.init(priority:operation:)
# 41| getFunction(): [MethodLookupExpr] Task<Success, Never>.init(priority:operation:)
# 41| getElement(1): [CallExpr] call to Task<Success, Never>.init(name:priority:operation:)
# 41| getFunction(): [MethodLookupExpr] Task<Success, Never>.init(name:priority:operation:)
# 41| getBase(): [TypeExpr] Task<(), Never>.Type
# 41| getTypeRepr(): [TypeRepr] Task<(), Never>
# 41| getMethodRef(): [DeclRefExpr] Task<Success, Never>.init(priority:operation:)
# 41| getArgument(0): [Argument] priority: default priority
# 41| getMethodRef(): [DeclRefExpr] Task<Success, Never>.init(name:priority:operation:)
# 41| getArgument(0): [Argument] name: default name
# 41| getExpr(): [DefaultArgumentExpr] default name
# 41| getArgument(1): [Argument] priority: default priority
# 41| getExpr(): [DefaultArgumentExpr] default priority
# 41| getArgument(1): [Argument] operation: { ... }
# 41| getArgument(2): [Argument] operation: { ... }
# 41| getExpr(): [ExplicitClosureExpr] { ... }
# 41| getBody(): [BraceStmt] { ... }
# 42| getElement(0): [ReturnStmt] return ...
@@ -270,6 +272,7 @@ closures.swift:
# 46| getArgument(1): [Argument] : 1
# 46| getExpr(): [IntegerLiteralExpr] 1
# 41| [NilLiteralExpr] nil
# 41| [NilLiteralExpr] nil
# 50| [NamedFunction] foo()
# 50| InterfaceType = () -> Int
# 50| getBody(): [BraceStmt] { ... }

2
swift/ql/test/extractor-tests/generated/decl/ConcreteVarDecl/ConcreteVarDecl.expected
View File

@@ -103,7 +103,7 @@ getParentPattern
| var_decls.swift:65:19:65:19 | case_variable | var_decls.swift:65:8:65:35 | .value(...) |
| var_decls.swift:67:22:67:22 | unused_case_variable | var_decls.swift:67:8:67:42 | .value(...) |
getParentInitializer
| var_decls.swift:2:12:2:12 | $i$generator | var_decls.swift:2:12:2:16 | call to makeIterator() |
| var_decls.swift:2:12:2:12 | $i$generator | var_decls.swift:2:12:2:12 | call to makeIterator() |
| var_decls.swift:4:7:4:7 | i | var_decls.swift:4:11:4:11 | 0 |
| var_decls.swift:7:5:7:5 | numbers | var_decls.swift:7:15:7:18 | [...] |
| var_decls.swift:10:12:10:12 | numbers | var_decls.swift:10:22:10:35 | [...] |

2
swift/ql/test/extractor-tests/generated/decl/MacroDecl/MacroRole.expected
View File

@@ -15,6 +15,7 @@ instances
| file://:0:0:0:0 | @attached(memberAttribute) | getKind: | 8 | getMacroSyntax: | 1 |
| file://:0:0:0:0 | @attached(peer) | getKind: | 32 | getMacroSyntax: | 1 |
| file://:0:0:0:0 | @attached(peer) | getKind: | 32 | getMacroSyntax: | 1 |
| file://:0:0:0:0 | @attached(peer) | getKind: | 32 | getMacroSyntax: | 1 |
| test.swift:1:2:1:26 | #freestanding(declaration) | getKind: | 2 | getMacroSyntax: | 0 |
| test.swift:3:2:3:25 | #freestanding(expression) | getKind: | 1 | getMacroSyntax: | 0 |
| test.swift:5:2:5:17 | @attached(member) | getKind: | 16 | getMacroSyntax: | 1 |
@@ -22,4 +23,5 @@ instances
getConformance
getName
| file://:0:0:0:0 | @attached(peer) | 0 | $() |
| file://:0:0:0:0 | @attached(peer) | 0 | _() |
| file://:0:0:0:0 | @attached(peer) | 0 | _lldb_summary() |

12
swift/ql/test/extractor-tests/generated/expr/MethodLookupExpr/MethodLookupExpr.expected
View File

@@ -14,12 +14,12 @@ instances
| method_lookups.swift:37:11:37:11 | X.init() | getBase: | method_lookups.swift:37:11:37:11 | X.Type | getMethodRef: | method_lookups.swift:37:11:37:11 | X.init() |
| method_lookups.swift:37:11:37:15 | (no string representation) | getBase: | method_lookups.swift:37:11:37:13 | call to X.init() | getMethodRef: | method_lookups.swift:37:15:37:15 | { ... } |
| method_lookups.swift:37:15:37:15 | .baz(_:) | getBase: | file://:0:0:0:0 | self | getMethodRef: | method_lookups.swift:37:15:37:15 | baz(_:) |
| method_lookups.swift:40:1:40:1 | Task<Success, Never>.init(priority:operation:) | getBase: | method_lookups.swift:40:1:40:1 | Task<(), Never>.Type | getMethodRef: | method_lookups.swift:40:1:40:1 | Task<Success, Never>.init(priority:operation:) |
| method_lookups.swift:40:1:40:1 | Task<Success, Never>.init(name:priority:operation:) | getBase: | method_lookups.swift:40:1:40:1 | Task<(), Never>.Type | getMethodRef: | method_lookups.swift:40:1:40:1 | Task<Success, Never>.init(name:priority:operation:) |
| method_lookups.swift:41:3:41:5 | .foo(_:_:) | getBase: | method_lookups.swift:41:3:41:3 | Y.Type | getMethodRef: | method_lookups.swift:41:5:41:5 | foo(_:_:) |
| method_lookups.swift:42:9:42:9 | Y.init() | getBase: | method_lookups.swift:42:9:42:9 | Y.Type | getMethodRef: | method_lookups.swift:42:9:42:9 | Y.init() |
| method_lookups.swift:42:9:42:13 | .baz(_:) | getBase: | method_lookups.swift:42:9:42:11 | call to Y.init() | getMethodRef: | method_lookups.swift:42:13:42:13 | baz(_:) |
| method_lookups.swift:44:11:44:13 | .foo(_:_:) | getBase: | method_lookups.swift:44:11:44:11 | Y.Type | getMethodRef: | method_lookups.swift:44:13:44:13 | foo(_:_:) |
| method_lookups.swift:47:1:47:1 | Task<Success, Never>.init(priority:operation:) | getBase: | method_lookups.swift:47:1:47:1 | Task<(), Never>.Type | getMethodRef: | method_lookups.swift:47:1:47:1 | Task<Success, Never>.init(priority:operation:) |
| method_lookups.swift:47:1:47:1 | Task<Success, Never>.init(name:priority:operation:) | getBase: | method_lookups.swift:47:1:47:1 | Task<(), Never>.Type | getMethodRef: | method_lookups.swift:47:1:47:1 | Task<Success, Never>.init(name:priority:operation:) |
| method_lookups.swift:48:9:48:11 | .foo(_:_:) | getBase: | method_lookups.swift:48:9:48:9 | Z.Type | getMethodRef: | method_lookups.swift:48:11:48:11 | foo(_:_:) |
| method_lookups.swift:49:9:49:11 | .bar() | getBase: | method_lookups.swift:49:9:49:9 | Z.Type | getMethodRef: | method_lookups.swift:49:11:49:11 | bar() |
| method_lookups.swift:50:9:50:9 | Z.init() | getBase: | method_lookups.swift:50:9:50:9 | Z.Type | getMethodRef: | method_lookups.swift:50:9:50:9 | Z.init() |
@@ -44,12 +44,12 @@ getType
| method_lookups.swift:37:11:37:11 | X.init() | () -> X |
| method_lookups.swift:37:11:37:15 | (no string representation) | (Int) -> () |
| method_lookups.swift:37:15:37:15 | .baz(_:) | (Int) -> () |
| method_lookups.swift:40:1:40:1 | Task<Success, Never>.init(priority:operation:) | (TaskPriority?, sending @escaping @isolated(any) () async -> ()) -> Task<(), Never> |
| method_lookups.swift:40:1:40:1 | Task<Success, Never>.init(name:priority:operation:) | (String?, TaskPriority?, sending @escaping @isolated(any) () async -> ()) -> Task<(), Never> |
| method_lookups.swift:41:3:41:5 | .foo(_:_:) | (Int, Int) -> () |
| method_lookups.swift:42:9:42:9 | Y.init() | () -> Y |
| method_lookups.swift:42:9:42:13 | .baz(_:) | (Int) -> () |
| method_lookups.swift:44:11:44:13 | .foo(_:_:) | (Int, Int) -> () |
| method_lookups.swift:47:1:47:1 | Task<Success, Never>.init(priority:operation:) | (TaskPriority?, sending @escaping @isolated(any) () async -> ()) -> Task<(), Never> |
| method_lookups.swift:47:1:47:1 | Task<Success, Never>.init(name:priority:operation:) | (String?, TaskPriority?, sending @escaping @isolated(any) () async -> ()) -> Task<(), Never> |
| method_lookups.swift:48:9:48:11 | .foo(_:_:) | @MainActor (Int, Int) -> () |
| method_lookups.swift:49:9:49:11 | .bar() | () -> () |
| method_lookups.swift:50:9:50:9 | Z.init() | @MainActor () -> Z |
@@ -70,12 +70,12 @@ getMember
| method_lookups.swift:36:11:36:13 | .bar() | method_lookups.swift:3:3:3:21 | bar() |
| method_lookups.swift:37:11:37:11 | X.init() | method_lookups.swift:6:3:8:3 | X.init() |
| method_lookups.swift:37:15:37:15 | .baz(_:) | method_lookups.swift:4:3:4:21 | baz(_:) |
| method_lookups.swift:40:1:40:1 | Task<Success, Never>.init(priority:operation:) | file://:0:0:0:0 | Task<Success, Never>.init(priority:operation:) |
| method_lookups.swift:40:1:40:1 | Task<Success, Never>.init(name:priority:operation:) | file://:0:0:0:0 | Task<Success, Never>.init(name:priority:operation:) |
| method_lookups.swift:41:3:41:5 | .foo(_:_:) | method_lookups.swift:12:3:12:35 | foo(_:_:) |
| method_lookups.swift:42:9:42:9 | Y.init() | method_lookups.swift:15:3:17:3 | Y.init() |
| method_lookups.swift:42:9:42:13 | .baz(_:) | method_lookups.swift:13:3:13:21 | baz(_:) |
| method_lookups.swift:44:11:44:13 | .foo(_:_:) | method_lookups.swift:12:3:12:35 | foo(_:_:) |
| method_lookups.swift:47:1:47:1 | Task<Success, Never>.init(priority:operation:) | file://:0:0:0:0 | Task<Success, Never>.init(priority:operation:) |
| method_lookups.swift:47:1:47:1 | Task<Success, Never>.init(name:priority:operation:) | file://:0:0:0:0 | Task<Success, Never>.init(name:priority:operation:) |
| method_lookups.swift:48:9:48:11 | .foo(_:_:) | method_lookups.swift:22:3:22:35 | foo(_:_:) |
| method_lookups.swift:49:9:49:11 | .bar() | method_lookups.swift:23:15:23:33 | bar() |
| method_lookups.swift:50:9:50:9 | Z.init() | method_lookups.swift:26:3:28:3 | Z.init() |

83
swift/ql/test/library-tests/ast/PrintAst.expected
View File

@@ -222,7 +222,7 @@ cfg.swift:
# 40| getFunction(): [MethodLookupExpr] .appendLiteral(_:)
# 40| getBase(): [DeclRefExpr] $interpolation
# 40| getBase().getFullyConverted(): [InOutExpr] &...
#-----| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 40| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 40| getArgument(0): [Argument] : Unknown error
# 40| getExpr(): [StringLiteralExpr] Unknown error
# 40| getElement(1): [CallExpr] call to appendInterpolation(_:)
@@ -236,7 +236,7 @@ cfg.swift:
# 40| getFunction(): [MethodLookupExpr] .appendLiteral(_:)
# 40| getBase(): [DeclRefExpr] $interpolation
# 40| getBase().getFullyConverted(): [InOutExpr] &...
#-----| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 40| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 40| getArgument(0): [Argument] :
# 40| getExpr(): [StringLiteralExpr]
# 40| getElement(0).getFullyConverted(): [ErasureExpr] (Any) ...
@@ -717,13 +717,13 @@ cfg.swift:
# 138| getExpr(): [IntegerLiteralExpr] 0
# 138| getArgument(1): [Argument] : 10
# 138| getExpr(): [IntegerLiteralExpr] 10
#-----| getMethodRef(): [DeclRefExpr] makeIterator()
# 138| getMethodRef(): [DeclRefExpr] makeIterator()
# 138| getPattern(0): [NamedPattern] $generator
# 138| getNextCall(): [CallExpr] call to next()
# 138| getFunction(): [MethodLookupExpr] .next()
# 138| getBase(): [DeclRefExpr] $generator
# 138| getBase().getFullyConverted(): [InOutExpr] &...
#-----| getMethodRef(): [DeclRefExpr] next()
# 138| getMethodRef(): [DeclRefExpr] next()
# 138| getBody(): [BraceStmt] { ... }
# 140| getElement(1): [SwitchStmt] switch x { ... }
# 140| getExpr(): [DeclRefExpr] x
@@ -1462,7 +1462,7 @@ cfg.swift:
# 263| getFunction(): [MethodLookupExpr] .appendLiteral(_:)
# 263| getBase(): [DeclRefExpr] $interpolation
# 263| getBase().getFullyConverted(): [InOutExpr] &...
#-----| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 263| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 263| getArgument(0): [Argument] :
# 263| getExpr(): [StringLiteralExpr]
# 263| getElement(1): [CallExpr] call to appendInterpolation(_:)
@@ -1476,7 +1476,7 @@ cfg.swift:
# 263| getFunction(): [MethodLookupExpr] .appendLiteral(_:)
# 263| getBase(): [DeclRefExpr] $interpolation
# 263| getBase().getFullyConverted(): [InOutExpr] &...
#-----| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 263| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 263| getArgument(0): [Argument] : +
# 263| getExpr(): [StringLiteralExpr] +
# 263| getElement(3): [CallExpr] call to appendInterpolation(_:)
@@ -1490,7 +1490,7 @@ cfg.swift:
# 263| getFunction(): [MethodLookupExpr] .appendLiteral(_:)
# 263| getBase(): [DeclRefExpr] $interpolation
# 263| getBase().getFullyConverted(): [InOutExpr] &...
#-----| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 263| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 263| getArgument(0): [Argument] : is equal to
# 263| getExpr(): [StringLiteralExpr] is equal to
# 263| getElement(5): [CallExpr] call to appendInterpolation(_:)
@@ -1512,7 +1512,7 @@ cfg.swift:
# 263| getFunction(): [MethodLookupExpr] .appendLiteral(_:)
# 263| getBase(): [DeclRefExpr] $interpolation
# 263| getBase().getFullyConverted(): [InOutExpr] &...
#-----| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 263| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 263| getArgument(0): [Argument] : and here is a zero:
# 263| getExpr(): [StringLiteralExpr] and here is a zero:
# 263| getElement(7): [CallExpr] call to appendInterpolation(_:)
@@ -1527,7 +1527,7 @@ cfg.swift:
# 263| getFunction(): [MethodLookupExpr] .appendLiteral(_:)
# 263| getBase(): [DeclRefExpr] $interpolation
# 263| getBase().getFullyConverted(): [InOutExpr] &...
#-----| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 263| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 263| getArgument(0): [Argument] :
# 263| getExpr(): [StringLiteralExpr]
# 266| [NamedFunction] testSubscriptExpr()
@@ -3128,8 +3128,8 @@ cfg.swift:
# 499| getCondition(): [StmtCondition] StmtCondition
# 499| getElement(0): [ConditionElement] #available
# 499| getAvailability(): [AvailabilityInfo] #available
# 499| getSpec(0): [PlatformVersionAvailabilitySpec] macOS 10
# 499| getSpec(1): [OtherAvailabilitySpec] *
# 499| getSpec(0): [AvailabilitySpec] macOS 10
# 499| getSpec(1): [AvailabilitySpec] *
# 499| getThen(): [BraceStmt] { ... }
# 500| getElement(0): [BinaryExpr] ... .+=(_:_:) ...
# 500| getFunction(): [MethodLookupExpr] .+=(_:_:)
@@ -3145,8 +3145,8 @@ cfg.swift:
# 503| getCondition(): [StmtCondition] StmtCondition
# 503| getElement(0): [ConditionElement] #available
# 503| getAvailability(): [AvailabilityInfo] #available
# 503| getSpec(0): [PlatformVersionAvailabilitySpec] macOS 10.13
# 503| getSpec(1): [OtherAvailabilitySpec] *
# 503| getSpec(0): [AvailabilitySpec] macOS 10.13
# 503| getSpec(1): [AvailabilitySpec] *
# 503| getThen(): [BraceStmt] { ... }
# 504| getElement(0): [BinaryExpr] ... .+=(_:_:) ...
# 504| getFunction(): [MethodLookupExpr] .+=(_:_:)
@@ -3162,9 +3162,9 @@ cfg.swift:
# 507| getCondition(): [StmtCondition] StmtCondition
# 507| getElement(0): [ConditionElement] #unavailable
# 507| getAvailability(): [AvailabilityInfo] #unavailable
# 507| getSpec(0): [PlatformVersionAvailabilitySpec] iOS 10
# 507| getSpec(1): [PlatformVersionAvailabilitySpec] watchOS 10
# 507| getSpec(2): [PlatformVersionAvailabilitySpec] macOS 10
# 507| getSpec(0): [AvailabilitySpec] iOS 10
# 507| getSpec(1): [AvailabilitySpec] watchOS 10
# 507| getSpec(2): [AvailabilitySpec] macOS 10
# 507| getThen(): [BraceStmt] { ... }
# 508| getElement(0): [BinaryExpr] ... .+=(_:_:) ...
# 508| getFunction(): [MethodLookupExpr] .+=(_:_:)
@@ -3180,8 +3180,8 @@ cfg.swift:
# 511| getCondition(): [StmtCondition] StmtCondition
# 511| getElement(0): [ConditionElement] #available
# 511| getAvailability(): [AvailabilityInfo] #available
# 511| getSpec(0): [PlatformVersionAvailabilitySpec] macOS 12
# 511| getSpec(1): [OtherAvailabilitySpec] *
# 511| getSpec(0): [AvailabilitySpec] macOS 12
# 511| getSpec(1): [AvailabilitySpec] *
# 511| getBody(): [BraceStmt] { ... }
# 512| getElement(0): [BinaryExpr] ... .+=(_:_:) ...
# 512| getFunction(): [MethodLookupExpr] .+=(_:_:)
@@ -3197,12 +3197,12 @@ cfg.swift:
# 515| getCondition(): [StmtCondition] StmtCondition
# 515| getElement(0): [ConditionElement] #available
# 515| getAvailability(): [AvailabilityInfo] #available
# 515| getSpec(0): [PlatformVersionAvailabilitySpec] macOS 12
# 515| getSpec(1): [OtherAvailabilitySpec] *
# 515| getSpec(0): [AvailabilitySpec] macOS 12
# 515| getSpec(1): [AvailabilitySpec] *
# 515| getElement(1): [ConditionElement] #available
# 515| getAvailability(): [AvailabilityInfo] #available
# 515| getSpec(0): [PlatformVersionAvailabilitySpec] iOS 12
# 515| getSpec(1): [OtherAvailabilitySpec] *
# 515| getSpec(0): [AvailabilitySpec] iOS 12
# 515| getSpec(1): [AvailabilitySpec] *
# 515| getThen(): [BraceStmt] { ... }
# 516| getElement(0): [BinaryExpr] ... .+=(_:_:) ...
# 516| getFunction(): [MethodLookupExpr] .+=(_:_:)
@@ -3245,14 +3245,16 @@ cfg.swift:
# 524| getParam(0): [ParamDecl] continuation
# 524| Type = AsyncStream<Int>.Continuation
# 523| getBody(): [BraceStmt] { ... }
# 525| getElement(0): [CallExpr] call to detached(priority:operation:)
# 525| getFunction(): [MethodLookupExpr] .detached(priority:operation:)
# 525| getElement(0): [CallExpr] call to detached(name:priority:operation:)
# 525| getFunction(): [MethodLookupExpr] .detached(name:priority:operation:)
# 525| getBase(): [TypeExpr] Task<(), Never>.Type
# 525| getTypeRepr(): [TypeRepr] Task<(), Never>
# 525| getMethodRef(): [DeclRefExpr] detached(priority:operation:)
# 525| getArgument(0): [Argument] priority: default priority
# 525| getMethodRef(): [DeclRefExpr] detached(name:priority:operation:)
# 525| getArgument(0): [Argument] name: default name
# 525| getExpr(): [DefaultArgumentExpr] default name
# 525| getArgument(1): [Argument] priority: default priority
# 525| getExpr(): [DefaultArgumentExpr] default priority
# 525| getArgument(1): [Argument] operation: { ... }
# 525| getArgument(2): [Argument] operation: { ... }
# 525| getExpr(): [ExplicitClosureExpr] { ... }
# 525| getBody(): [BraceStmt] { ... }
# 526| getElement(0): [ForEachStmt] for ... in ... { ... }
@@ -3273,13 +3275,13 @@ cfg.swift:
# 526| getExpr(): [IntegerLiteralExpr] 1
# 526| getArgument(1): [Argument] : 100
# 526| getExpr(): [IntegerLiteralExpr] 100
#-----| getMethodRef(): [DeclRefExpr] makeIterator()
# 526| getMethodRef(): [DeclRefExpr] makeIterator()
# 526| getPattern(0): [NamedPattern] $i$generator
# 526| getNextCall(): [CallExpr] call to next()
# 526| getFunction(): [MethodLookupExpr] .next()
# 526| getBase(): [DeclRefExpr] $i$generator
# 526| getBase().getFullyConverted(): [InOutExpr] &...
#-----| getMethodRef(): [DeclRefExpr] next()
# 526| getMethodRef(): [DeclRefExpr] next()
# 526| getBody(): [BraceStmt] { ... }
# 527| getElement(0): [CallExpr] call to yield(_:)
# 527| getFunction(): [MethodLookupExpr] .yield(_:)
@@ -3305,13 +3307,13 @@ cfg.swift:
# 533| getFunction(): [MethodLookupExpr] .makeAsyncIterator()
# 533| getBase(): [DeclRefExpr] stream
# 533| getBase().getFullyConverted(): [LoadExpr] (AsyncStream<Int>) ...
#-----| getMethodRef(): [DeclRefExpr] makeAsyncIterator()
# 533| getMethodRef(): [DeclRefExpr] makeAsyncIterator()
# 533| getPattern(0): [NamedPattern] $i$generator
# 533| getNextCall(): [CallExpr] call to next(isolation:)
# 533| getFunction(): [MethodLookupExpr] .next(isolation:)
# 533| getBase(): [DeclRefExpr] $i$generator
# 533| getBase().getFullyConverted(): [InOutExpr] &...
#-----| getMethodRef(): [DeclRefExpr] next(isolation:)
# 533| getMethodRef(): [DeclRefExpr] next(isolation:)
# 533| getArgument(0): [Argument] isolation: CurrentContextIsolationExpr
# 533| getExpr(): [CurrentContextIsolationExpr] CurrentContextIsolationExpr
# 533| getNextCall().getFullyConverted(): [AwaitExpr] await ...
@@ -3328,6 +3330,7 @@ cfg.swift:
# 534| getArgument(2): [Argument] terminator: default terminator
# 534| getExpr(): [DefaultArgumentExpr] default terminator
# 525| [NilLiteralExpr] nil
# 525| [NilLiteralExpr] nil
# 533| [NilLiteralExpr] nil
# 538| [NamedFunction] testNilCoalescing(x:)
# 538| InterfaceType = (Int?) -> Int
@@ -4819,7 +4822,7 @@ expressions.swift:
# 7| getFunction(): [MethodLookupExpr] .appendLiteral(_:)
# 7| getBase(): [DeclRefExpr] $interpolation
# 7| getBase().getFullyConverted(): [InOutExpr] &...
#-----| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 7| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 7| getArgument(0): [Argument] : hello
# 7| getExpr(): [StringLiteralExpr] hello
# 7| getElement(1): [CallExpr] call to appendInterpolation(_:)
@@ -4833,7 +4836,7 @@ expressions.swift:
# 7| getFunction(): [MethodLookupExpr] .appendLiteral(_:)
# 7| getBase(): [DeclRefExpr] $interpolation
# 7| getBase().getFullyConverted(): [InOutExpr] &...
#-----| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 7| getMethodRef(): [DeclRefExpr] appendLiteral(_:)
# 7| getArgument(0): [Argument] :
# 7| getExpr(): [StringLiteralExpr]
# 7| getPattern(0): [NamedPattern] s1
@@ -7027,13 +7030,13 @@ statements.swift:
# 2| getExpr(): [IntegerLiteralExpr] 1
# 2| getArgument(1): [Argument] : 5
# 2| getExpr(): [IntegerLiteralExpr] 5
#-----| getMethodRef(): [DeclRefExpr] makeIterator()
# 2| getMethodRef(): [DeclRefExpr] makeIterator()
# 2| getPattern(0): [NamedPattern] $i$generator
# 2| getNextCall(): [CallExpr] call to next()
# 2| getFunction(): [MethodLookupExpr] .next()
# 2| getBase(): [DeclRefExpr] $i$generator
# 2| getBase().getFullyConverted(): [InOutExpr] &...
#-----| getMethodRef(): [DeclRefExpr] next()
# 2| getMethodRef(): [DeclRefExpr] next()
# 2| getBody(): [BraceStmt] { ... }
# 3| getElement(0): [IfStmt] if ... then { ... } else { ... }
# 3| getCondition(): [StmtCondition] StmtCondition
@@ -7471,13 +7474,13 @@ statements.swift:
# 71| getInit(0): [CallExpr] call to makeIterator()
# 71| getFunction(): [MethodLookupExpr] .makeIterator()
# 71| getBase(): [DeclRefExpr] numbers
#-----| getMethodRef(): [DeclRefExpr] makeIterator()
# 71| getMethodRef(): [DeclRefExpr] makeIterator()
# 71| getPattern(0): [NamedPattern] $number$generator
# 71| getNextCall(): [CallExpr] call to next()
# 71| getFunction(): [MethodLookupExpr] .next()
# 71| getBase(): [DeclRefExpr] $number$generator
# 71| getBase().getFullyConverted(): [InOutExpr] &...
#-----| getMethodRef(): [DeclRefExpr] next()
# 71| getMethodRef(): [DeclRefExpr] next()
# 71| getBody(): [BraceStmt] { ... }
# 74| [StructDecl] HasModifyAccessorDecl
# 75| getMember(0): [PatternBindingDecl] var ... = ...
@@ -7559,8 +7562,8 @@ statements.swift:
# 87| getCondition(): [StmtCondition] StmtCondition
# 87| getElement(0): [ConditionElement] #available
# 87| getAvailability(): [AvailabilityInfo] #available
# 87| getSpec(0): [PlatformVersionAvailabilitySpec] macOS 155
# 87| getSpec(1): [OtherAvailabilitySpec] *
# 87| getSpec(0): [AvailabilitySpec] macOS 155
# 87| getSpec(1): [AvailabilitySpec] *
# 87| getThen(): [BraceStmt] { ... }
# 88| getElement(0): [CallExpr] call to print(_:separator:terminator:)
# 88| getFunction(): [DeclRefExpr] print(_:separator:terminator:)
@@ -7579,7 +7582,7 @@ statements.swift:
# 91| getCondition(): [StmtCondition] StmtCondition
# 91| getElement(0): [ConditionElement] #unavailable
# 91| getAvailability(): [AvailabilityInfo] #unavailable
# 91| getSpec(0): [PlatformVersionAvailabilitySpec] macOS 42
# 91| getSpec(0): [AvailabilitySpec] macOS 42
# 91| getThen(): [BraceStmt] { ... }
# 92| getElement(0): [CallExpr] call to print(_:separator:terminator:)
# 92| getFunction(): [DeclRefExpr] print(_:separator:terminator:)

35
swift/ql/test/library-tests/controlflow/graph/Cfg.expected
View File

@@ -124,14 +124,14 @@
| cfg.swift:40:11:40:11 | "..." | cfg.swift:40:11:40:11 | (Any) ... | |
| cfg.swift:40:11:40:11 | (Any) ... | cfg.swift:40:11:40:11 | [...] | |
| cfg.swift:40:11:40:11 | OpaqueValueExpr | cfg.swift:40:12:40:12 | .appendLiteral(_:) | |
| cfg.swift:40:11:40:11 | Unknown error | cfg.swift:40:12:40:11 | call to appendLiteral(_:) | |
| cfg.swift:40:11:40:11 | Unknown error | cfg.swift:40:12:40:12 | call to appendLiteral(_:) | |
| cfg.swift:40:11:40:11 | [...] | cfg.swift:40:10:40:10 | default separator | |
| cfg.swift:40:11:40:11 | [...] | cfg.swift:40:11:40:11 | [...] | |
| cfg.swift:40:11:40:34 | TapExpr | cfg.swift:40:11:40:11 | "..." | |
| cfg.swift:40:12:40:11 | call to appendLiteral(_:) | cfg.swift:40:27:40:27 | .appendInterpolation(_:) | |
| cfg.swift:40:12:40:12 | $interpolation | cfg.swift:40:12:40:12 | &... | |
| cfg.swift:40:12:40:12 | &... | cfg.swift:40:11:40:11 | Unknown error | |
| cfg.swift:40:12:40:12 | .appendLiteral(_:) | cfg.swift:40:12:40:12 | $interpolation | |
| cfg.swift:40:12:40:12 | call to appendLiteral(_:) | cfg.swift:40:27:40:27 | .appendInterpolation(_:) | |
| cfg.swift:40:27:40:27 | $interpolation | cfg.swift:40:27:40:27 | &... | |
| cfg.swift:40:27:40:27 | &... | cfg.swift:40:28:40:28 | error | |
| cfg.swift:40:27:40:27 | .appendInterpolation(_:) | cfg.swift:40:27:40:27 | $interpolation | |
@@ -472,10 +472,10 @@
| cfg.swift:138:3:138:22 | for ... in ... { ... } | cfg.swift:140:3:148:3 | switch x { ... } | empty |
| cfg.swift:138:7:138:7 | _ | cfg.swift:138:19:138:22 | { ... } | match |
| cfg.swift:138:12:138:12 | 0 | cfg.swift:138:16:138:16 | 10 | |
| cfg.swift:138:12:138:12 | $generator | cfg.swift:138:12:138:16 | .makeIterator() | match |
| cfg.swift:138:12:138:16 | ... ....(_:_:) ... | cfg.swift:138:12:138:16 | call to makeIterator() | |
| cfg.swift:138:12:138:16 | .makeIterator() | cfg.swift:138:13:138:13 | ....(_:_:) | |
| cfg.swift:138:12:138:16 | call to makeIterator() | file://:0:0:0:0 | var ... = ... | |
| cfg.swift:138:12:138:12 | $generator | cfg.swift:138:12:138:12 | .makeIterator() | match |
| cfg.swift:138:12:138:12 | .makeIterator() | cfg.swift:138:13:138:13 | ....(_:_:) | |
| cfg.swift:138:12:138:12 | call to makeIterator() | file://:0:0:0:0 | var ... = ... | |
| cfg.swift:138:12:138:16 | ... ....(_:_:) ... | cfg.swift:138:12:138:12 | call to makeIterator() | |
| cfg.swift:138:13:138:13 | ....(_:_:) | cfg.swift:138:13:138:13 | Int.Type | |
| cfg.swift:138:13:138:13 | Int.Type | cfg.swift:138:12:138:12 | 0 | |
| cfg.swift:138:16:138:16 | 10 | cfg.swift:138:12:138:16 | ... ....(_:_:) ... | |
@@ -896,14 +896,14 @@
| cfg.swift:262:25:262:29 | x | cfg.swift:262:34:262:38 | y | |
| cfg.swift:262:34:262:38 | y | cfg.swift:263:10:263:10 | OpaqueValueExpr | |
| cfg.swift:263:3:263:10 | return ... | cfg.swift:262:1:264:1 | exit interpolatedString(x:y:) (normal) | return |
| cfg.swift:263:10:263:10 | | cfg.swift:263:11:263:10 | call to appendLiteral(_:) | |
| cfg.swift:263:10:263:10 | | cfg.swift:263:11:263:11 | call to appendLiteral(_:) | |
| cfg.swift:263:10:263:10 | "..." | cfg.swift:263:3:263:10 | return ... | |
| cfg.swift:263:10:263:10 | OpaqueValueExpr | cfg.swift:263:11:263:11 | .appendLiteral(_:) | |
| cfg.swift:263:10:263:79 | TapExpr | cfg.swift:263:10:263:10 | "..." | |
| cfg.swift:263:11:263:10 | call to appendLiteral(_:) | cfg.swift:263:12:263:12 | .appendInterpolation(_:) | |
| cfg.swift:263:11:263:11 | $interpolation | cfg.swift:263:11:263:11 | &... | |
| cfg.swift:263:11:263:11 | &... | cfg.swift:263:10:263:10 | | |
| cfg.swift:263:11:263:11 | .appendLiteral(_:) | cfg.swift:263:11:263:11 | $interpolation | |
| cfg.swift:263:11:263:11 | call to appendLiteral(_:) | cfg.swift:263:12:263:12 | .appendInterpolation(_:) | |
| cfg.swift:263:12:263:12 | $interpolation | cfg.swift:263:12:263:12 | &... | |
| cfg.swift:263:12:263:12 | &... | cfg.swift:263:13:263:13 | x | |
| cfg.swift:263:12:263:12 | .appendInterpolation(_:) | cfg.swift:263:12:263:12 | $interpolation | |
@@ -2002,12 +2002,13 @@
| cfg.swift:523:78:531:5 | exit { ... } (normal) | cfg.swift:523:78:531:5 | exit { ... } | |
| cfg.swift:523:78:531:5 | { ... } | cfg.swift:523:18:531:6 | call to AsyncStream<Element>.init(_:bufferingPolicy:_:) | |
| cfg.swift:523:78:531:5 | { ... } | cfg.swift:524:9:524:9 | continuation | |
| cfg.swift:524:9:524:9 | continuation | cfg.swift:525:13:525:18 | .detached(priority:operation:) | |
| cfg.swift:525:13:525:13 | Task<(), Never>.Type | cfg.swift:525:27:525:27 | default priority | |
| cfg.swift:525:13:525:18 | .detached(priority:operation:) | cfg.swift:525:13:525:13 | Task<(), Never>.Type | |
| cfg.swift:525:13:530:13 | call to detached(priority:operation:) | cfg.swift:523:78:531:5 | exit { ... } (normal) | |
| cfg.swift:524:9:524:9 | continuation | cfg.swift:525:13:525:18 | .detached(name:priority:operation:) | |
| cfg.swift:525:13:525:13 | Task<(), Never>.Type | cfg.swift:525:27:525:27 | default name | |
| cfg.swift:525:13:525:18 | .detached(name:priority:operation:) | cfg.swift:525:13:525:13 | Task<(), Never>.Type | |
| cfg.swift:525:13:530:13 | call to detached(name:priority:operation:) | cfg.swift:523:78:531:5 | exit { ... } (normal) | |
| cfg.swift:525:27:525:27 | default name | cfg.swift:525:27:525:27 | default priority | |
| cfg.swift:525:27:525:27 | default priority | cfg.swift:525:27:530:13 | { ... } | |
| cfg.swift:525:27:530:13 | (@isolated(any) () async -> ()) ... | cfg.swift:525:13:530:13 | call to detached(priority:operation:) | |
| cfg.swift:525:27:530:13 | (@isolated(any) () async -> ()) ... | cfg.swift:525:13:530:13 | call to detached(name:priority:operation:) | |
| cfg.swift:525:27:530:13 | enter { ... } | cfg.swift:525:27:530:13 | { ... } | |
| cfg.swift:525:27:530:13 | exit { ... } (normal) | cfg.swift:525:27:530:13 | exit { ... } | |
| cfg.swift:525:27:530:13 | { ... } | cfg.swift:525:27:530:13 | (@isolated(any) () async -> ()) ... | |
@@ -2020,10 +2021,10 @@
| cfg.swift:526:17:528:17 | for ... in ... { ... } | cfg.swift:529:17:529:30 | .finish() | empty |
| cfg.swift:526:21:526:21 | i | cfg.swift:527:21:527:34 | .yield(_:) | match |
| cfg.swift:526:26:526:26 | 1 | cfg.swift:526:30:526:30 | 100 | |
| cfg.swift:526:26:526:26 | $i$generator | cfg.swift:526:26:526:30 | .makeIterator() | match |
| cfg.swift:526:26:526:30 | ... ....(_:_:) ... | cfg.swift:526:26:526:30 | call to makeIterator() | |
| cfg.swift:526:26:526:30 | .makeIterator() | cfg.swift:526:27:526:27 | ....(_:_:) | |
| cfg.swift:526:26:526:30 | call to makeIterator() | file://:0:0:0:0 | var ... = ... | |
| cfg.swift:526:26:526:26 | $i$generator | cfg.swift:526:26:526:26 | .makeIterator() | match |
| cfg.swift:526:26:526:26 | .makeIterator() | cfg.swift:526:27:526:27 | ....(_:_:) | |
| cfg.swift:526:26:526:26 | call to makeIterator() | file://:0:0:0:0 | var ... = ... | |
| cfg.swift:526:26:526:30 | ... ....(_:_:) ... | cfg.swift:526:26:526:26 | call to makeIterator() | |
| cfg.swift:526:27:526:27 | ....(_:_:) | cfg.swift:526:27:526:27 | Int.Type | |
| cfg.swift:526:27:526:27 | Int.Type | cfg.swift:526:26:526:26 | 1 | |
| cfg.swift:526:30:526:30 | 100 | cfg.swift:526:26:526:30 | ... ....(_:_:) ... | |

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

@@ -150,8 +150,8 @@ edges
| test2.swift:84:9:84:15 | (...) [Tuple element at index 1] | test2.swift:84:14:84:14 | v | provenance | |
| test2.swift:84:14:84:14 | v | test2.swift:86:19:86:19 | v | provenance | |
| test2.swift:84:20:84:20 | a1 [Collection element] | test2.swift:84:20:84:34 | call to enumerated() [Collection element, Tuple element at index 1] | provenance | |
| test2.swift:84:20:84:34 | call to enumerated() [Collection element, Tuple element at index 1] | test2.swift:84:20:84:34 | call to makeIterator() [Collection element, Tuple element at index 1] | provenance | |
| test2.swift:84:20:84:34 | call to makeIterator() [Collection element, Tuple element at index 1] | test2.swift:84:5:84:5 | $generator [Collection element, Tuple element at index 1] | provenance | |
| test2.swift:84:20:84:20 | call to makeIterator() [Collection element, Tuple element at index 1] | test2.swift:84:5:84:5 | $generator [Collection element, Tuple element at index 1] | provenance | |
| test2.swift:84:20:84:34 | call to enumerated() [Collection element, Tuple element at index 1] | test2.swift:84:20:84:20 | call to makeIterator() [Collection element, Tuple element at index 1] | provenance | |
| test2.swift:93:5:93:5 | [post] a2 [Collection element] | test2.swift:95:14:95:14 | a2 [Collection element] | provenance | |
| test2.swift:93:5:93:5 | [post] a2 [Collection element] | test2.swift:99:19:99:19 | a2 [Collection element] | provenance | |
| test2.swift:93:5:93:5 | [post] a2 [Collection element] | test2.swift:101:20:101:20 | a2 [Collection element] | provenance | |
@@ -167,8 +167,8 @@ edges
| test2.swift:101:9:101:15 | (...) [Tuple element at index 1] | test2.swift:101:14:101:14 | v | provenance | |
| test2.swift:101:14:101:14 | v | test2.swift:103:19:103:19 | v | provenance | |
| test2.swift:101:20:101:20 | a2 [Collection element] | test2.swift:101:20:101:34 | call to enumerated() [Collection element, Tuple element at index 1] | provenance | |
| test2.swift:101:20:101:34 | call to enumerated() [Collection element, Tuple element at index 1] | test2.swift:101:20:101:34 | call to makeIterator() [Collection element, Tuple element at index 1] | provenance | |
| test2.swift:101:20:101:34 | call to makeIterator() [Collection element, Tuple element at index 1] | test2.swift:101:5:101:5 | $generator [Collection element, Tuple element at index 1] | provenance | |
| test2.swift:101:20:101:20 | call to makeIterator() [Collection element, Tuple element at index 1] | test2.swift:101:5:101:5 | $generator [Collection element, Tuple element at index 1] | provenance | |
| test2.swift:101:20:101:34 | call to enumerated() [Collection element, Tuple element at index 1] | test2.swift:101:20:101:20 | call to makeIterator() [Collection element, Tuple element at index 1] | provenance | |
| test.swift:6:19:6:26 | call to source() | test.swift:7:15:7:15 | t1 | provenance | |
| test.swift:6:19:6:26 | call to source() | test.swift:9:15:9:15 | t1 | provenance | |
| test.swift:6:19:6:26 | call to source() | test.swift:10:15:10:15 | t2 | provenance | |
@@ -940,8 +940,8 @@ nodes
| test2.swift:84:9:84:15 | (...) [Tuple element at index 1] | semmle.label | (...) [Tuple element at index 1] |
| test2.swift:84:14:84:14 | v | semmle.label | v |
| test2.swift:84:20:84:20 | a1 [Collection element] | semmle.label | a1 [Collection element] |
| test2.swift:84:20:84:20 | call to makeIterator() [Collection element, Tuple element at index 1] | semmle.label | call to makeIterator() [Collection element, Tuple element at index 1] |
| test2.swift:84:20:84:34 | call to enumerated() [Collection element, Tuple element at index 1] | semmle.label | call to enumerated() [Collection element, Tuple element at index 1] |
| test2.swift:84:20:84:34 | call to makeIterator() [Collection element, Tuple element at index 1] | semmle.label | call to makeIterator() [Collection element, Tuple element at index 1] |
| test2.swift:86:19:86:19 | v | semmle.label | v |
| test2.swift:93:5:93:5 | [post] a2 [Collection element] | semmle.label | [post] a2 [Collection element] |
| test2.swift:93:13:93:29 | call to source(_:) | semmle.label | call to source(_:) |
@@ -958,8 +958,8 @@ nodes
| test2.swift:101:9:101:15 | (...) [Tuple element at index 1] | semmle.label | (...) [Tuple element at index 1] |
| test2.swift:101:14:101:14 | v | semmle.label | v |
| test2.swift:101:20:101:20 | a2 [Collection element] | semmle.label | a2 [Collection element] |
| test2.swift:101:20:101:20 | call to makeIterator() [Collection element, Tuple element at index 1] | semmle.label | call to makeIterator() [Collection element, Tuple element at index 1] |
| test2.swift:101:20:101:34 | call to enumerated() [Collection element, Tuple element at index 1] | semmle.label | call to enumerated() [Collection element, Tuple element at index 1] |
| test2.swift:101:20:101:34 | call to makeIterator() [Collection element, Tuple element at index 1] | semmle.label | call to makeIterator() [Collection element, Tuple element at index 1] |
| test2.swift:103:19:103:19 | v | semmle.label | v |
| test.swift:6:19:6:26 | call to source() | semmle.label | call to source() |
| test.swift:7:15:7:15 | t1 | semmle.label | t1 |

18
swift/ql/test/library-tests/dataflow/dataflow/LocalFlow.expected
View File

@@ -37,9 +37,9 @@
| test2.swift:18:16:18:16 | SSA def($key$generator) | test2.swift:18:5:18:5 | $key$generator |
| test2.swift:18:16:18:16 | [post] d1 | test2.swift:20:19:20:19 | d1 |
| test2.swift:18:16:18:16 | [post] d1 | test2.swift:22:18:22:18 | d1 |
| test2.swift:18:16:18:16 | call to makeIterator() | test2.swift:18:16:18:16 | $key$generator |
| test2.swift:18:16:18:16 | d1 | test2.swift:20:19:20:19 | d1 |
| test2.swift:18:16:18:16 | d1 | test2.swift:22:18:22:18 | d1 |
| test2.swift:18:16:18:19 | call to makeIterator() | test2.swift:18:16:18:16 | $key$generator |
| test2.swift:19:19:19:19 | [post] key | test2.swift:20:22:20:22 | key |
| test2.swift:19:19:19:19 | key | test2.swift:20:22:20:22 | key |
| test2.swift:20:19:20:19 | [post] d1 | test2.swift:20:19:20:19 | d1 |
@@ -55,8 +55,8 @@
| test2.swift:22:18:22:18 | $value$generator | test2.swift:22:18:22:18 | SSA def($value$generator) |
| test2.swift:22:18:22:18 | SSA def($value$generator) | test2.swift:22:5:22:5 | $value$generator |
| test2.swift:22:18:22:18 | [post] d1 | test2.swift:25:25:25:25 | d1 |
| test2.swift:22:18:22:18 | call to makeIterator() | test2.swift:22:18:22:18 | $value$generator |
| test2.swift:22:18:22:18 | d1 | test2.swift:25:25:25:25 | d1 |
| test2.swift:22:18:22:21 | call to makeIterator() | test2.swift:22:18:22:18 | $value$generator |
| test2.swift:25:5:25:5 | $generator | test2.swift:25:5:25:5 | &... |
| test2.swift:25:5:25:5 | &... | test2.swift:25:5:25:5 | $generator |
| test2.swift:25:5:25:5 | [post] $generator | test2.swift:25:5:25:5 | &... |
@@ -131,9 +131,9 @@
| test2.swift:62:16:62:16 | SSA def($key$generator) | test2.swift:62:5:62:5 | $key$generator |
| test2.swift:62:16:62:16 | [post] d4 | test2.swift:64:19:64:19 | d4 |
| test2.swift:62:16:62:16 | [post] d4 | test2.swift:66:18:66:18 | d4 |
| test2.swift:62:16:62:16 | call to makeIterator() | test2.swift:62:16:62:16 | $key$generator |
| test2.swift:62:16:62:16 | d4 | test2.swift:64:19:64:19 | d4 |
| test2.swift:62:16:62:16 | d4 | test2.swift:66:18:66:18 | d4 |
| test2.swift:62:16:62:19 | call to makeIterator() | test2.swift:62:16:62:16 | $key$generator |
| test2.swift:63:19:63:19 | [post] key | test2.swift:64:22:64:22 | key |
| test2.swift:63:19:63:19 | key | test2.swift:64:22:64:22 | key |
| test2.swift:64:19:64:19 | &... | test2.swift:64:19:64:19 | d4 |
@@ -149,8 +149,8 @@
| test2.swift:66:18:66:18 | $value$generator | test2.swift:66:18:66:18 | SSA def($value$generator) |
| test2.swift:66:18:66:18 | SSA def($value$generator) | test2.swift:66:5:66:5 | $value$generator |
| test2.swift:66:18:66:18 | [post] d4 | test2.swift:69:25:69:25 | d4 |
| test2.swift:66:18:66:18 | call to makeIterator() | test2.swift:66:18:66:18 | $value$generator |
| test2.swift:66:18:66:18 | d4 | test2.swift:69:25:69:25 | d4 |
| test2.swift:66:18:66:21 | call to makeIterator() | test2.swift:66:18:66:18 | $value$generator |
| test2.swift:69:5:69:5 | $generator | test2.swift:69:5:69:5 | &... |
| test2.swift:69:5:69:5 | &... | test2.swift:69:5:69:5 | $generator |
| test2.swift:69:5:69:5 | [post] $generator | test2.swift:69:5:69:5 | &... |
@@ -181,7 +181,7 @@
| test2.swift:81:9:81:9 | ix | test2.swift:81:9:81:9 | SSA def(ix) |
| test2.swift:81:15:81:15 | $ix$generator | test2.swift:81:15:81:15 | SSA def($ix$generator) |
| test2.swift:81:15:81:15 | SSA def($ix$generator) | test2.swift:81:5:81:5 | $ix$generator |
| test2.swift:81:15:81:24 | call to makeIterator() | test2.swift:81:15:81:15 | $ix$generator |
| test2.swift:81:15:81:15 | call to makeIterator() | test2.swift:81:15:81:15 | $ix$generator |
| test2.swift:81:21:81:21 | [post] a1 | test2.swift:82:19:82:19 | a1 |
| test2.swift:81:21:81:21 | [post] a1 | test2.swift:84:20:84:20 | a1 |
| test2.swift:81:21:81:21 | a1 | test2.swift:82:19:82:19 | a1 |
@@ -199,7 +199,7 @@
| test2.swift:84:14:84:14 | v | test2.swift:84:14:84:14 | SSA def(v) |
| test2.swift:84:20:84:20 | $generator | test2.swift:84:20:84:20 | SSA def($generator) |
| test2.swift:84:20:84:20 | SSA def($generator) | test2.swift:84:5:84:5 | $generator |
| test2.swift:84:20:84:34 | call to makeIterator() | test2.swift:84:20:84:20 | $generator |
| test2.swift:84:20:84:20 | call to makeIterator() | test2.swift:84:20:84:20 | $generator |
| test2.swift:91:9:91:9 | SSA def(a2) | test2.swift:93:5:93:5 | a2 |
| test2.swift:91:9:91:9 | a2 | test2.swift:91:9:91:9 | SSA def(a2) |
| test2.swift:91:14:91:33 | [...] | test2.swift:91:9:91:9 | a2 |
@@ -223,7 +223,7 @@
| test2.swift:98:9:98:9 | ix | test2.swift:98:9:98:9 | SSA def(ix) |
| test2.swift:98:15:98:15 | $ix$generator | test2.swift:98:15:98:15 | SSA def($ix$generator) |
| test2.swift:98:15:98:15 | SSA def($ix$generator) | test2.swift:98:5:98:5 | $ix$generator |
| test2.swift:98:15:98:24 | call to makeIterator() | test2.swift:98:15:98:15 | $ix$generator |
| test2.swift:98:15:98:15 | call to makeIterator() | test2.swift:98:15:98:15 | $ix$generator |
| test2.swift:98:21:98:21 | [post] a2 | test2.swift:99:19:99:19 | a2 |
| test2.swift:98:21:98:21 | [post] a2 | test2.swift:101:20:101:20 | a2 |
| test2.swift:98:21:98:21 | a2 | test2.swift:99:19:99:19 | a2 |
@@ -241,7 +241,7 @@
| test2.swift:101:14:101:14 | v | test2.swift:101:14:101:14 | SSA def(v) |
| test2.swift:101:20:101:20 | $generator | test2.swift:101:20:101:20 | SSA def($generator) |
| test2.swift:101:20:101:20 | SSA def($generator) | test2.swift:101:5:101:5 | $generator |
| test2.swift:101:20:101:34 | call to makeIterator() | test2.swift:101:20:101:20 | $generator |
| test2.swift:101:20:101:20 | call to makeIterator() | test2.swift:101:20:101:20 | $generator |
| test.swift:5:9:5:13 | ... as ... | test.swift:5:9:5:9 | t2 |
| test.swift:6:9:6:9 | SSA def(t1) | test.swift:7:15:7:15 | t1 |
| test.swift:6:9:6:9 | t1 | test.swift:6:9:6:9 | SSA def(t1) |
@@ -1388,7 +1388,7 @@
| test.swift:891:17:891:17 | [post] $generator | test.swift:891:17:891:17 | &... |
| test.swift:891:26:891:26 | $generator | test.swift:891:26:891:26 | SSA def($generator) |
| test.swift:891:26:891:26 | SSA def($generator) | test.swift:891:17:891:17 | $generator |
| test.swift:891:26:891:30 | call to makeIterator() | test.swift:891:26:891:26 | $generator |
| test.swift:891:26:891:26 | call to makeIterator() | test.swift:891:26:891:26 | $generator |
| test.swift:892:21:892:21 | this | test.swift:891:17:891:17 | SSA phi read(this) |
| test.swift:892:21:892:21 | this | test.swift:891:17:891:17 | SSA phi read(this) |
| test.swift:898:5:898:5 | $i$generator | test.swift:898:5:898:5 | &... |

26
swift/ql/test/library-tests/elements/expr/methodlookup/PrintAst.expected
View File

@@ -151,14 +151,16 @@ methodlookup.swift:
# 30| getMethodRef(): [DeclRefExpr] staticMethod()
# 33| [TopLevelCodeDecl] { ... }
# 33| getBody(): [BraceStmt] { ... }
# 33| getElement(0): [CallExpr] call to Task<Success, Never>.init(priority:operation:)
# 33| getFunction(): [MethodLookupExpr] Task<Success, Never>.init(priority:operation:)
# 33| getElement(0): [CallExpr] call to Task<Success, Never>.init(name:priority:operation:)
# 33| getFunction(): [MethodLookupExpr] Task<Success, Never>.init(name:priority:operation:)
# 33| getBase(): [TypeExpr] Task<(), Never>.Type
# 33| getTypeRepr(): [TypeRepr] Task<(), Never>
# 33| getMethodRef(): [DeclRefExpr] Task<Success, Never>.init(priority:operation:)
# 33| getArgument(0): [Argument] priority: default priority
# 33| getMethodRef(): [DeclRefExpr] Task<Success, Never>.init(name:priority:operation:)
# 33| getArgument(0): [Argument] name: default name
# 33| getExpr(): [DefaultArgumentExpr] default name
# 33| getArgument(1): [Argument] priority: default priority
# 33| getExpr(): [DefaultArgumentExpr] default priority
# 33| getArgument(1): [Argument] operation: { ... }
# 33| getArgument(2): [Argument] operation: { ... }
# 33| getExpr(): [ExplicitClosureExpr] { ... }
# 33| getBody(): [BraceStmt] { ... }
# 34| getVariable(0): [ConcreteVarDecl] bar
@@ -189,18 +191,21 @@ methodlookup.swift:
# 40| getMethodRef(): [DeclRefExpr] staticMethod()
# 33| getExpr().getFullyConverted(): [FunctionConversionExpr] (@isolated(any) () async -> ()) ...
# 33| [NilLiteralExpr] nil
# 33| [NilLiteralExpr] nil
# 38| [Comment] // Bar.instanceMethod(bar2)() // error: actor-isolated instance method 'instanceMethod()' can not be referenced from a non-isolated context
# 38|
# 43| [TopLevelCodeDecl] { ... }
# 43| getBody(): [BraceStmt] { ... }
# 43| getElement(0): [CallExpr] call to Task<Success, Never>.init(priority:operation:)
# 43| getFunction(): [MethodLookupExpr] Task<Success, Never>.init(priority:operation:)
# 43| getElement(0): [CallExpr] call to Task<Success, Never>.init(name:priority:operation:)
# 43| getFunction(): [MethodLookupExpr] Task<Success, Never>.init(name:priority:operation:)
# 43| getBase(): [TypeExpr] Task<(), Never>.Type
# 43| getTypeRepr(): [TypeRepr] Task<(), Never>
# 43| getMethodRef(): [DeclRefExpr] Task<Success, Never>.init(priority:operation:)
# 43| getArgument(0): [Argument] priority: default priority
# 43| getMethodRef(): [DeclRefExpr] Task<Success, Never>.init(name:priority:operation:)
# 43| getArgument(0): [Argument] name: default name
# 43| getExpr(): [DefaultArgumentExpr] default name
# 43| getArgument(1): [Argument] priority: default priority
# 43| getExpr(): [DefaultArgumentExpr] default priority
# 43| getArgument(1): [Argument] operation: { ... }
# 43| getArgument(2): [Argument] operation: { ... }
# 43| getExpr(): [ExplicitClosureExpr] { ... }
# 43| getBody(): [BraceStmt] { ... }
# 44| getVariable(0): [ConcreteVarDecl] baz
@@ -265,6 +270,7 @@ methodlookup.swift:
# 51| getElement(5).getFullyConverted(): [AwaitExpr] await ...
# 43| getExpr().getFullyConverted(): [FunctionConversionExpr] (@isolated(any) () async -> ()) ...
# 43| [NilLiteralExpr] nil
# 43| [NilLiteralExpr] nil
# 47| [Comment] // DotSyntaxCallExpr
# 47|
# 48| [Comment] // DotSyntaxBaseIgnoredExpr

4
swift/ql/test/library-tests/elements/expr/methodlookup/getStaticTarget.expected
View File

@@ -10,12 +10,12 @@ noStaticTarget
| methodlookup.swift:27:9:27:9 | call to instanceMethod() | true |
| methodlookup.swift:29:5:29:21 | call to classMethod() | true |
| methodlookup.swift:30:5:30:22 | call to staticMethod() | true |
| methodlookup.swift:33:1:41:1 | call to Task<Success, Never>.init(priority:operation:) | true |
| methodlookup.swift:33:1:41:1 | call to Task<Success, Never>.init(name:priority:operation:) | true |
| methodlookup.swift:34:15:34:19 | call to Bar.init() | true |
| methodlookup.swift:35:9:35:18 | call to Bar.init() | true |
| methodlookup.swift:37:11:37:30 | call to instanceMethod() | true |
| methodlookup.swift:40:5:40:22 | call to staticMethod() | true |
| methodlookup.swift:43:1:52:1 | call to Task<Success, Never>.init(priority:operation:) | true |
| methodlookup.swift:43:1:52:1 | call to Task<Success, Never>.init(name:priority:operation:) | true |
| methodlookup.swift:44:21:44:25 | call to Baz.init() | true |
| methodlookup.swift:45:15:45:24 | call to Baz.init() | true |
| methodlookup.swift:47:11:47:30 | call to instanceMethod() | true |

2
swift/ql/test/library-tests/elements/type/nominaltype/nominaltype.expected
View File

@@ -1,4 +1,4 @@
| nominaltype.swift:84:6:84:6 | i | Int | getABaseType:BitwiseCopyable, getABaseType:CVarArg, getABaseType:CodingKeyRepresentable, getABaseType:CustomReflectable, getABaseType:Decodable, getABaseType:Encodable, getABaseType:Equatable, getABaseType:FixedWidthInteger, getABaseType:Hashable, getABaseType:MirrorPath, getABaseType:SIMDScalar, getABaseType:Sendable, getABaseType:SignedInteger, getABaseType:_CustomPlaygroundQuickLookable, getABaseType:_ExpressibleByBuiltinIntegerLiteral, getABaseType:_HasCustomAnyHashableRepresentation, getCanonicalType:Int, getFullName:Int, getName:Int, getUnderlyingType:Int |
| nominaltype.swift:84:6:84:6 | i | Int | getABaseType:BitwiseCopyable, getABaseType:CVarArg, getABaseType:CodingKeyRepresentable, getABaseType:CustomReflectable, getABaseType:Decodable, getABaseType:Encodable, getABaseType:Equatable, getABaseType:FixedWidthInteger, getABaseType:Hashable, getABaseType:MirrorPath, getABaseType:SIMDScalar, getABaseType:Sendable, getABaseType:SendableMetatype, getABaseType:SignedInteger, getABaseType:_CustomPlaygroundQuickLookable, getABaseType:_ExpressibleByBuiltinIntegerLiteral, getABaseType:_HasCustomAnyHashableRepresentation, getCanonicalType:Int, getFullName:Int, getName:Int, getUnderlyingType:Int |
| nominaltype.swift:85:6:85:6 | j | Any? | getCanonicalType:Optional<Any>, getFullName:Any?, getName:Any?, getUnderlyingType:Any? |
| nominaltype.swift:86:6:86:6 | a | A | getCanonicalType:A, getFullName:A, getName:A, getUnderlyingType:A |
| nominaltype.swift:87:6:87:6 | a_alias | A_alias | getAliasedType:A, getCanonicalType:A, getFullName:A_alias, getName:A_alias, getUnderlyingType:A |

2
swift/ql/test/library-tests/elements/type/nominaltype/nominaltypedecl.expected
View File

@@ -1,4 +1,4 @@
| nominaltype.swift:84:6:84:6 | i | Int | getABaseType:BitwiseCopyable, getABaseType:CVarArg, getABaseType:CodingKeyRepresentable, getABaseType:CustomReflectable, getABaseType:Decodable, getABaseType:Encodable, getABaseType:Equatable, getABaseType:FixedWidthInteger, getABaseType:Hashable, getABaseType:MirrorPath, getABaseType:SIMDScalar, getABaseType:Sendable, getABaseType:SignedInteger, getABaseType:_CustomPlaygroundQuickLookable, getABaseType:_ExpressibleByBuiltinIntegerLiteral, getABaseType:_HasCustomAnyHashableRepresentation, getABaseTypeDecl:BitwiseCopyable, getABaseTypeDecl:CVarArg, getABaseTypeDecl:CodingKeyRepresentable, getABaseTypeDecl:CustomReflectable, getABaseTypeDecl:Decodable, getABaseTypeDecl:Encodable, getABaseTypeDecl:Equatable, getABaseTypeDecl:FixedWidthInteger, getABaseTypeDecl:Hashable, getABaseTypeDecl:MirrorPath, getABaseTypeDecl:SIMDScalar, getABaseTypeDecl:Sendable, getABaseTypeDecl:SignedInteger, getABaseTypeDecl:_CustomPlaygroundQuickLookable, getABaseTypeDecl:_ExpressibleByBuiltinIntegerLiteral, getABaseTypeDecl:_HasCustomAnyHashableRepresentation, getFullName:Int, getName:Int |
| nominaltype.swift:84:6:84:6 | i | Int | getABaseType:BitwiseCopyable, getABaseType:CVarArg, getABaseType:CodingKeyRepresentable, getABaseType:CustomReflectable, getABaseType:Decodable, getABaseType:Encodable, getABaseType:Equatable, getABaseType:FixedWidthInteger, getABaseType:Hashable, getABaseType:MirrorPath, getABaseType:SIMDScalar, getABaseType:Sendable, getABaseType:SendableMetatype, getABaseType:SignedInteger, getABaseType:_CustomPlaygroundQuickLookable, getABaseType:_ExpressibleByBuiltinIntegerLiteral, getABaseType:_HasCustomAnyHashableRepresentation, getABaseTypeDecl:BitwiseCopyable, getABaseTypeDecl:CVarArg, getABaseTypeDecl:CodingKeyRepresentable, getABaseTypeDecl:CustomReflectable, getABaseTypeDecl:Decodable, getABaseTypeDecl:Encodable, getABaseTypeDecl:Equatable, getABaseTypeDecl:FixedWidthInteger, getABaseTypeDecl:Hashable, getABaseTypeDecl:MirrorPath, getABaseTypeDecl:SIMDScalar, getABaseTypeDecl:Sendable, getABaseTypeDecl:SendableMetatype, getABaseTypeDecl:SignedInteger, getABaseTypeDecl:_CustomPlaygroundQuickLookable, getABaseTypeDecl:_ExpressibleByBuiltinIntegerLiteral, getABaseTypeDecl:_HasCustomAnyHashableRepresentation, getFullName:Int, getName:Int |
| nominaltype.swift:86:6:86:6 | a | A | getFullName:A, getName:A |
| nominaltype.swift:87:6:87:6 | a_alias | A_alias | getAliasedType:A, getFullName:A_alias, getName:A_alias |
| nominaltype.swift:88:6:88:6 | a_optional_alias | A_optional_alias | getAliasedType:A?, getFullName:A_optional_alias, getName:A_optional_alias |

2
swift/ql/test/query-tests/Diagnostics/SuccessfullyExtractedLines.expected
View File

@@ -1 +1 @@
| 287 |
| 299 |