Skip to content

Commit 18fcadc

Browse files
committed
[cxx-interop] Import custom NS_OPTIONS correctly
This changes the heuristic that we use to detect `CF_OPTIONS`/`NS_OPTIONS` instantiations in C++ language mode. Since libraries sometimes declare custom option types that break the assumptions about the names of such types, this lifts the requirements on the type name. rdar://113524090 rdar://113279214
1 parent 98ada1b commit 18fcadc

File tree

4 files changed

+41
-37
lines changed

4 files changed

+41
-37
lines changed

lib/ClangImporter/ImportType.cpp

Lines changed: 24 additions & 37 deletions
Original file line numberDiff line numberDiff line change
@@ -2646,44 +2646,31 @@ ArgumentAttrs ClangImporter::Implementation::inferDefaultArgument(
26462646
}
26472647
} else if (const clang::TypedefType *typedefType =
26482648
type->getAs<clang::TypedefType>()) {
2649-
// Get the AvailabilityAttr that would be set from CF/NS_OPTIONS
2650-
if (importer::isUnavailableInSwift(typedefType->getDecl(), nullptr, true)) {
2651-
// If we've taken this branch it means we have an enum type, and it is
2652-
// likely an integer or NSInteger that is being used by NS/CF_OPTIONS to
2653-
// behave like a C enum in the presence of C++.
2654-
auto enumName = typedefType->getDecl()->getName();
2655-
ArgumentAttrs argumentAttrs(DefaultArgumentKind::None, true, enumName);
2656-
auto camelCaseWords = camel_case::getWords(enumName);
2657-
for (auto it = camelCaseWords.rbegin(); it != camelCaseWords.rend();
2658-
++it) {
2659-
auto word = *it;
2660-
auto next = std::next(it);
2661-
if (camel_case::sameWordIgnoreFirstCase(word, "options")) {
2662-
argumentAttrs.argumentKind = DefaultArgumentKind::EmptyArray;
2663-
return argumentAttrs;
2649+
clang::TypedefNameDecl *typedefDecl = typedefType->getDecl();
2650+
// Find the next decl in the same context. If this typedef is a part of an
2651+
// NS/CF_OPTIONS declaration, the next decl will be an enum.
2652+
auto declsInContext = typedefDecl->getDeclContext()->decls();
2653+
auto declIter = llvm::find(declsInContext, typedefDecl);
2654+
if (declIter != declsInContext.end())
2655+
declIter++;
2656+
if (declIter != declsInContext.end()) {
2657+
if (auto enumDecl = dyn_cast<clang::EnumDecl>(*declIter)) {
2658+
if (auto cfOptionsTy =
2659+
nameImporter.getContext()
2660+
.getClangModuleLoader()
2661+
->getTypeDefForCXXCFOptionsDefinition(enumDecl)) {
2662+
if (cfOptionsTy->getDecl() == typedefDecl) {
2663+
auto enumName = typedefDecl->getName();
2664+
ArgumentAttrs argumentAttrs(DefaultArgumentKind::None, true,
2665+
enumName);
2666+
for (auto word : llvm::reverse(camel_case::getWords(enumName))) {
2667+
if (camel_case::sameWordIgnoreFirstCase(word, "options")) {
2668+
argumentAttrs.argumentKind = DefaultArgumentKind::EmptyArray;
2669+
}
2670+
}
2671+
return argumentAttrs;
2672+
}
26642673
}
2665-
if (camel_case::sameWordIgnoreFirstCase(word, "units"))
2666-
return argumentAttrs;
2667-
if (camel_case::sameWordIgnoreFirstCase(word, "domain"))
2668-
return argumentAttrs;
2669-
if (camel_case::sameWordIgnoreFirstCase(word, "action"))
2670-
return argumentAttrs;
2671-
if (camel_case::sameWordIgnoreFirstCase(word, "event"))
2672-
return argumentAttrs;
2673-
if (camel_case::sameWordIgnoreFirstCase(word, "events") &&
2674-
next != camelCaseWords.rend() &&
2675-
camel_case::sameWordIgnoreFirstCase(*next, "control"))
2676-
return argumentAttrs;
2677-
if (camel_case::sameWordIgnoreFirstCase(word, "state"))
2678-
return argumentAttrs;
2679-
if (camel_case::sameWordIgnoreFirstCase(word, "unit"))
2680-
return argumentAttrs;
2681-
if (camel_case::sameWordIgnoreFirstCase(word, "position") &&
2682-
next != camelCaseWords.rend() &&
2683-
camel_case::sameWordIgnoreFirstCase(*next, "scroll"))
2684-
return argumentAttrs;
2685-
if (camel_case::sameWordIgnoreFirstCase(word, "edge"))
2686-
return argumentAttrs;
26872674
}
26882675
}
26892676
}
Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
#include "CFOptions.h"
2+
3+
typedef CF_OPTIONS(unsigned, MyControlFlags) {
4+
MyControlFlagsNone = 0,
5+
MyControlFlagsFirst
6+
};

test/Interop/Cxx/objc-correctness/Inputs/module.modulemap

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,10 @@ module CxxClassWithNSStringInit {
99
requires cplusplus
1010
}
1111

12+
module CustomNSOptions {
13+
header "customNSOptions.h"
14+
}
15+
1216
module NSOptionsMangling {
1317
header "NSOptionsMangling.h"
1418
}
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
// RUN: %target-typecheck-verify-swift -verify-ignore-unknown -I %S/Inputs -enable-objc-interop -enable-experimental-cxx-interop
2+
// REQUIRES: objc_interop
3+
4+
import CustomNSOptions
5+
6+
let flags1: MyControlFlags = []
7+
let flags2: MyControlFlags = [.first]

0 commit comments

Comments
 (0)