Swift: accept test expectation changes

This commit is contained in:
Paolo Tranquilli
2023-04-24 08:55:13 +02:00
committed by Alex Denisov
parent 93b9115217
commit 17111c96e4
7 changed files with 33 additions and 39 deletions

View File

@@ -1,6 +1,6 @@
| functions.swift:5:1:7:1 | bar(_:d:) | 0 | functions.swift:5:10:5:15 | x |
| functions.swift:5:1:7:1 | bar(_:d:) | 1 | functions.swift:5:20:5:25 | y |
| functions.swift:10:5:10:28 | noBody(x:) | 0 | functions.swift:10:17:10:20 | x |
| functions.swift:13:1:15:1 | variadic(_:) | 0 | functions.swift:13:15:13:23 | ints |
| functions.swift:13:1:15:1 | variadic(_:) | 0 | functions.swift:13:15:13:26 | ints |
| functions.swift:17:1:19:1 | generic(x:y:) | 0 | functions.swift:17:20:17:23 | x |
| functions.swift:17:1:19:1 | generic(x:y:) | 1 | functions.swift:17:26:17:29 | y |

View File

@@ -1,3 +1,3 @@
doubleIndexes
| method_lookups.swift:44:13:44:13 | [AutoClosureExpr] { ... } | 2 | getParam(0) | 4 | getParam(1) | file://:0:0:0:0 | [ParamDecl] argument |
| method_lookups.swift:44:13:44:13 | [AutoClosureExpr] { ... } | 4 | getParam(1) | 2 | getParam(0) | file://:0:0:0:0 | [ParamDecl] argument |
| method_lookups.swift:44:11:44:13 | [AutoClosureExpr] { ... } | 2 | getParam(0) | 4 | getParam(1) | file://:0:0:0:0 | [ParamDecl] argument |
| method_lookups.swift:44:11:44:13 | [AutoClosureExpr] { ... } | 4 | getParam(1) | 2 | getParam(0) | file://:0:0:0:0 | [ParamDecl] argument |

View File

@@ -9,8 +9,7 @@
| method_lookups.swift:33:3:33:5 | .bar() | hasType: | yes | getBase: | method_lookups.swift:33:3:33:3 | X.Type | hasMember: | yes | getMethodRef: | method_lookups.swift:33:5:33:5 | bar() |
| method_lookups.swift:34:3:34:3 | X.init() | hasType: | yes | getBase: | method_lookups.swift:34:3:34:3 | X.Type | hasMember: | yes | getMethodRef: | method_lookups.swift:34:3:34:3 | X.init() |
| method_lookups.swift:34:3:34:7 | .baz(_:) | hasType: | yes | getBase: | method_lookups.swift:34:3:34:5 | call to X.init() | hasMember: | yes | getMethodRef: | method_lookups.swift:34:7:34:7 | baz(_:) |
| method_lookups.swift:36:11:36:13 | (no string representation) | hasType: | yes | getBase: | method_lookups.swift:36:11:36:11 | X.Type | hasMember: | no | getMethodRef: | method_lookups.swift:36:13:36:13 | { ... } |
| method_lookups.swift:36:13:36:13 | .bar() | hasType: | yes | getBase: | file://:0:0:0:0 | self | hasMember: | yes | getMethodRef: | method_lookups.swift:36:13:36:13 | bar() |
| method_lookups.swift:36:11:36:13 | .bar() | hasType: | yes | getBase: | method_lookups.swift:36:11:36:11 | X.Type | hasMember: | yes | getMethodRef: | method_lookups.swift:36:13:36:13 | bar() |
| method_lookups.swift:37:11:37:11 | X.init() | hasType: | yes | getBase: | method_lookups.swift:37:11:37:11 | X.Type | hasMember: | yes | getMethodRef: | method_lookups.swift:37:11:37:11 | X.init() |
| method_lookups.swift:37:11:37:15 | (no string representation) | hasType: | yes | getBase: | method_lookups.swift:37:11:37:13 | call to X.init() | hasMember: | no | getMethodRef: | method_lookups.swift:37:15:37:15 | { ... } |
| method_lookups.swift:37:15:37:15 | .baz(_:) | hasType: | yes | getBase: | file://:0:0:0:0 | self | hasMember: | yes | getMethodRef: | method_lookups.swift:37:15:37:15 | baz(_:) |
@@ -18,15 +17,13 @@
| method_lookups.swift:41:3:41:5 | .foo(_:_:) | hasType: | yes | getBase: | method_lookups.swift:41:3:41:3 | Y.Type | hasMember: | yes | getMethodRef: | method_lookups.swift:41:5:41:5 | foo(_:_:) |
| method_lookups.swift:42:9:42:9 | Y.init() | hasType: | yes | getBase: | method_lookups.swift:42:9:42:9 | Y.Type | hasMember: | yes | getMethodRef: | method_lookups.swift:42:9:42:9 | Y.init() |
| method_lookups.swift:42:9:42:13 | .baz(_:) | hasType: | yes | getBase: | method_lookups.swift:42:9:42:11 | call to Y.init() | hasMember: | yes | getMethodRef: | method_lookups.swift:42:13:42:13 | baz(_:) |
| method_lookups.swift:44:11:44:13 | (no string representation) | hasType: | yes | getBase: | method_lookups.swift:44:11:44:11 | Y.Type | hasMember: | no | getMethodRef: | method_lookups.swift:44:13:44:13 | { ... } |
| method_lookups.swift:44:13:44:13 | .foo(_:_:) | hasType: | yes | getBase: | file://:0:0:0:0 | self | hasMember: | yes | getMethodRef: | method_lookups.swift:44:13:44:13 | foo(_:_:) |
| method_lookups.swift:44:11:44:13 | .foo(_:_:) | hasType: | yes | getBase: | method_lookups.swift:44:11:44:11 | Y.Type | hasMember: | yes | getMethodRef: | method_lookups.swift:44:13:44:13 | foo(_:_:) |
| method_lookups.swift:47:1:47:1 | Task<Success, Never>.init(priority:operation:) | hasType: | yes | getBase: | method_lookups.swift:47:1:47:1 | Task<(), Never>.Type | hasMember: | yes | getMethodRef: | method_lookups.swift:47:1:47:1 | Task<Success, Never>.init(priority:operation:) |
| method_lookups.swift:48:9:48:11 | .foo(_:_:) | hasType: | yes | getBase: | method_lookups.swift:48:9:48:9 | Z.Type | hasMember: | yes | getMethodRef: | method_lookups.swift:48:11:48:11 | foo(_:_:) |
| method_lookups.swift:49:9:49:11 | .bar() | hasType: | yes | getBase: | method_lookups.swift:49:9:49:9 | Z.Type | hasMember: | yes | getMethodRef: | method_lookups.swift:49:11:49:11 | bar() |
| method_lookups.swift:50:9:50:9 | Z.init() | hasType: | yes | getBase: | method_lookups.swift:50:9:50:9 | Z.Type | hasMember: | yes | getMethodRef: | method_lookups.swift:50:9:50:9 | Z.init() |
| method_lookups.swift:50:9:50:13 | .baz(_:) | hasType: | yes | getBase: | method_lookups.swift:50:9:50:11 | call to Z.init() | hasMember: | yes | getMethodRef: | method_lookups.swift:50:13:50:13 | baz(_:) |
| method_lookups.swift:52:11:52:13 | (no string representation) | hasType: | yes | getBase: | method_lookups.swift:52:11:52:11 | Z.Type | hasMember: | no | getMethodRef: | method_lookups.swift:52:13:52:13 | { ... } |
| method_lookups.swift:52:13:52:13 | .bar() | hasType: | yes | getBase: | file://:0:0:0:0 | self | hasMember: | yes | getMethodRef: | method_lookups.swift:52:13:52:13 | bar() |
| method_lookups.swift:52:11:52:13 | .bar() | hasType: | yes | getBase: | method_lookups.swift:52:11:52:11 | Z.Type | hasMember: | yes | getMethodRef: | method_lookups.swift:52:13:52:13 | bar() |
| method_lookups.swift:53:11:53:23 | (no string representation) | hasType: | yes | getBase: | method_lookups.swift:53:18:53:20 | call to Z.init() | hasMember: | no | getMethodRef: | method_lookups.swift:53:23:53:23 | { ... } |
| method_lookups.swift:53:18:53:18 | Z.init() | hasType: | yes | getBase: | method_lookups.swift:53:18:53:18 | Z.Type | hasMember: | yes | getMethodRef: | method_lookups.swift:53:18:53:18 | Z.init() |
| method_lookups.swift:53:23:53:23 | .baz(_:) | hasType: | yes | getBase: | file://:0:0:0:0 | self | hasMember: | yes | getMethodRef: | method_lookups.swift:53:23:53:23 | baz(_:) |

View File

@@ -6,19 +6,19 @@
| method_lookups.swift:33:3:33:5 | .bar() | method_lookups.swift:3:3:3:21 | bar() |
| method_lookups.swift:34:3:34:3 | X.init() | method_lookups.swift:6:3:8:3 | X.init() |
| method_lookups.swift:34:3:34:7 | .baz(_:) | method_lookups.swift:4:3:4:21 | baz(_:) |
| method_lookups.swift:36:13:36:13 | .bar() | method_lookups.swift:3:3:3:21 | bar() |
| 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: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:13:44:13 | .foo(_:_:) | method_lookups.swift:12:3:12:35 | foo(_:_:) |
| 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: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:3:23:21 | bar() |
| method_lookups.swift:50:9:50:9 | Z.init() | method_lookups.swift:26:3:28:3 | Z.init() |
| method_lookups.swift:50:9:50:13 | .baz(_:) | method_lookups.swift:24:3:24:21 | baz(_:) |
| method_lookups.swift:52:13:52:13 | .bar() | method_lookups.swift:23:3:23:21 | bar() |
| method_lookups.swift:52:11:52:13 | .bar() | method_lookups.swift:23:3:23:21 | bar() |
| method_lookups.swift:53:18:53:18 | Z.init() | method_lookups.swift:26:3:28:3 | Z.init() |
| method_lookups.swift:53:23:53:23 | .baz(_:) | method_lookups.swift:24:3:24:21 | baz(_:) |

View File

@@ -9,8 +9,7 @@
| method_lookups.swift:33:3:33:5 | .bar() | () -> () |
| method_lookups.swift:34:3:34:3 | X.init() | () -> X |
| method_lookups.swift:34:3:34:7 | .baz(_:) | (Int) -> () |
| method_lookups.swift:36:11:36:13 | (no string representation) | () -> () |
| method_lookups.swift:36:13:36:13 | .bar() | () -> () |
| method_lookups.swift:36:11:36:13 | .bar() | () -> () |
| 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) -> () |
@@ -18,15 +17,13 @@
| 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 | (no string representation) | (Int, Int) -> () |
| method_lookups.swift:44:13:44:13 | .foo(_:_:) | (Int, 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?, __owned @escaping @Sendable () async -> ()) -> Task<(), Never> |
| method_lookups.swift:48:9:48:11 | .foo(_:_:) | @MainActor (Int, Int) -> () |
| method_lookups.swift:49:9:49:11 | .bar() | @MainActor () -> () |
| method_lookups.swift:50:9:50:9 | Z.init() | @MainActor () -> Z |
| method_lookups.swift:50:9:50:13 | .baz(_:) | @MainActor (Int) -> () |
| method_lookups.swift:52:11:52:13 | (no string representation) | @MainActor () -> () |
| method_lookups.swift:52:13:52:13 | .bar() | () -> () |
| method_lookups.swift:52:11:52:13 | .bar() | () -> () |
| method_lookups.swift:53:11:53:23 | (no string representation) | @MainActor (Int) -> () |
| method_lookups.swift:53:18:53:18 | Z.init() | @MainActor () -> Z |
| method_lookups.swift:53:23:53:23 | .baz(_:) | (Int) -> () |

View File

@@ -1,2 +1,2 @@
| run_under: $CODEQL_EXTRACTOR_SWIFT_ROOT/tools/$CODEQL_PLATFORM/extractor -sdk $CODEQL_EXTRACTOR_SWIFT_ROOT/qltest/$CODEQL_PLATFORM/sdk -c -primary-file filtered_in.swift |
| run_under: $CODEQL_EXTRACTOR_SWIFT_ROOT/tools/$CODEQL_PLATFORM/extractor -sdk $CODEQL_EXTRACTOR_SWIFT_ROOT/qltest/$CODEQL_PLATFORM/sdk -c -primary-file unfiltered.swift |
| run_under: $CODEQL_EXTRACTOR_SWIFT_ROOT/tools/$CODEQL_PLATFORM/extractor -sdk $CODEQL_EXTRACTOR_SWIFT_ROOT/qltest/$CODEQL_PLATFORM/sdk -resource-dir $CODEQL_EXTRACTOR_SWIFT_ROOT/resource-dir/$CODEQL_PLATFORM -c -primary-file filtered_in.swift |
| run_under: $CODEQL_EXTRACTOR_SWIFT_ROOT/tools/$CODEQL_PLATFORM/extractor -sdk $CODEQL_EXTRACTOR_SWIFT_ROOT/qltest/$CODEQL_PLATFORM/sdk -resource-dir $CODEQL_EXTRACTOR_SWIFT_ROOT/resource-dir/$CODEQL_PLATFORM -c -primary-file unfiltered.swift |

View File

@@ -8,7 +8,7 @@ v5.8.swift:
# 5| getTypeRepr(): [TypeRepr] Double
# 5| getMember(1): [ConcreteVarDecl] degreesCelsius
# 5| Type = Double
# 5| getAccessorDecl(0): [AccessorDecl] get
# 5| getAccessor(0): [Accessor] get
# 5| InterfaceType = (Temperature) -> () -> Double
# 5| getSelfParam(): [ParamDecl] self
# 5| Type = Temperature
@@ -16,7 +16,7 @@ v5.8.swift:
#-----| getElement(0): [ReturnStmt] return ...
#-----| getResult(): [MemberRefExpr] .degreesCelsius
#-----| getBase(): [DeclRefExpr] self
# 5| getAccessorDecl(1): [AccessorDecl] set
# 5| getAccessor(1): [Accessor] set
# 5| InterfaceType = (inout Temperature) -> (Double) -> ()
# 5| getSelfParam(): [ParamDecl] self
# 5| Type = Temperature
@@ -27,7 +27,7 @@ v5.8.swift:
#-----| getDest(): [MemberRefExpr] .degreesCelsius
#-----| getBase(): [DeclRefExpr] self
#-----| getSource(): [DeclRefExpr] value
# 5| getAccessorDecl(2): [AccessorDecl] _modify
# 5| getAccessor(2): [Accessor] _modify
# 5| InterfaceType = (inout Temperature) -> () -> ()
# 5| getSelfParam(): [ParamDecl] self
# 5| Type = Temperature
@@ -36,7 +36,7 @@ v5.8.swift:
#-----| getResult(0): [InOutExpr] &...
#-----| getSubExpr(): [MemberRefExpr] .degreesCelsius
#-----| getBase(): [DeclRefExpr] self
# 4| getMember(2): [ConstructorDecl] Temperature.init(degreesCelsius:)
# 4| getMember(2): [Initializer] Temperature.init(degreesCelsius:)
# 4| InterfaceType = (Temperature.Type) -> (Double) -> Temperature
# 4| getSelfParam(): [ParamDecl] self
# 4| Type = Temperature
@@ -51,7 +51,7 @@ v5.8.swift:
# 13| getTypeRepr(): [TypeRepr] Double
# 13| getMember(1): [ConcreteVarDecl] degreesFahrenheit
# 13| Type = Double
# 13| getAccessorDecl(0): [AccessorDecl] get
# 13| getAccessor(0): [Accessor] get
# 13| InterfaceType = (Temperature) -> () -> Double
# 13| getSelfParam(): [ParamDecl] self
# 13| Type = Temperature
@@ -84,7 +84,7 @@ v5.8.swift:
# 14| getExpr().getFullyConverted(): [ParenExpr] (...)
# 14| getArgument(1): [Argument] : 32
# 14| getExpr(): [IntegerLiteralExpr] 32
# 18| [ConcreteFuncDecl] collectionDowncast(_:)
# 18| [NamedFunction] collectionDowncast(_:)
# 18| InterfaceType = ([Any]) -> ()
# 18| getParam(0): [ParamDecl] arr
# 18| Type = [Any]
@@ -120,7 +120,7 @@ v5.8.swift:
# 30| getTypeRepr(): [TypeRepr] (() -> ())?
# 30| getMember(1): [ConcreteVarDecl] tapHandler
# 30| Type = (() -> ())?
# 30| getAccessorDecl(0): [AccessorDecl] get
# 30| getAccessor(0): [Accessor] get
# 30| InterfaceType = (Button) -> () -> (() -> ())?
# 30| getSelfParam(): [ParamDecl] self
# 30| Type = Button
@@ -128,7 +128,7 @@ v5.8.swift:
#-----| getElement(0): [ReturnStmt] return ...
#-----| getResult(): [MemberRefExpr] .tapHandler
#-----| getBase(): [DeclRefExpr] self
# 30| getAccessorDecl(1): [AccessorDecl] set
# 30| getAccessor(1): [Accessor] set
# 30| InterfaceType = (inout Button) -> ((() -> ())?) -> ()
# 30| getSelfParam(): [ParamDecl] self
# 30| Type = Button
@@ -139,7 +139,7 @@ v5.8.swift:
#-----| getDest(): [MemberRefExpr] .tapHandler
#-----| getBase(): [DeclRefExpr] self
#-----| getSource(): [DeclRefExpr] value
# 30| getAccessorDecl(2): [AccessorDecl] _modify
# 30| getAccessor(2): [Accessor] _modify
# 30| InterfaceType = (inout Button) -> () -> ()
# 30| getSelfParam(): [ParamDecl] self
# 30| Type = Button
@@ -148,13 +148,13 @@ v5.8.swift:
#-----| getResult(0): [InOutExpr] &...
#-----| getSubExpr(): [MemberRefExpr] .tapHandler
#-----| getBase(): [DeclRefExpr] self
# 29| getMember(2): [ConstructorDecl] Button.init()
# 29| getMember(2): [Initializer] Button.init()
# 29| InterfaceType = (Button.Type) -> () -> Button
# 29| getSelfParam(): [ParamDecl] self
# 29| Type = Button
# 29| getBody(): [BraceStmt] { ... }
# 29| getElement(0): [ReturnStmt] return
# 29| getMember(3): [ConstructorDecl] Button.init(tapHandler:)
# 29| getMember(3): [Initializer] Button.init(tapHandler:)
# 29| InterfaceType = (Button.Type) -> ((() -> ())?) -> Button
# 29| getSelfParam(): [ParamDecl] self
# 29| Type = Button
@@ -172,7 +172,7 @@ v5.8.swift:
# 34| getTypeRepr(): [TypeRepr] Button
# 34| getMember(1): [ConcreteVarDecl] button
# 34| Type = Button
# 34| getAccessorDecl(0): [AccessorDecl] get
# 34| getAccessor(0): [Accessor] get
# 34| InterfaceType = (ViewController) -> () -> Button
# 34| getSelfParam(): [ParamDecl] self
# 34| Type = ViewController
@@ -180,7 +180,7 @@ v5.8.swift:
#-----| getElement(0): [ReturnStmt] return ...
#-----| getResult(): [MemberRefExpr] .button
#-----| getBase(): [DeclRefExpr] self
# 34| getAccessorDecl(1): [AccessorDecl] set
# 34| getAccessor(1): [Accessor] set
# 34| InterfaceType = (ViewController) -> (Button) -> ()
# 34| getSelfParam(): [ParamDecl] self
# 34| Type = ViewController
@@ -191,7 +191,7 @@ v5.8.swift:
#-----| getDest(): [MemberRefExpr] .button
#-----| getBase(): [DeclRefExpr] self
#-----| getSource(): [DeclRefExpr] value
# 34| getAccessorDecl(2): [AccessorDecl] _modify
# 34| getAccessor(2): [Accessor] _modify
# 34| InterfaceType = (ViewController) -> () -> ()
# 34| getSelfParam(): [ParamDecl] self
# 34| Type = ViewController
@@ -200,7 +200,7 @@ v5.8.swift:
#-----| getResult(0): [InOutExpr] &...
#-----| getSubExpr(): [MemberRefExpr] .button
#-----| getBase(): [DeclRefExpr] self
# 36| getMember(2): [ConcreteFuncDecl] setup()
# 36| getMember(2): [NamedFunction] setup()
# 36| InterfaceType = (ViewController) -> () -> ()
# 36| getSelfParam(): [ParamDecl] self
# 36| Type = ViewController
@@ -214,7 +214,7 @@ v5.8.swift:
# 37| getInit(0): [DeclRefExpr] self
# 37| getInit(0).getFullyConverted(): [InjectIntoOptionalExpr] (ViewController?) ...
# 37| getPattern(0): [NamedPattern] self
# 37| getClosureBody(): [ClosureExpr] { ... }
# 37| getClosureBody(): [ExplicitClosureExpr] { ... }
# 37| getBody(): [BraceStmt] { ... }
# 38| getElement(0): [GuardStmt] guard ... else { ... }
# 38| getCondition(): [StmtCondition] StmtCondition
@@ -232,17 +232,17 @@ v5.8.swift:
# 39| getMethodRef(): [DeclRefExpr] dismiss()
# 38| getCapture(0): [CapturedDecl] self
# 37| getSource().getFullyConverted(): [InjectIntoOptionalExpr] ((() -> ())?) ...
# 43| getMember(3): [ConcreteFuncDecl] dismiss()
# 43| getMember(3): [NamedFunction] dismiss()
# 43| InterfaceType = (ViewController) -> () -> ()
# 43| getSelfParam(): [ParamDecl] self
# 43| Type = ViewController
# 43| getBody(): [BraceStmt] { ... }
# 33| getMember(4): [DestructorDecl] ViewController.deinit()
# 33| getMember(4): [Deinitializer] ViewController.deinit()
# 33| InterfaceType = (ViewController) -> () -> ()
# 33| getSelfParam(): [ParamDecl] self
# 33| Type = ViewController
# 33| getBody(): [BraceStmt] { ... }
# 33| getMember(5): [ConstructorDecl] ViewController.init()
# 33| getMember(5): [Initializer] ViewController.init()
# 33| InterfaceType = (ViewController.Type) -> () -> ViewController
# 33| getSelfParam(): [ParamDecl] self
# 33| Type = ViewController