mirror of
https://github.com/pybind/pybind11.git
synced 2025-01-31 23:30:30 +00:00
Cleanup of tests. Systematically insert if (make_caster<T>::translation_unit_local) {
This commit is contained in:
parent
c148a6b324
commit
3718516ff5
@ -71,36 +71,22 @@ bool odr_guard_impl(const std::type_index & it_ti, const std::uint64_t& tc_id) {
|
|||||||
|
|
||||||
template <typename IntrinsicType>
|
template <typename IntrinsicType>
|
||||||
struct type_caster_odr_guard : type_caster<IntrinsicType> {
|
struct type_caster_odr_guard : type_caster<IntrinsicType> {
|
||||||
type_caster_odr_guard() {
|
static int translation_unit_local;
|
||||||
odr_guard_hook = !!odr_guard_hook;
|
|
||||||
}
|
|
||||||
|
|
||||||
// type_caster_odr_guard(const type_caster_odr_guard &) = default;
|
|
||||||
// type_caster_odr_guard(type_caster_odr_guard &&) = default;
|
|
||||||
|
|
||||||
template <typename CType, typename... Arg>
|
|
||||||
static handle cast(CType &&src, return_value_policy policy, handle parent,
|
|
||||||
Arg &&...arg) {
|
|
||||||
odr_guard_hook = !!odr_guard_hook;
|
|
||||||
return type_caster<IntrinsicType>::cast(std::forward<CType>(src), policy, parent,
|
|
||||||
std::forward<Arg>(arg)...);
|
|
||||||
}
|
|
||||||
|
|
||||||
static bool odr_guard_hook;
|
|
||||||
};
|
};
|
||||||
|
|
||||||
template <typename IntrinsicType>
|
template <typename IntrinsicType>
|
||||||
bool type_caster_odr_guard<IntrinsicType>::odr_guard_hook = [](){
|
int type_caster_odr_guard<IntrinsicType>::translation_unit_local = [](){
|
||||||
return odr_guard_impl<IntrinsicType>(
|
odr_guard_impl<IntrinsicType>(
|
||||||
std::type_index(typeid(IntrinsicType)),
|
std::type_index(typeid(IntrinsicType)),
|
||||||
type_caster<IntrinsicType>::universally_unique_identifier);
|
type_caster<IntrinsicType>::universally_unique_identifier);
|
||||||
|
return 0;
|
||||||
}();
|
}();
|
||||||
|
|
||||||
|
} // namespace
|
||||||
|
|
||||||
template <typename type>
|
template <typename type>
|
||||||
using make_caster = type_caster_odr_guard<intrinsic_t<type>>;
|
using make_caster = type_caster_odr_guard<intrinsic_t<type>>;
|
||||||
|
|
||||||
} // namespace
|
|
||||||
|
|
||||||
template <typename T>
|
template <typename T>
|
||||||
struct type_uses_smart_holder_type_caster {
|
struct type_uses_smart_holder_type_caster {
|
||||||
static constexpr bool value
|
static constexpr bool value
|
||||||
@ -110,11 +96,15 @@ struct type_uses_smart_holder_type_caster {
|
|||||||
// Shortcut for calling a caster's `cast_op_type` cast operator for casting a type_caster to a T
|
// Shortcut for calling a caster's `cast_op_type` cast operator for casting a type_caster to a T
|
||||||
template <typename T>
|
template <typename T>
|
||||||
typename make_caster<T>::template cast_op_type<T> cast_op(make_caster<T> &caster) { // LOOOK
|
typename make_caster<T>::template cast_op_type<T> cast_op(make_caster<T> &caster) { // LOOOK
|
||||||
|
if (make_caster<T>::translation_unit_local) {
|
||||||
|
}
|
||||||
return caster.operator typename make_caster<T>::template cast_op_type<T>();
|
return caster.operator typename make_caster<T>::template cast_op_type<T>();
|
||||||
}
|
}
|
||||||
template <typename T>
|
template <typename T>
|
||||||
typename make_caster<T>::template cast_op_type<typename std::add_rvalue_reference<T>::type>
|
typename make_caster<T>::template cast_op_type<typename std::add_rvalue_reference<T>::type>
|
||||||
cast_op(make_caster<T> &&caster) { // LOOOK
|
cast_op(make_caster<T> &&caster) { // LOOOK
|
||||||
|
if (make_caster<T>::translation_unit_local) {
|
||||||
|
}
|
||||||
return std::move(caster).operator typename make_caster<T>::
|
return std::move(caster).operator typename make_caster<T>::
|
||||||
template cast_op_type<typename std::add_rvalue_reference<T>::type>();
|
template cast_op_type<typename std::add_rvalue_reference<T>::type>();
|
||||||
}
|
}
|
||||||
@ -1118,6 +1108,8 @@ type_caster<T, SFINAE> &load_type(type_caster<T, SFINAE> &conv, const handle &ha
|
|||||||
// Wrapper around the above that also constructs and returns a type_caster
|
// Wrapper around the above that also constructs and returns a type_caster
|
||||||
template <typename T>
|
template <typename T>
|
||||||
make_caster<T> load_type(const handle &handle) {
|
make_caster<T> load_type(const handle &handle) {
|
||||||
|
if (make_caster<T>::translation_unit_local) {
|
||||||
|
}
|
||||||
make_caster<T> conv;
|
make_caster<T> conv;
|
||||||
load_type(conv, handle);
|
load_type(conv, handle);
|
||||||
return conv;
|
return conv;
|
||||||
@ -1155,6 +1147,8 @@ object cast(T &&value,
|
|||||||
: std::is_lvalue_reference<T>::value ? return_value_policy::copy
|
: std::is_lvalue_reference<T>::value ? return_value_policy::copy
|
||||||
: return_value_policy::move;
|
: return_value_policy::move;
|
||||||
}
|
}
|
||||||
|
if (detail::make_caster<T>::translation_unit_local) {
|
||||||
|
}
|
||||||
return reinterpret_steal<object>(
|
return reinterpret_steal<object>(
|
||||||
detail::make_caster<T>::cast(std::forward<T>(value), policy, parent));
|
detail::make_caster<T>::cast(std::forward<T>(value), policy, parent));
|
||||||
}
|
}
|
||||||
@ -1255,6 +1249,8 @@ using override_caster_t = conditional_t<cast_is_temporary_value_reference<ret_ty
|
|||||||
template <typename T>
|
template <typename T>
|
||||||
enable_if_t<cast_is_temporary_value_reference<T>::value, T> cast_ref(object &&o,
|
enable_if_t<cast_is_temporary_value_reference<T>::value, T> cast_ref(object &&o,
|
||||||
make_caster<T> &caster) {
|
make_caster<T> &caster) {
|
||||||
|
if (make_caster<T>::translation_unit_local) {
|
||||||
|
}
|
||||||
return cast_op<T>(load_type(caster, o));
|
return cast_op<T>(load_type(caster, o));
|
||||||
}
|
}
|
||||||
template <typename T>
|
template <typename T>
|
||||||
@ -1366,6 +1362,8 @@ private:
|
|||||||
type(type_id<T>())
|
type(type_id<T>())
|
||||||
#endif
|
#endif
|
||||||
{
|
{
|
||||||
|
if (detail::make_caster<T>::translation_unit_local) {
|
||||||
|
}
|
||||||
// Workaround! See:
|
// Workaround! See:
|
||||||
// https://github.com/pybind/pybind11/issues/2336
|
// https://github.com/pybind/pybind11/issues/2336
|
||||||
// https://github.com/pybind/pybind11/pull/2685#issuecomment-731286700
|
// https://github.com/pybind/pybind11/pull/2685#issuecomment-731286700
|
||||||
@ -1596,6 +1594,8 @@ public:
|
|||||||
private:
|
private:
|
||||||
template <typename T>
|
template <typename T>
|
||||||
void process(list &args_list, T &&x) {
|
void process(list &args_list, T &&x) {
|
||||||
|
if (make_caster<T>::translation_unit_local) {
|
||||||
|
}
|
||||||
auto o = reinterpret_steal<object>(
|
auto o = reinterpret_steal<object>(
|
||||||
detail::make_caster<T>::cast(std::forward<T>(x), policy, {}));
|
detail::make_caster<T>::cast(std::forward<T>(x), policy, {}));
|
||||||
if (!o) {
|
if (!o) {
|
||||||
@ -1740,6 +1740,8 @@ handle type::handle_of() {
|
|||||||
detail::type_uses_smart_holder_type_caster<T>>::value,
|
detail::type_uses_smart_holder_type_caster<T>>::value,
|
||||||
"py::type::of<T> only supports the case where T is a registered C++ types.");
|
"py::type::of<T> only supports the case where T is a registered C++ types.");
|
||||||
|
|
||||||
|
if (detail::make_caster<T>::translation_unit_local) {
|
||||||
|
}
|
||||||
return detail::get_type_handle(typeid(T), true);
|
return detail::get_type_handle(typeid(T), true);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -349,6 +349,8 @@ struct variant_caster_visitor {
|
|||||||
|
|
||||||
template <typename T>
|
template <typename T>
|
||||||
result_type operator()(T &&src) const {
|
result_type operator()(T &&src) const {
|
||||||
|
if (make_caster<T>::translation_unit_local) {
|
||||||
|
}
|
||||||
return make_caster<T>::cast(std::forward<T>(src), policy, parent);
|
return make_caster<T>::cast(std::forward<T>(src), policy, parent);
|
||||||
}
|
}
|
||||||
};
|
};
|
||||||
|
@ -1,22 +1,18 @@
|
|||||||
#include "pybind11_tests.h"
|
#include "pybind11_tests.h"
|
||||||
|
|
||||||
#define USE_MRC_AAA
|
|
||||||
#ifdef USE_MRC_AAA
|
|
||||||
namespace mrc_ns { // minimal real caster
|
namespace mrc_ns { // minimal real caster
|
||||||
|
|
||||||
struct type_mrc {
|
struct type_mrc {
|
||||||
int value = -9999;
|
int value = -9999;
|
||||||
};
|
};
|
||||||
|
|
||||||
template <typename Ignored = void>
|
|
||||||
struct minimal_real_caster {
|
struct minimal_real_caster {
|
||||||
static constexpr auto name = py::detail::const_name<type_mrc>();
|
static constexpr auto name = py::detail::const_name<type_mrc>();
|
||||||
static std::int32_t odr_guard; // WANTED: ASAN detect_odr_violation
|
static constexpr std::uint64_t universally_unique_identifier = 1000;
|
||||||
|
|
||||||
static py::handle
|
static py::handle
|
||||||
cast(type_mrc const &src, py::return_value_policy /*policy*/, py::handle /*parent*/) {
|
cast(type_mrc const &src, py::return_value_policy /*policy*/, py::handle /*parent*/) {
|
||||||
odr_guard++; // Just to make sure it is used.
|
return py::int_(src.value + 1010).release(); // ODR violation.
|
||||||
return py::int_(src.value + 1010).release(); // Actual ODR violation.
|
|
||||||
}
|
}
|
||||||
|
|
||||||
// Maximizing simplicity. This will go terribly wrong for other arg types.
|
// Maximizing simplicity. This will go terribly wrong for other arg types.
|
||||||
@ -26,7 +22,7 @@ struct minimal_real_caster {
|
|||||||
// NOLINTNEXTLINE(google-explicit-constructor)
|
// NOLINTNEXTLINE(google-explicit-constructor)
|
||||||
operator type_mrc const &() {
|
operator type_mrc const &() {
|
||||||
static type_mrc obj;
|
static type_mrc obj;
|
||||||
obj.value = 11; // Actual ODR violation.
|
obj.value = 11; // ODR violation.
|
||||||
return obj;
|
return obj;
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -36,25 +32,16 @@ struct minimal_real_caster {
|
|||||||
}
|
}
|
||||||
};
|
};
|
||||||
|
|
||||||
template <typename Ignored>
|
|
||||||
std::int32_t minimal_real_caster<Ignored>::odr_guard = 0;
|
|
||||||
|
|
||||||
} // namespace mrc_ns
|
} // namespace mrc_ns
|
||||||
|
|
||||||
namespace pybind11 {
|
namespace pybind11 {
|
||||||
namespace detail {
|
namespace detail {
|
||||||
template <>
|
template <>
|
||||||
struct type_caster<mrc_ns::type_mrc> : mrc_ns::minimal_real_caster<> {};
|
struct type_caster<mrc_ns::type_mrc> : mrc_ns::minimal_real_caster {};
|
||||||
} // namespace detail
|
} // namespace detail
|
||||||
} // namespace pybind11
|
} // namespace pybind11
|
||||||
#endif
|
|
||||||
|
|
||||||
TEST_SUBMODULE(odr_guard_1, m) {
|
TEST_SUBMODULE(odr_guard_1, m) {
|
||||||
#ifdef USE_MRC_AAA
|
|
||||||
m.def("sizeof_mrc_odr_guard",
|
|
||||||
[]() { return sizeof(mrc_ns::minimal_real_caster<>::odr_guard); });
|
|
||||||
m.def("type_mrc_to_python", []() { return mrc_ns::type_mrc{101}; });
|
m.def("type_mrc_to_python", []() { return mrc_ns::type_mrc{101}; });
|
||||||
m.def("type_mrc_from_python", [](const mrc_ns::type_mrc &obj) { return obj.value + 100; });
|
m.def("type_mrc_from_python", [](const mrc_ns::type_mrc &obj) { return obj.value + 100; });
|
||||||
m.def("mrc_odr_guard", []() { return mrc_ns::minimal_real_caster<>::odr_guard; });
|
|
||||||
#endif
|
|
||||||
}
|
}
|
||||||
|
@ -3,32 +3,9 @@ import pytest
|
|||||||
import pybind11_tests.odr_guard_1 as m
|
import pybind11_tests.odr_guard_1 as m
|
||||||
|
|
||||||
|
|
||||||
def test_sizeof_mrc_odr_guard():
|
|
||||||
if hasattr(m, "sizeof_mrc_odr_guard"):
|
|
||||||
assert m.sizeof_mrc_odr_guard() == 4
|
|
||||||
else:
|
|
||||||
pytest.skip("sizeof_mrc_odr_guard")
|
|
||||||
|
|
||||||
|
|
||||||
def test_type_mrc_to_python():
|
def test_type_mrc_to_python():
|
||||||
if hasattr(m, "type_mrc_to_python"):
|
|
||||||
assert m.type_mrc_to_python() == 1111
|
assert m.type_mrc_to_python() == 1111
|
||||||
else:
|
|
||||||
pytest.skip("type_mrc_to_python")
|
|
||||||
|
|
||||||
|
|
||||||
def test_type_mrc_from_python():
|
def test_type_mrc_from_python():
|
||||||
if hasattr(m, "type_mrc_from_python"):
|
|
||||||
assert m.type_mrc_from_python("ignored") == 111
|
assert m.type_mrc_from_python("ignored") == 111
|
||||||
else:
|
|
||||||
pytest.skip("type_mrc_from_python")
|
|
||||||
|
|
||||||
|
|
||||||
def test_mrc_odr_guard():
|
|
||||||
if hasattr(m, "mrc_odr_guard"):
|
|
||||||
i = m.mrc_odr_guard()
|
|
||||||
m.type_mrc_to_python()
|
|
||||||
j = m.mrc_odr_guard()
|
|
||||||
assert j == i + 1
|
|
||||||
else:
|
|
||||||
pytest.skip("mrc_odr_guard")
|
|
||||||
|
@ -1,22 +1,18 @@
|
|||||||
#include "pybind11_tests.h"
|
#include "pybind11_tests.h"
|
||||||
|
|
||||||
#define USE_MRC_BBB
|
|
||||||
#ifdef USE_MRC_BBB
|
|
||||||
namespace mrc_ns { // minimal real caster
|
namespace mrc_ns { // minimal real caster
|
||||||
|
|
||||||
struct type_mrc {
|
struct type_mrc {
|
||||||
int value = -9999;
|
int value = -9999;
|
||||||
};
|
};
|
||||||
|
|
||||||
template <typename Ignored = void>
|
|
||||||
struct minimal_real_caster {
|
struct minimal_real_caster {
|
||||||
static constexpr auto name = py::detail::const_name<type_mrc>();
|
static constexpr auto name = py::detail::const_name<type_mrc>();
|
||||||
static std::int64_t odr_guard; // WANTED: ASAN detect_odr_violation
|
static constexpr std::uint64_t universally_unique_identifier = 2000;
|
||||||
|
|
||||||
static py::handle
|
static py::handle
|
||||||
cast(type_mrc const &src, py::return_value_policy /*policy*/, py::handle /*parent*/) {
|
cast(type_mrc const &src, py::return_value_policy /*policy*/, py::handle /*parent*/) {
|
||||||
odr_guard++; // Just to make sure it is used.
|
return py::int_(src.value + 2020).release(); // ODR violation.
|
||||||
return py::int_(src.value + 2020).release(); // Actual ODR violation.
|
|
||||||
}
|
}
|
||||||
|
|
||||||
// Maximizing simplicity. This will go terribly wrong for other arg types.
|
// Maximizing simplicity. This will go terribly wrong for other arg types.
|
||||||
@ -26,7 +22,7 @@ struct minimal_real_caster {
|
|||||||
// NOLINTNEXTLINE(google-explicit-constructor)
|
// NOLINTNEXTLINE(google-explicit-constructor)
|
||||||
operator type_mrc const &() {
|
operator type_mrc const &() {
|
||||||
static type_mrc obj;
|
static type_mrc obj;
|
||||||
obj.value = 22; // Actual ODR violation.
|
obj.value = 22; // ODR violation.
|
||||||
return obj;
|
return obj;
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -36,25 +32,16 @@ struct minimal_real_caster {
|
|||||||
}
|
}
|
||||||
};
|
};
|
||||||
|
|
||||||
template <typename Ignored>
|
|
||||||
std::int64_t minimal_real_caster<Ignored>::odr_guard = 0;
|
|
||||||
|
|
||||||
} // namespace mrc_ns
|
} // namespace mrc_ns
|
||||||
|
|
||||||
namespace pybind11 {
|
namespace pybind11 {
|
||||||
namespace detail {
|
namespace detail {
|
||||||
template <>
|
template <>
|
||||||
struct type_caster<mrc_ns::type_mrc> : mrc_ns::minimal_real_caster<> {};
|
struct type_caster<mrc_ns::type_mrc> : mrc_ns::minimal_real_caster {};
|
||||||
} // namespace detail
|
} // namespace detail
|
||||||
} // namespace pybind11
|
} // namespace pybind11
|
||||||
#endif
|
|
||||||
|
|
||||||
TEST_SUBMODULE(odr_guard_2, m) {
|
TEST_SUBMODULE(odr_guard_2, m) {
|
||||||
#ifdef USE_MRC_BBB
|
|
||||||
m.def("sizeof_mrc_odr_guard",
|
|
||||||
[]() { return sizeof(mrc_ns::minimal_real_caster<>::odr_guard); });
|
|
||||||
m.def("type_mrc_to_python", []() { return mrc_ns::type_mrc{202}; });
|
m.def("type_mrc_to_python", []() { return mrc_ns::type_mrc{202}; });
|
||||||
m.def("type_mrc_from_python", [](const mrc_ns::type_mrc &obj) { return obj.value + 200; });
|
m.def("type_mrc_from_python", [](const mrc_ns::type_mrc &obj) { return obj.value + 200; });
|
||||||
m.def("mrc_odr_guard", []() { return mrc_ns::minimal_real_caster<>::odr_guard; });
|
|
||||||
#endif
|
|
||||||
}
|
}
|
||||||
|
@ -3,32 +3,9 @@ import pytest
|
|||||||
import pybind11_tests.odr_guard_2 as m
|
import pybind11_tests.odr_guard_2 as m
|
||||||
|
|
||||||
|
|
||||||
def test_sizeof_mrc_odr_guard():
|
|
||||||
if hasattr(m, "sizeof_mrc_odr_guard"):
|
|
||||||
assert m.sizeof_mrc_odr_guard() == 8
|
|
||||||
else:
|
|
||||||
pytest.skip("sizeof_mrc_odr_guard")
|
|
||||||
|
|
||||||
|
|
||||||
def test_type_mrc_to_python():
|
def test_type_mrc_to_python():
|
||||||
if hasattr(m, "type_mrc_to_python"):
|
|
||||||
assert m.type_mrc_to_python() == 2222
|
assert m.type_mrc_to_python() == 2222
|
||||||
else:
|
|
||||||
pytest.skip("type_mrc_to_python")
|
|
||||||
|
|
||||||
|
|
||||||
def test_type_mrc_from_python():
|
def test_type_mrc_from_python():
|
||||||
if hasattr(m, "type_mrc_from_python"):
|
|
||||||
assert m.type_mrc_from_python("ignored") == 222
|
assert m.type_mrc_from_python("ignored") == 222
|
||||||
else:
|
|
||||||
pytest.skip("type_mrc_from_python")
|
|
||||||
|
|
||||||
|
|
||||||
def test_mrc_odr_guard():
|
|
||||||
if hasattr(m, "mrc_odr_guard"):
|
|
||||||
i = m.mrc_odr_guard()
|
|
||||||
m.type_mrc_to_python()
|
|
||||||
j = m.mrc_odr_guard()
|
|
||||||
assert j == i + 1
|
|
||||||
else:
|
|
||||||
pytest.skip("mrc_odr_guard")
|
|
||||||
|
Loading…
Reference in New Issue
Block a user