[INFO] fetching crate satif-kissat 0.5.1... [INFO] checking satif-kissat-0.5.1 against master#8365fcb2b840c95eeb0bc377af8bd498fad22245 for pr-145605 [INFO] extracting crate satif-kissat 0.5.1 into /workspace/builds/worker-0-tc1/source [INFO] started tweaking crates.io crate satif-kissat 0.5.1 [INFO] finished tweaking crates.io crate satif-kissat 0.5.1 [INFO] tweaked toml for crates.io crate satif-kissat 0.5.1 written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate satif-kissat 0.5.1 on toolchain 8365fcb2b840c95eeb0bc377af8bd498fad22245 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8365fcb2b840c95eeb0bc377af8bd498fad22245" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate satif-kissat 0.5.1 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8365fcb2b840c95eeb0bc377af8bd498fad22245" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded logicrs v0.5.2 [INFO] [stderr] Downloaded giputils v0.3.4 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+8365fcb2b840c95eeb0bc377af8bd498fad22245" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c470ecba13c71a271146be40d4e5d619b04ab81a8ad2237706a87604ba590c1b [INFO] running `Command { std: "docker" "start" "-a" "c470ecba13c71a271146be40d4e5d619b04ab81a8ad2237706a87604ba590c1b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c470ecba13c71a271146be40d4e5d619b04ab81a8ad2237706a87604ba590c1b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c470ecba13c71a271146be40d4e5d619b04ab81a8ad2237706a87604ba590c1b", kill_on_drop: false }` [INFO] [stdout] c470ecba13c71a271146be40d4e5d619b04ab81a8ad2237706a87604ba590c1b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+8365fcb2b840c95eeb0bc377af8bd498fad22245" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9af924c1e9d21f869f9d1a777bce909e50571dd466e67e3b7f2c49501d870336 [INFO] running `Command { std: "docker" "start" "-a" "9af924c1e9d21f869f9d1a777bce909e50571dd466e67e3b7f2c49501d870336", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.172 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Compiling zerocopy v0.8.25 [INFO] [stderr] Compiling rustix v1.0.7 [INFO] [stderr] Compiling cfg-if v1.0.1 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling bitflags v2.9.1 [INFO] [stderr] Compiling linux-raw-sys v0.9.4 [INFO] [stderr] Compiling fastrand v2.3.0 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling log v0.4.27 [INFO] [stderr] Checking inventory v0.3.20 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Checking tempfile v3.20.0 [INFO] [stderr] Compiling rand v0.9.1 [INFO] [stderr] Checking giputils v0.3.4 [INFO] [stderr] Checking logicrs v0.5.2 [INFO] [stderr] Compiling satif-kissat v0.5.1 (/opt/rustwide/workdir) [INFO] [stderr] error: failed to run custom build command for `satif-kissat v0.5.1 (/opt/rustwide/workdir)` [INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation. [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/satif-kissat-407c61dfd616ea77/build-script-build` (exit status: 1) [INFO] [stderr] --- stdout [INFO] [stderr] cargo:rerun-if-changed=./kissat [INFO] [stderr] configure: new build directory 'build' [INFO] [stderr] configure: compiler 'clang -W -Wall -O3 -DNDEBUG -fPIC' [INFO] [stderr] configure: linker 'clang' (no additional options) [INFO] [stderr] configure: using default 'ar' (no cross compilation) [INFO] [stderr] configure: no 'tissat' binary generated (without '--test') [INFO] [stderr] configure: no 'libkissat.so' shared library generated (without '-shared') [INFO] [stderr] configure: no 'kitten' binary generated (without '--kitten') [INFO] [stderr] configure: linking src/makefile [INFO] [stderr] make -C "/opt/rustwide/target/debug/build/satif-kissat-3c88e55d79d6cfea/out/kissat/build" [INFO] [stderr] make[1]: Entering directory '/opt/rustwide/target/debug/build/satif-kissat-3c88e55d79d6cfea/out/kissat/build' [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/allocate.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/analyze.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/ands.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/arena.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/assign.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/averages.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/backbone.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/backtrack.c [INFO] [stderr] ../scripts/generate-build-header.sh > build.h [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/bump.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/check.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/classify.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/clause.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/collect.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/colors.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/compact.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/config.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/congruence.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/decide.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/deduce.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/definition.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/dense.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/dump.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/eliminate.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/equivalences.c [INFO] [stderr] clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/error.c [INFO] [stderr] make[1]: Leaving directory '/opt/rustwide/target/debug/build/satif-kissat-3c88e55d79d6cfea/out/kissat/build' [INFO] [stderr] [INFO] [stderr] --- stderr [INFO] [stderr] fatal error: error in backend: IO failure on output stream: No space left on device [INFO] [stderr] PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script. [INFO] [stderr] Stack dump: [INFO] [stderr] 0. Program arguments: clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/decide.c [INFO] [stderr] 1. parser at end of file [INFO] [stderr] fatal error: error in backend: IO failure on output stream: No space left on device [INFO] [stderr] PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script. [INFO] [stderr] Stack dump: [INFO] [stderr] 0. Program arguments: clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/equivalences.c [INFO] [stderr] 1. parser at end of file [INFO] [stderr] fatal error: error in backend: IO failure on output stream: No space left on device [INFO] [stderr] PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script. [INFO] [stderr] Stack dump: [INFO] [stderr] 0. Program arguments: clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/error.c [INFO] [stderr] 1. parser at end of file [INFO] [stderr] make[1]: *** [makefile:8: error.o] Error 1 [INFO] [stderr] make[1]: *** Waiting for unfinished jobs.... [INFO] [stderr] fatal error: error in backend: IO failure on output stream: No space left on device [INFO] [stderr] PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script. [INFO] [stderr] Stack dump: [INFO] [stderr] 0. Program arguments: clang -W -Wall -O3 -DNDEBUG -fPIC -c ../src/deduce.c [INFO] [stderr] 1. parser at end of file [INFO] [stderr] make[1]: *** [makefile:8: equivalences.o] Error 1 [INFO] [stderr] make[1]: *** [makefile:8: deduce.o] Error 1 [INFO] [stderr] Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it): [INFO] [stderr] 0 libLLVM.so.18.1 0x00007c375407f3bf llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 63 [INFO] [stderr] 1 libLLVM.so.18.1 0x00007c375407d4f9 llvm::sys::RunSignalHandlers() + 89 [INFO] [stderr] 2 libLLVM.so.18.1 0x00007c3753fc8ff3 [INFO] [stderr] 3 libLLVM.so.18.1 0x00007c3753fc8fa2 [INFO] [stderr] 4 libLLVM.so.18.1 0x00007c3754079c70 llvm::sys::Process::Exit(int, bool) + 48 [INFO] [stderr] 5 clang 0x000058f3c021f91b [INFO] [stderr] 6 libLLVM.so.18.1 0x00007c3753fd701c llvm::report_fatal_error(llvm::Twine const&, bool) + 284 [INFO] [stderr] 7 libLLVM.so.18.1 0x00007c3754063973 llvm::raw_fd_ostream::~raw_fd_ostream() + 275 [INFO] [stderr] 8 libLLVM.so.18.1 0x00007c37540628f2 llvm::raw_fd_ostream::~raw_fd_ostream() + 18 [INFO] [stderr] 9 libclang-cpp.so.18.1 0x00007c375c4fb3d7 clang::EmitBackendOutput(clang::DiagnosticsEngine&, clang::HeaderSearchOptions const&, clang::CodeGenOptions const&, clang::TargetOptions const&, clang::LangOptions const&, llvm::StringRef, llvm::Module*, clang::BackendAction, llvm::IntrusiveRefCntPtr, std::unique_ptr>, clang::BackendConsumer*) + 3927 [INFO] [stderr] 10 libclang-cpp.so.18.1 0x00007c375c883a07 clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) + 1479 [INFO] [stderr] 11 libclang-cpp.so.18.1 0x00007c375b47b3d6 clang::ParseAST(clang::Sema&, bool, bool) + 598 [INFO] [stderr] 12 libclang-cpp.so.18.1 0x00007c375d2ea62c clang::FrontendAction::Execute() + 92 [INFO] [stderr] 13 libclang-cpp.so.18.1 0x00007c375d2670b4 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 708 [INFO] [stderr] 14 libclang-cpp.so.18.1 0x00007c375d36663d clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 765 [INFO] [stderr] 15 clang 0x000058f3c021f42e cc1_main(llvm::ArrayRef, char const*, void*) + 3694 [INFO] [stderr] 16 clang 0x000058f3c021c894 [INFO] [stderr] 17 libclang-cpp.so.18.1 0x00007c375cf17972 [INFO] [stderr] 18 libLLVM.so.18.1 0x00007c3753fc8f77 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref) + 151 [INFO] [stderr] 19 libclang-cpp.so.18.1 0x00007c375cf17237 clang::driver::CC1Command::Execute(llvm::ArrayRef>, std::__cxx11::basic_string, std::allocator>*, bool*) const + 407 [INFO] [stderr] 20 libclang-cpp.so.18.1 0x00007c375cedf518 clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const + 888 [INFO] [stderr] 21 libclang-cpp.so.18.1 0x00007c375cedf77f clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&, llvm::SmallVectorImpl>&, bool) const + 159 [INFO] [stderr] 22 libclang-cpp.so.18.1 0x00007c375cefbc20 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl>&) + 352 [INFO] [stderr] 23 clang 0x000058f3c021c1ec clang_main(int, char**, llvm::ToolContext const&) + 11180 [INFO] [stderr] 24 clang 0x000058f3c0229383 main + 131 [INFO] [stderr] 25 libc.so.6 0x00007c3752e4e1ca [INFO] [stderr] 26 libc.so.6 0x00007c3752e4e28b __libc_start_main + 139 [INFO] [stderr] 27 clang 0x000058f3c0219255 _start + 37 [INFO] [stderr] make[1]: *** [makefile:8: decide.o] Error 1 [INFO] [stderr] make: *** [makefile:2: all] Error 2 [INFO] [stderr] Error: "process exited unsuccessfully: exit status: 2" [INFO] running `Command { std: "docker" "inspect" "9af924c1e9d21f869f9d1a777bce909e50571dd466e67e3b7f2c49501d870336", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9af924c1e9d21f869f9d1a777bce909e50571dd466e67e3b7f2c49501d870336", kill_on_drop: false }` [INFO] [stdout] 9af924c1e9d21f869f9d1a777bce909e50571dd466e67e3b7f2c49501d870336