Skip to content

Commit 712142c

Browse files
committed
Swift: extract CurrentContextIsolationExpr
1 parent 42ec6b0 commit 712142c

16 files changed

+207
-15
lines changed

swift/extractor/infra/SwiftTagTraits.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -203,7 +203,7 @@ MAP(swift::Expr, ExprTag)
203203
MAP(swift::MaterializePackExpr, MaterializePackExprTag)
204204
MAP(swift::SingleValueStmtExpr, SingleValueStmtExprTag)
205205
MAP(swift::ExtractFunctionIsolationExpr, ExtractFunctionIsolationExprTag)
206-
MAP(swift::CurrentContextIsolationExpr, void) // TODO swift 6.0
206+
MAP(swift::CurrentContextIsolationExpr, CurrentContextIsolationExprTag)
207207
MAP(swift::Decl, DeclTag)
208208
MAP(swift::ValueDecl, ValueDeclTag)
209209
MAP(swift::TypeDecl, TypeDeclTag)

swift/extractor/translators/ExprTranslator.cpp

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -678,4 +678,11 @@ codeql::ExtractFunctionIsolationExpr ExprTranslator::translateExtractFunctionIso
678678
return entry;
679679
}
680680

681+
codeql::CurrentContextIsolationExpr ExprTranslator::translateCurrentContextIsolationExpr(
682+
const swift::CurrentContextIsolationExpr& expr) {
683+
auto entry = createExprEntry(expr);
684+
entry.actor = dispatcher.fetchLabel(expr.getActor());
685+
return entry;
686+
}
687+
681688
} // namespace codeql

swift/extractor/translators/ExprTranslator.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -127,6 +127,8 @@ class ExprTranslator : public AstTranslatorBase<ExprTranslator> {
127127
codeql::MaterializePackExpr translateMaterializePackExpr(const swift::MaterializePackExpr& expr);
128128
codeql::ExtractFunctionIsolationExpr translateExtractFunctionIsolationExpr(
129129
const swift::ExtractFunctionIsolationExpr& expr);
130+
codeql::CurrentContextIsolationExpr translateCurrentContextIsolationExpr(
131+
const swift::CurrentContextIsolationExpr& expr);
130132

131133
private:
132134
void fillClosureExpr(const swift::AbstractClosureExpr& expr, codeql::ClosureExpr& entry);

swift/ql/.generated.list

Lines changed: 9 additions & 5 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

swift/ql/.gitattributes

Lines changed: 4 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

swift/ql/lib/codeql/swift/elements.qll

Lines changed: 1 addition & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

swift/ql/lib/codeql/swift/elements/expr/CurrentContextIsolationExpr.qll

Lines changed: 14 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

swift/ql/lib/codeql/swift/elements/expr/internal/CurrentContextIsolationExprConstructor.qll

Lines changed: 14 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

swift/ql/lib/codeql/swift/elements/expr/internal/CurrentContextIsolationExprImpl.qll

Lines changed: 21 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

swift/ql/lib/codeql/swift/generated/ParentChild.qll

Lines changed: 17 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)