Build failures with older system libc++

There exists a unit test in llvm/unittests/Support/CrashRecoveryTest.cpp that has the following line:

EXPECT_FALSE(CRC.RunSafely(abort));

The CRC object (CrashRecoveryContext), declares RunSafely like this:

bool RunSafely(function_ref<void()> Fn);

A recent commit (b953a01b) added to the function_ref class a check in a constructor to determine if a given Callable returns the expected type ‘Ret’.

To do this, the commit utilized std::result_of_t.

  • // This is not the copy-constructor.

std::enable_if_t<

!std::is_same<std::remove_cv_t<std::remove_reference_t>,

  • function_ref>::value> * = nullptr)
  • function_ref>::value> * = nullptr,

  • // Functor must be callable and return a suitable type.

  • std::enable_if_t<std::is_void::value ||

  • std::is_convertible<

  • std::result_of_t<Callable(Params…)>, Ret>::value>

    • = nullptr)

In libc++, std::result_of_t uses some internal checks to ensure that the type is invokable before inferring the returned type.

In particular, prior to commit 11a18a79, these checks included a static complete-type detection structure called ‘__check_complete’. The implementation had at its core:

template

struct __check_complete<_Tp>

{

static_assert(sizeof(_Tp) > 0, “Type must be complete.”);

};

Our team’s downstream compiler built using a libc++ prior to 11a18a79 (particularly, __libcpp_version contains 5000) errors on the CRC.RunSafely invocation I began with. This is because we instantiate function_ref with the void (*)() type and attempt to call the constructor modified in commit b953a01b using the function pointer for ‘abort’. This triggers the std::result_of_t trigger that then later involves __check_complete. When we get to the static assert, the compiler errors: Calling sizeof on a function type is not allowed.

Is this an instance of us needing to upgrade libc++ on the machines because our version is not supported? We’ve confirmed that with the release where __libcpp_version is 8000, the changes from 11a18a79 have been implemented and the file compiles correctly.

JB