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

Run Build Command(s):/usr/bin/make -f Makefile cmTC_9fe51/fast && make[1]: Entering directory '/home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2/buildroot-build/CMakeFiles/CMakeTmp'
/usr/bin/make  -f CMakeFiles/cmTC_9fe51.dir/build.make CMakeFiles/cmTC_9fe51.dir/build
make[2]: Entering directory '/home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2/buildroot-build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_9fe51.dir/src.cxx.o
/home/buildroot/autobuild/instance-1/output-1/host/bin/or1k-linux-g++ --sysroot=/home/buildroot/autobuild/instance-1/output-1/host/or1k-buildroot-linux-musl/sysroot -DBUILTIN_ATOMIC  -D_LARGEFILE_SOURCE -D_LARGEFILE64_SOURCE -D_FILE_OFFSET_BITS=64 -Og -g0 -static -static -Werror=odr    -DNDEBUG -o CMakeFiles/cmTC_9fe51.dir/src.cxx.o -c /home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2/buildroot-build/CMakeFiles/CMakeTmp/src.cxx
Linking CXX executable cmTC_9fe51
/home/buildroot/autobuild/instance-1/output-1/host/bin/cmake -E cmake_link_script CMakeFiles/cmTC_9fe51.dir/link.txt --verbose=1
/home/buildroot/autobuild/instance-1/output-1/host/bin/or1k-linux-g++ --sysroot=/home/buildroot/autobuild/instance-1/output-1/host/or1k-buildroot-linux-musl/sysroot -D_LARGEFILE_SOURCE -D_LARGEFILE64_SOURCE -D_FILE_OFFSET_BITS=64 -Og -g0 -static -static -Werror=odr    -DNDEBUG -static  CMakeFiles/cmTC_9fe51.dir/src.cxx.o -o cmTC_9fe51 
/home/buildroot/autobuild/instance-1/output-1/host/opt/ext-toolchain/bin/../lib/gcc/or1k-buildroot-linux-musl/11.2.0/../../../../or1k-buildroot-linux-musl/bin/ld: CMakeFiles/cmTC_9fe51.dir/src.cxx.o: in function `main':
src.cxx:(.text+0xd0): undefined reference to `__atomic_fetch_add_8'
collect2: error: ld returned 1 exit status
CMakeFiles/cmTC_9fe51.dir/build.make:98: recipe for target 'cmTC_9fe51' failed
make[2]: *** [cmTC_9fe51] Error 1
make[2]: Leaving directory '/home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2/buildroot-build/CMakeFiles/CMakeTmp'
Makefile:127: recipe for target 'cmTC_9fe51/fast' failed
make[1]: *** [cmTC_9fe51/fast] Error 2
make[1]: Leaving directory '/home/buildroot/autobuild/instance-1/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;
}