mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
a7c174431f
If a `[[no_unique_address]]` field has zero size according to Clang, and field has a type that isn't representable in Swift, Swift would previously try to add an opaque field of size 1 for it. This is wrong and was causing crashes for `std::string` while emitting a padding field: ``` _LIBCPP_NO_UNIQUE_ADDRESS ::std::__compressed_pair_padding<T1> _LIBCPP_CONCAT3(__padding1_, __LINE__, _); ``` rdar://151941799
104 lines
2.7 KiB
C++
104 lines
2.7 KiB
C++
#ifndef TEST_INTEROP_CXX_CLASS_INPUTS_MEMBER_VARIABLES_H
|
|
#define TEST_INTEROP_CXX_CLASS_INPUTS_MEMBER_VARIABLES_H
|
|
|
|
#include <cstddef>
|
|
#include <type_traits>
|
|
#include <optional>
|
|
|
|
class MyClass {
|
|
public:
|
|
const int const_member = 23;
|
|
};
|
|
|
|
struct Empty {
|
|
using type = int;
|
|
int getNum() const { return 42; }
|
|
};
|
|
|
|
struct HasZeroSizedField {
|
|
int a;
|
|
[[no_unique_address]] Empty b;
|
|
short c;
|
|
[[no_unique_address]] Empty d;
|
|
int* e;
|
|
[[no_unique_address]] Empty f;
|
|
|
|
int get_a() const { return a; }
|
|
short get_c() const { return c; }
|
|
void set_c(short c) { this->c = c; }
|
|
};
|
|
|
|
struct ReuseOptionalFieldPadding {
|
|
[[no_unique_address]] std::optional<int> a = {2};
|
|
char c;
|
|
char get_c() const { return c; }
|
|
void set_c(char c) { this->c = c; }
|
|
int offset() const { return offsetof(ReuseOptionalFieldPadding, c); }
|
|
std::optional<int> getOptional() { return a; }
|
|
};
|
|
|
|
using OptInt = std::optional<int>;
|
|
|
|
struct ReuseOptionalFieldPaddingWithTypedef {
|
|
[[no_unique_address]] OptInt a;
|
|
char c;
|
|
char get_c() const { return c; }
|
|
void set_c(char c) { this->c = c; }
|
|
int offset() const { return offsetof(ReuseOptionalFieldPadding, c); }
|
|
};
|
|
|
|
// Using a mix of private and public fields prevents this class from being
|
|
// standard-layout, which is necessary to allow clang to reuse its padding.
|
|
template<typename T>
|
|
struct NonStandardLayoutClass {
|
|
private:
|
|
T x;
|
|
public:
|
|
char pad_me;
|
|
};
|
|
static_assert(std::is_standard_layout_v<NonStandardLayoutClass<int>> == false);
|
|
|
|
struct ReuseNonStandardLayoutFieldPadding {
|
|
[[no_unique_address]] NonStandardLayoutClass<int> a;
|
|
char c;
|
|
char get_c() const { return c; }
|
|
void set_c(char c) { this->c = c; }
|
|
// C-style implementation of offsetof() to avoid non-standard-layout warning
|
|
int offset() const { return (char *) &this->c - (char *) this; }
|
|
};
|
|
|
|
template<typename T>
|
|
struct ReuseDependentFieldPadding {
|
|
[[no_unique_address]] struct { private: T x; public: char pad_me; } a;
|
|
char c;
|
|
char get_c() const { return c; }
|
|
void set_c(char c) { this->c = c; }
|
|
// C-style implementation of offsetof() to avoid non-standard-layout warning
|
|
int offset() const { return (char *) &this->c - (char *) this; }
|
|
};
|
|
|
|
typedef ReuseDependentFieldPadding<int> ReuseDependentFieldPaddingInt;
|
|
|
|
inline int takesZeroSizedInCpp(HasZeroSizedField x) {
|
|
return x.a;
|
|
}
|
|
|
|
/// Not imported into Swift.
|
|
struct EmptyNotImported {
|
|
char : 0;
|
|
|
|
EmptyNotImported() = default;
|
|
EmptyNotImported(const EmptyNotImported &) = delete;
|
|
EmptyNotImported(EmptyNotImported &&) = delete;
|
|
};
|
|
|
|
struct LastFieldNoUniqueAddress {
|
|
char c;
|
|
[[no_unique_address]] EmptyNotImported p0;
|
|
|
|
LastFieldNoUniqueAddress(const LastFieldNoUniqueAddress &other) {}
|
|
LastFieldNoUniqueAddress(LastFieldNoUniqueAddress &&other) {}
|
|
};
|
|
|
|
#endif
|