Performing C++ SOURCE FILE Test BUILTIN_ATOMIC failed with the following output:
Change Dir: /tmp/instance-0/output-1/build/z3-4.11.2/buildroot-build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_e6ac4/fast && gmake[1]: Entering directory '/tmp/instance-0/output-1/build/z3-4.11.2/buildroot-build/CMakeFiles/CMakeTmp'
/usr/bin/gmake  -f CMakeFiles/cmTC_e6ac4.dir/build.make CMakeFiles/cmTC_e6ac4.dir/build
gmake[2]: Entering directory '/tmp/instance-0/output-1/build/z3-4.11.2/buildroot-build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_e6ac4.dir/src.cxx.o
/tmp/instance-0/output-1/host/bin/or1k-linux-g++ --sysroot=/tmp/instance-0/output-1/host/or1k-buildroot-linux-musl/sysroot -DBUILTIN_ATOMIC  -D_LARGEFILE_SOURCE -D_LARGEFILE64_SOURCE -D_FILE_OFFSET_BITS=64 -O2 -g0 -Werror=odr    -DNDEBUG -o CMakeFiles/cmTC_e6ac4.dir/src.cxx.o -c /tmp/instance-0/output-1/build/z3-4.11.2/buildroot-build/CMakeFiles/CMakeTmp/src.cxx
Linking CXX executable cmTC_e6ac4
/tmp/instance-0/output-1/host/bin/cmake -E cmake_link_script CMakeFiles/cmTC_e6ac4.dir/link.txt --verbose=1
/tmp/instance-0/output-1/host/bin/or1k-linux-g++ --sysroot=/tmp/instance-0/output-1/host/or1k-buildroot-linux-musl/sysroot -D_LARGEFILE_SOURCE -D_LARGEFILE64_SOURCE -D_FILE_OFFSET_BITS=64 -O2 -g0 -Werror=odr    -DNDEBUG CMakeFiles/cmTC_e6ac4.dir/src.cxx.o -o cmTC_e6ac4 
/tmp/instance-0/output-1/host/opt/ext-toolchain/bin/../lib/gcc/or1k-buildroot-linux-musl/11.2.0/../../../../or1k-buildroot-linux-musl/bin/ld: CMakeFiles/cmTC_e6ac4.dir/src.cxx.o: in function `main':
src.cxx:(.text.startup+0xb8): undefined reference to `__atomic_fetch_add_8'
collect2: error: ld returned 1 exit status
gmake[2]: *** [CMakeFiles/cmTC_e6ac4.dir/build.make:99: cmTC_e6ac4] Error 1
gmake[2]: Leaving directory '/tmp/instance-0/output-1/build/z3-4.11.2/buildroot-build/CMakeFiles/CMakeTmp'
gmake[1]: *** [Makefile:127: cmTC_e6ac4/fast] Error 2
gmake[1]: Leaving directory '/tmp/instance-0/output-1/build/z3-4.11.2/buildroot-build/CMakeFiles/CMakeTmp'


Source file was:

#include <atomic>
std::atomic<int> x;
std::atomic<short> y;
std::atomic<char> z;
std::atomic<long long> w;
int main() {
	++z;
	++y;
    ++w;
	return ++x;
}