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

Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_4458e/fast && gmake[1]: Entering directory '/home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/buildroot-build/CMakeFiles/CMakeTmp'
/usr/bin/gmake  -f CMakeFiles/cmTC_4458e.dir/build.make CMakeFiles/cmTC_4458e.dir/build
gmake[2]: Entering directory '/home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/buildroot-build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_4458e.dir/src.cxx.o
/home/autobuild/autobuild/instance-18/output-1/host/bin/or1k-linux-g++ --sysroot=/home/autobuild/autobuild/instance-18/output-1/host/or1k-buildroot-linux-musl/sysroot -DBUILTIN_ATOMIC  -D_LARGEFILE_SOURCE -D_LARGEFILE64_SOURCE -D_FILE_OFFSET_BITS=64 -O1 -g2 -Werror=odr    -DNDEBUG -o CMakeFiles/cmTC_4458e.dir/src.cxx.o -c /home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/buildroot-build/CMakeFiles/CMakeTmp/src.cxx
Linking CXX executable cmTC_4458e
/home/autobuild/autobuild/instance-18/output-1/host/bin/cmake -E cmake_link_script CMakeFiles/cmTC_4458e.dir/link.txt --verbose=1
/home/autobuild/autobuild/instance-18/output-1/host/bin/or1k-linux-g++ --sysroot=/home/autobuild/autobuild/instance-18/output-1/host/or1k-buildroot-linux-musl/sysroot -D_LARGEFILE_SOURCE -D_LARGEFILE64_SOURCE -D_FILE_OFFSET_BITS=64 -O1 -g2 -Werror=odr    -DNDEBUG CMakeFiles/cmTC_4458e.dir/src.cxx.o -o cmTC_4458e 
/home/autobuild/autobuild/instance-18/output-1/host/opt/ext-toolchain/bin/../lib/gcc/or1k-buildroot-linux-musl/11.2.0/../../../../or1k-buildroot-linux-musl/bin/ld: CMakeFiles/cmTC_4458e.dir/src.cxx.o: in function `std::__atomic_base<long long>::operator++()':
/home/autobuild/autobuild/instance-18/output-1/host/opt/ext-toolchain/or1k-buildroot-linux-musl/include/c++/11.2.0/bits/atomic_base.h:378: undefined reference to `__atomic_fetch_add_8'
collect2: error: ld returned 1 exit status
gmake[2]: *** [CMakeFiles/cmTC_4458e.dir/build.make:99: cmTC_4458e] Error 1
gmake[2]: Leaving directory '/home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/buildroot-build/CMakeFiles/CMakeTmp'
gmake[1]: *** [Makefile:127: cmTC_4458e/fast] Error 2
gmake[1]: Leaving directory '/home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/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;
}