[llvm] [SCEV] Add predicate in SolveLinEq to ensure B is a multiple of A. (PR #108777)
LLVM Continuous Integration via llvm-commits
llvm-commits at lists.llvm.org
Sat Sep 28 06:55:53 PDT 2024
llvm-ci wrote:
LLVM Buildbot has detected a new failure on builder `sanitizer-aarch64-linux` running on `sanitizer-buildbot8` while building `llvm` at step 2 "annotate".
Full details are available at: https://lab.llvm.org/buildbot/#/builders/51/builds/4460
<details>
<summary>Here is the relevant piece of the build log for the reference</summary>
```
Step 2 (annotate) failure: 'python ../sanitizer_buildbot/sanitizers/zorg/buildbot/builders/sanitizers/buildbot_selector.py' (failure)
...
+ [[ -march=armv8-a =~ -m32 ]]
+ FLAGS+=' -fPIC -flto -Oz -g0 -DNDEBUG -target aarch64-unknown-linux-gnu -Wno-unused-command-line-argument'
+ FLAGS+=' -include /home/b/sanitizer-aarch64-linux/build/llvm-project/compiler-rt/lib/sanitizer_common/symbolizer/../sanitizer_redefine_builtins.h -DSANITIZER_COMMON_REDEFINE_BUILTINS_IN_STD -Wno-language-extension-token'
+ LINKFLAGS='-fuse-ld=lld -target aarch64-unknown-linux-gnu'
+ [[ ! -d /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64/symbolizer/zlib ]]
+ [[ -z '' ]]
+ git clone https://github.com/madler/zlib /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64/symbolizer/zlib
Cloning into '/home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64/symbolizer/zlib'...
fatal: unable to access 'https://github.com/madler/zlib/': Recv failure: Connection reset by peer
[1524/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonSymbolizerNoHooks.aarch64.dir/sanitizer_stackdepot.cpp.o
FAILED: compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64.o /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64.o
cd /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64 && FLAGS=-march=armv8-a CLANG=/home/b/sanitizer-aarch64-linux/build/build_default/./bin/clang /home/b/sanitizer-aarch64-linux/build/llvm-project/compiler-rt/lib/sanitizer_common/symbolizer/scripts/build_symbolizer.sh /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64.o
[1526/2002] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/ostream.cpp.o
[1527/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonLibcNoHooks.aarch64.dir/sanitizer_stoptheworld_linux_libcdep.cpp.o
[1528/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonSymbolizerNoHooks.aarch64.dir/sanitizer_symbolizer_markup.cpp.o
[1529/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/RTLSanCommon.aarch64.dir/lsan_common_mac.cpp.o
[1530/2002] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/fstream.cpp.o
[1531/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/clang_rt.lsan-aarch64.dir/lsan_preinit.cpp.o
[1532/2002] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/regex.cpp.o
[1533/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonLibcNoHooks.aarch64.dir/sanitizer_linux_libcdep.cpp.o
[1534/2002] Building CXX object compiler-rt/lib/ubsan/CMakeFiles/RTUbsan_cxx.aarch64.dir/ubsan_type_hash.cpp.o
[1535/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/RTLSanCommon.aarch64.dir/lsan_common_fuchsia.cpp.o
[1536/2002] Building CXX object compiler-rt/lib/ubsan/CMakeFiles/RTUbsan.aarch64.dir/ubsan_flags.cpp.o
[1537/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonSymbolizerNoHooks.aarch64.dir/sanitizer_symbolizer_report.cpp.o
[1538/2002] Building CXX object compiler-rt/lib/ubsan/CMakeFiles/RTUbsan.aarch64.dir/ubsan_value.cpp.o
[1539/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/clang_rt.lsan-aarch64.dir/lsan_linux.cpp.o
[1540/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/clang_rt.lsan-aarch64.dir/lsan.cpp.o
[1541/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/RTLSanCommon.aarch64.dir/lsan_common_linux.cpp.o
[1542/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonSymbolizerNoHooks.aarch64.dir/sanitizer_symbolizer_posix_libcdep.cpp.o
[1543/2002] Building CXX object compiler-rt/lib/stats/CMakeFiles/clang_rt.stats-aarch64.dir/stats.cpp.o
[1544/2002] Building CXX object compiler-rt/lib/ubsan/CMakeFiles/RTUbsan.aarch64.dir/ubsan_init.cpp.o
[1545/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonSymbolizerNoHooks.aarch64.dir/sanitizer_symbolizer_libcdep.cpp.o
[1546/2002] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/filesystem/path.cpp.o
[1547/2002] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/random_shuffle.cpp.o
[1548/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonNoHooks.aarch64.dir/sanitizer_thread_registry.cpp.o
[1549/2002] Building CXX object libcxx/src/CMakeFiles/cxx_shared.dir/filesystem/directory_iterator.cpp.o
[1550/2002] Building CXX object compiler-rt/lib/ubsan/CMakeFiles/RTUbsan.aarch64.dir/ubsan_monitor.cpp.o
[1551/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/clang_rt.lsan-aarch64.dir/lsan_posix.cpp.o
[1552/2002] Building CXX object libcxx/src/CMakeFiles/cxx_experimental.dir/experimental/chrono_exception.cpp.o
[1553/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonSymbolizerNoHooks.aarch64.dir/sanitizer_stack_store.cpp.o
[1554/2002] Building CXX object compiler-rt/lib/ubsan/CMakeFiles/RTUbsan_cxx.aarch64.dir/ubsan_handlers_cxx.cpp.o
[1555/2002] Building CXX object compiler-rt/lib/ubsan/CMakeFiles/RTUbsan.aarch64.dir/ubsan_diag.cpp.o
[1556/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/clang_rt.lsan-aarch64.dir/lsan_thread.cpp.o
[1557/2002] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/algorithm.cpp.o
[1558/2002] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/strstream.cpp.o
[1559/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/clang_rt.lsan-aarch64.dir/lsan_interceptors.cpp.o
[1560/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/RTLSanCommon.aarch64.dir/lsan_common.cpp.o
[1561/2002] Building CXX object libcxx/src/CMakeFiles/cxx_experimental.dir/experimental/tzdb_list.cpp.o
[1562/2002] Building CXX object libcxx/src/CMakeFiles/cxx_shared.dir/filesystem/operations.cpp.o
Step 8 (build compiler-rt symbolizer) failure: build compiler-rt symbolizer (failure)
...
+ [[ -march=armv8-a =~ -m32 ]]
+ FLAGS+=' -fPIC -flto -Oz -g0 -DNDEBUG -target aarch64-unknown-linux-gnu -Wno-unused-command-line-argument'
+ FLAGS+=' -include /home/b/sanitizer-aarch64-linux/build/llvm-project/compiler-rt/lib/sanitizer_common/symbolizer/../sanitizer_redefine_builtins.h -DSANITIZER_COMMON_REDEFINE_BUILTINS_IN_STD -Wno-language-extension-token'
+ LINKFLAGS='-fuse-ld=lld -target aarch64-unknown-linux-gnu'
+ [[ ! -d /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64/symbolizer/zlib ]]
+ [[ -z '' ]]
+ git clone https://github.com/madler/zlib /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64/symbolizer/zlib
Cloning into '/home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64/symbolizer/zlib'...
fatal: unable to access 'https://github.com/madler/zlib/': Recv failure: Connection reset by peer
[1524/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonSymbolizerNoHooks.aarch64.dir/sanitizer_stackdepot.cpp.o
FAILED: compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64.o /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64.o
cd /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64 && FLAGS=-march=armv8-a CLANG=/home/b/sanitizer-aarch64-linux/build/build_default/./bin/clang /home/b/sanitizer-aarch64-linux/build/llvm-project/compiler-rt/lib/sanitizer_common/symbolizer/scripts/build_symbolizer.sh /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64.o
[1526/2002] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/ostream.cpp.o
[1527/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonLibcNoHooks.aarch64.dir/sanitizer_stoptheworld_linux_libcdep.cpp.o
[1528/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonSymbolizerNoHooks.aarch64.dir/sanitizer_symbolizer_markup.cpp.o
[1529/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/RTLSanCommon.aarch64.dir/lsan_common_mac.cpp.o
[1530/2002] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/fstream.cpp.o
[1531/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/clang_rt.lsan-aarch64.dir/lsan_preinit.cpp.o
[1532/2002] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/regex.cpp.o
[1533/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonLibcNoHooks.aarch64.dir/sanitizer_linux_libcdep.cpp.o
[1534/2002] Building CXX object compiler-rt/lib/ubsan/CMakeFiles/RTUbsan_cxx.aarch64.dir/ubsan_type_hash.cpp.o
[1535/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/RTLSanCommon.aarch64.dir/lsan_common_fuchsia.cpp.o
[1536/2002] Building CXX object compiler-rt/lib/ubsan/CMakeFiles/RTUbsan.aarch64.dir/ubsan_flags.cpp.o
[1537/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonSymbolizerNoHooks.aarch64.dir/sanitizer_symbolizer_report.cpp.o
[1538/2002] Building CXX object compiler-rt/lib/ubsan/CMakeFiles/RTUbsan.aarch64.dir/ubsan_value.cpp.o
[1539/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/clang_rt.lsan-aarch64.dir/lsan_linux.cpp.o
[1540/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/clang_rt.lsan-aarch64.dir/lsan.cpp.o
[1541/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/RTLSanCommon.aarch64.dir/lsan_common_linux.cpp.o
[1542/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonSymbolizerNoHooks.aarch64.dir/sanitizer_symbolizer_posix_libcdep.cpp.o
[1543/2002] Building CXX object compiler-rt/lib/stats/CMakeFiles/clang_rt.stats-aarch64.dir/stats.cpp.o
[1544/2002] Building CXX object compiler-rt/lib/ubsan/CMakeFiles/RTUbsan.aarch64.dir/ubsan_init.cpp.o
[1545/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonSymbolizerNoHooks.aarch64.dir/sanitizer_symbolizer_libcdep.cpp.o
[1546/2002] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/filesystem/path.cpp.o
[1547/2002] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/random_shuffle.cpp.o
[1548/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonNoHooks.aarch64.dir/sanitizer_thread_registry.cpp.o
[1549/2002] Building CXX object libcxx/src/CMakeFiles/cxx_shared.dir/filesystem/directory_iterator.cpp.o
[1550/2002] Building CXX object compiler-rt/lib/ubsan/CMakeFiles/RTUbsan.aarch64.dir/ubsan_monitor.cpp.o
[1551/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/clang_rt.lsan-aarch64.dir/lsan_posix.cpp.o
[1552/2002] Building CXX object libcxx/src/CMakeFiles/cxx_experimental.dir/experimental/chrono_exception.cpp.o
[1553/2002] Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonSymbolizerNoHooks.aarch64.dir/sanitizer_stack_store.cpp.o
[1554/2002] Building CXX object compiler-rt/lib/ubsan/CMakeFiles/RTUbsan_cxx.aarch64.dir/ubsan_handlers_cxx.cpp.o
[1555/2002] Building CXX object compiler-rt/lib/ubsan/CMakeFiles/RTUbsan.aarch64.dir/ubsan_diag.cpp.o
[1556/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/clang_rt.lsan-aarch64.dir/lsan_thread.cpp.o
[1557/2002] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/algorithm.cpp.o
[1558/2002] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/strstream.cpp.o
[1559/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/clang_rt.lsan-aarch64.dir/lsan_interceptors.cpp.o
[1560/2002] Building CXX object compiler-rt/lib/lsan/CMakeFiles/RTLSanCommon.aarch64.dir/lsan_common.cpp.o
[1561/2002] Building CXX object libcxx/src/CMakeFiles/cxx_experimental.dir/experimental/tzdb_list.cpp.o
[1562/2002] Building CXX object libcxx/src/CMakeFiles/cxx_shared.dir/filesystem/operations.cpp.o
Step 9 (test compiler-rt symbolizer) failure: test compiler-rt symbolizer (failure)
...
+ [[ -march=armv8-a =~ -m32 ]]
+ FLAGS+=' -fPIC -flto -Oz -g0 -DNDEBUG -target aarch64-unknown-linux-gnu -Wno-unused-command-line-argument'
+ FLAGS+=' -include /home/b/sanitizer-aarch64-linux/build/llvm-project/compiler-rt/lib/sanitizer_common/symbolizer/../sanitizer_redefine_builtins.h -DSANITIZER_COMMON_REDEFINE_BUILTINS_IN_STD -Wno-language-extension-token'
+ LINKFLAGS='-fuse-ld=lld -target aarch64-unknown-linux-gnu'
+ [[ ! -d /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64/symbolizer/zlib ]]
+ [[ -z '' ]]
+ git clone https://github.com/madler/zlib /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64/symbolizer/zlib
Cloning into '/home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64/symbolizer/zlib'...
fatal: unable to access 'https://github.com/madler/zlib/': gnutls_handshake() failed: The TLS connection was non-properly terminated.
[363/583] Linking CXX static library compiler-rt/lib/scudo/standalone/tests/libRTScudoCxxUnitTest.aarch64.a
FAILED: compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64.o /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64.o
cd /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64 && FLAGS=-march=armv8-a CLANG=/home/b/sanitizer-aarch64-linux/build/build_default/./bin/clang /home/b/sanitizer-aarch64-linux/build/llvm-project/compiler-rt/lib/sanitizer_common/symbolizer/scripts/build_symbolizer.sh /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/compiler-rt/lib/sanitizer_common/symbolizer/RTSanitizerCommonSymbolizerInternal.aarch64.o
[365/583] Building CXX object compiler-rt/lib/scudo/standalone/CMakeFiles/clang_rt.scudo_standalone-aarch64.dir/wrappers_c.cpp.o
[366/583] Building CXX object compiler-rt/lib/scudo/standalone/CMakeFiles/clang_rt.scudo_standalone-dynamic-aarch64.dir/wrappers_c.cpp.o
[367/583] Building CXX object compiler-rt/lib/orc/CMakeFiles/RTOrc.aarch64.dir/elfnix_platform.cpp.o
[368/583] Generating RtsanTestObjects_FileOffset64.gmock-all.cc.aarch64.o
[369/583] Generating RtsanTestObjects_FileOffset64.rtsan_test_functional.cpp.aarch64.o
[370/583] Generating RtsanTestObjects.gmock-all.cc.aarch64.o
[371/583] Generating RtsanTestObjects.rtsan_test_functional.cpp.aarch64.o
[372/583] Generating RtsanTestObjects_FileOffset64.rtsan_test_interceptors.cpp.aarch64.o
[373/583] Building CXX object compiler-rt/lib/tsan/rtl/CMakeFiles/clang_rt.tsan-dynamic-aarch64.dir/tsan_interceptors_posix.cpp.o
[374/583] Building CXX object compiler-rt/lib/tsan/rtl/CMakeFiles/clang_rt.tsan-aarch64.dir/tsan_interceptors_posix.cpp.o
[375/583] Generating RtsanTestObjects.rtsan_test_interceptors.cpp.aarch64.o
[376/583] Building CXX object compiler-rt/lib/msan/CMakeFiles/clang_rt.msan-aarch64.dir/msan_interceptors.cpp.o
[377/583] Building CXX object compiler-rt/lib/asan/CMakeFiles/RTAsan.aarch64.dir/asan_interceptors.cpp.o
[378/583] Building CXX object compiler-rt/lib/asan/CMakeFiles/RTAsan_dynamic.aarch64.dir/asan_interceptors.cpp.o
[379/583] Generating RtsanTestObjects.gtest-all.cc.aarch64.o
[380/583] Generating RtsanTestObjects_FileOffset64.gtest-all.cc.aarch64.o
ninja: build stopped: subcommand failed.
FAILED: runtimes/CMakeFiles/check-compiler-rt /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/CMakeFiles/check-compiler-rt
cd /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins && /usr/bin/cmake --build /home/b/sanitizer-aarch64-linux/build/build_default/runtimes/runtimes-bins/ --target check-compiler-rt --config Release
ninja: build stopped: subcommand failed.
How to reproduce locally: https://github.com/google/sanitizers/wiki/SanitizerBotReproduceBuild
```
</details>
https://github.com/llvm/llvm-project/pull/108777
More information about the llvm-commits
mailing list