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

Swift: add missing Builtin symbols

Browse Source
This commit is contained in:
Nora Dimitrijević
2022-12-14 20:03:41 -05:00
parent 2d288906a4
commit 7ea0eada11
3 changed files with 8 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
swift/extractor/SwiftBuiltinSymbols.h
View File

@@ -67,5 +67,9 @@ constexpr std::array swiftBuiltins = {
"Vec16xFPIEEE64",
"Vec32xFPIEEE64",
"Vec64xFPIEEE64",
"buildDefaultActorExecutorRef",
"buildMainActorExecutorRef",
"buildOrdinarySerialExecutorRef",
};
}

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

@@ -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

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

@@ -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() |