Swift: add missing Builtin symbols

d10c · d10c · commit 7ea0eada1121 · 2022-12-14T20:03:41.000-05:00
diff --git a/swift/extractor/SwiftBuiltinSymbols.h b/swift/extractor/SwiftBuiltinSymbols.h
@@ -67,5 +67,9 @@ constexpr std::array swiftBuiltins = {
     "Vec16xFPIEEE64",
     "Vec32xFPIEEE64",
     "Vec64xFPIEEE64",
+
+    "buildDefaultActorExecutorRef",
+    "buildMainActorExecutorRef",
+    "buildOrdinarySerialExecutorRef",
 };
 }
diff --git a/swift/ql/test/library-tests/elements/expr/methodlookup/PrintAst.expected b/swift/ql/test/library-tests/elements/expr/methodlookup/PrintAst.expected
@@ -62,9 +62,9 @@ methodlookup.swift:
 #-----|           getResult(): [CallExpr] call to UnownedSerialExecutor.init(_:)
 #-----|             getFunction(): [MethodLookupExpr] UnownedSerialExecutor.init(_:)
 #-----|               getBase(): [TypeExpr] UnownedSerialExecutor.Type
-#-----|             getArgument(0): [Argument] : call to ...
-#-----|               getExpr(): [CallExpr] call to ...
-#-----|                 getFunction(): [DeclRefExpr] (unknown declaration)
+#-----|             getArgument(0): [Argument] : call to buildDefaultActorExecutorRef(_:)
+#-----|               getExpr(): [CallExpr] call to buildDefaultActorExecutorRef(_:)
+#-----|                 getFunction(): [DeclRefExpr] buildDefaultActorExecutorRef(_:)
 #-----|                 getArgument(0): [Argument] : self
 #-----|                   getExpr(): [DeclRefExpr] self
 #   15| [ClassDecl] Baz
diff --git a/swift/ql/test/library-tests/elements/expr/methodlookup/getStaticTarget.expected b/swift/ql/test/library-tests/elements/expr/methodlookup/getStaticTarget.expected
@@ -1,8 +1,7 @@
 noStaticTarget
-| file://:0:0:0:0 | call to ... | file://:0:0:0:0 | (unknown declaration) | DeclRefExpr |
 #select
-| file://:0:0:0:0 | call to ... | false | - |
 | file://:0:0:0:0 | call to UnownedSerialExecutor.init(_:) | true | UnownedSerialExecutor.init(_:) |
+| file://:0:0:0:0 | call to buildDefaultActorExecutorRef(_:) | true | buildDefaultActorExecutorRef(_:) |
 | file://:0:0:0:0 | call to zeroInitializer() | true | zeroInitializer() |
 | file://:0:0:0:0 | call to zeroInitializer() | true | zeroInitializer() |
 | file://:0:0:0:0 | call to zeroInitializer() | true | zeroInitializer() |
