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

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