Workaround: use libcds atomics. For that, in libcds 1.4 comment this lines in cds/comiler/clang/defs.h:
// C++11 atomic support - only for libc++
#if __has_feature(cxx_atomic) && defined(_LIBCPP_VERSION)
# define CDS_CXX11_ATOMIC_SUPPORT 1
#endif
It seems the problem in libc++ atomic implementation. Maybe, clang admits more aggresive optimization around "native" atomics. The problem is observed even in single-threaded apps. The core dumps point to inside of cds::memory::michael::Heap.
Diff:
See http://llvm.org/bugs/show_bug.cgi?id=18097