[INFO] cloning repository https://github.com/prateekkumarweb/sat-verifier [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/prateekkumarweb/sat-verifier" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fprateekkumarweb%2Fsat-verifier", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fprateekkumarweb%2Fsat-verifier'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 896b43dfa0a5c742d735cf34194469f8bed922c9 [INFO] testing prateekkumarweb/sat-verifier against master#159ba8a92c9e2fa4121f106176309521f4af87e9+rustflags=-Copt-level=3 for pr-107051 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fprateekkumarweb%2Fsat-verifier" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/prateekkumarweb/sat-verifier on toolchain 159ba8a92c9e2fa4121f106176309521f4af87e9 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+159ba8a92c9e2fa4121f106176309521f4af87e9" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/prateekkumarweb/sat-verifier [INFO] finished tweaking git repo https://github.com/prateekkumarweb/sat-verifier [INFO] tweaked toml for git repo https://github.com/prateekkumarweb/sat-verifier written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/prateekkumarweb/sat-verifier 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" "+159ba8a92c9e2fa4121f106176309521f4af87e9" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:7c93e6f9a94679f34221d1005849d4c83862f85b14a264fa0883942f4d043a66" "/opt/rustwide/cargo-home/bin/cargo" "+159ba8a92c9e2fa4121f106176309521f4af87e9" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4b43f3aa0e8ea3c0f799ebc3e5ef159135625c29a068b1f6a206d99826092c86 [INFO] running `Command { std: "docker" "start" "-a" "4b43f3aa0e8ea3c0f799ebc3e5ef159135625c29a068b1f6a206d99826092c86", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4b43f3aa0e8ea3c0f799ebc3e5ef159135625c29a068b1f6a206d99826092c86", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4b43f3aa0e8ea3c0f799ebc3e5ef159135625c29a068b1f6a206d99826092c86", kill_on_drop: false }` [INFO] [stdout] 4b43f3aa0e8ea3c0f799ebc3e5ef159135625c29a068b1f6a206d99826092c86 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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 -Copt-level=3" "-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:7c93e6f9a94679f34221d1005849d4c83862f85b14a264fa0883942f4d043a66" "/opt/rustwide/cargo-home/bin/cargo" "+159ba8a92c9e2fa4121f106176309521f4af87e9" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 13f66b2bc963a83b484265721ff3227150588b8e567d0773c3f61c99278659c1 [INFO] running `Command { std: "docker" "start" "-a" "13f66b2bc963a83b484265721ff3227150588b8e567d0773c3f61c99278659c1", kill_on_drop: false }` [INFO] [stderr] Compiling memchr v2.3.3 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling cc v1.0.54 [INFO] [stderr] Compiling regex-syntax v0.6.17 [INFO] [stderr] Compiling thread_local v1.0.1 [INFO] [stderr] Compiling aho-corasick v0.7.10 [INFO] [stderr] Compiling regex v1.3.7 [INFO] [stderr] Compiling sat-verifier v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: src/drat-trim.c: In function 'propagate': [INFO] [stderr] warning: src/drat-trim.c:275:37: warning: unused parameter 'init' [-Wunused-parameter] [INFO] [stderr] warning: 275 | int propagate(struct solver *S, int init, int mark) [INFO] [stderr] warning: | ~~~~^~~~ [INFO] [stderr] warning: src/drat-trim.c: In function 'printCore': [INFO] [stderr] warning: src/drat-trim.c:398:12: warning: unused variable 'j' [-Wunused-variable] [INFO] [stderr] warning: 398 | int i, j; [INFO] [stderr] warning: | ^ [INFO] [stderr] warning: src/drat-trim.c: In function 'printProof': [INFO] [stderr] warning: src/drat-trim.c:503:18: warning: unused variable 'lemmas' [-Wunused-variable] [INFO] [stderr] warning: 503 | int *lemmas = S->DB + (ad >> INFOBITS); [INFO] [stderr] warning: | ^~~~~~ [INFO] [stderr] warning: src/drat-trim.c:572:13: warning: unused variable 'flag' [-Wunused-variable] [INFO] [stderr] warning: 572 | int flag = 0; [INFO] [stderr] warning: | ^~~~ [INFO] [stderr] warning: src/drat-trim.c: In function 'printDependenciesFile': [INFO] [stderr] warning: src/drat-trim.c:743:63: warning: unused parameter 'RATflag' [-Wunused-parameter] [INFO] [stderr] warning: 743 | void printDependenciesFile(struct solver *S, int *clause, int RATflag, int mode) [INFO] [stderr] warning: | ~~~~^~~~~~~ [INFO] [stderr] warning: src/drat-trim.c: In function 'checkRAT': [INFO] [stderr] warning: src/drat-trim.c:902:17: warning: unused variable 'id' [-Wunused-variable] [INFO] [stderr] warning: 902 | int id = watched[ID] >> 1; [INFO] [stderr] warning: | ^~ [INFO] [stderr] warning: src/drat-trim.c: In function 'setUCP': [INFO] [stderr] warning: src/drat-trim.c:1003:13: warning: unused variable 'i' [-Wunused-variable] [INFO] [stderr] warning: 1003 | int i; [INFO] [stderr] warning: | ^ [INFO] [stderr] warning: src/drat-trim.c: In function 'verify': [INFO] [stderr] warning: src/drat-trim.c:1409:9: warning: unused variable 'top_flag' [-Wunused-variable] [INFO] [stderr] warning: 1409 | int top_flag = 1; [INFO] [stderr] warning: | ^~~~~~~~ [INFO] [stderr] warning: src/drat-trim.c: In function 'getHash': [INFO] [stderr] warning: src/drat-trim.c:1780:24: warning: suggest parentheses around arithmetic in operand of '^' [-Wparentheses] [INFO] [stderr] warning: 1780 | return (1023 * sum + prod ^ (31 * xor)) % BIGINIT; [INFO] [stderr] warning: | ~~~~~~~~~~~^~~~~~ [INFO] [stderr] warning: src/drat-trim.c: In function 'parse': [INFO] [stderr] warning: src/drat-trim.c:2037:27: warning: comparison of integer expressions of different signedness: 'int' and 'long unsigned int' [-Wsign-compare] [INFO] [stderr] warning: 2037 | for (i = 0; i < sizeof ignore; i++) [INFO] [stderr] warning: | ^ [INFO] [stderr] warning: src/drat-trim.c: In function 'propagate': [INFO] [stderr] warning: src/drat-trim.c:291:16: warning: '_watch' may be used uninitialized in this function [-Wmaybe-uninitialized] [INFO] [stderr] warning: 291 | while (*watch != END) [INFO] [stderr] warning: | ^~~~~~ [INFO] [stdout] warning: getting the inner pointer of a temporary `CString` [INFO] [stdout] --> src/main.rs:93:58 [INFO] [stdout] | [INFO] [stdout] 93 | CString::new("./drat-trim").unwrap().as_ptr(), [INFO] [stdout] | ------------------------------------ ^^^^^^ this pointer will be invalid [INFO] [stdout] | | [INFO] [stdout] | this `CString` is deallocated at the end of the statement, bind it to a variable to extend its lifetime [INFO] [stdout] | [INFO] [stdout] = note: pointers do not have a lifetime; when calling `as_ptr` the `CString` will be deallocated at the end of the statement because nothing is referencing it as far as the type system is concerned [INFO] [stdout] = help: for more information, see https://doc.rust-lang.org/reference/destructors.html [INFO] [stdout] = note: `#[warn(temporary_cstring_as_ptr)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: getting the inner pointer of a temporary `CString` [INFO] [stdout] --> src/main.rs:94:63 [INFO] [stdout] | [INFO] [stdout] 94 | CString::new(args[1].as_bytes()).unwrap().as_ptr(), [INFO] [stdout] | ----------------------------------------- ^^^^^^ this pointer will be invalid [INFO] [stdout] | | [INFO] [stdout] | this `CString` is deallocated at the end of the statement, bind it to a variable to extend its lifetime [INFO] [stdout] | [INFO] [stdout] = note: pointers do not have a lifetime; when calling `as_ptr` the `CString` will be deallocated at the end of the statement because nothing is referencing it as far as the type system is concerned [INFO] [stdout] = help: for more information, see https://doc.rust-lang.org/reference/destructors.html [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: getting the inner pointer of a temporary `CString` [INFO] [stdout] --> src/main.rs:95:63 [INFO] [stdout] | [INFO] [stdout] 95 | CString::new(args[3].as_bytes()).unwrap().as_ptr(), [INFO] [stdout] | ----------------------------------------- ^^^^^^ this pointer will be invalid [INFO] [stdout] | | [INFO] [stdout] | this `CString` is deallocated at the end of the statement, bind it to a variable to extend its lifetime [INFO] [stdout] | [INFO] [stdout] = note: pointers do not have a lifetime; when calling `as_ptr` the `CString` will be deallocated at the end of the statement because nothing is referencing it as far as the type system is concerned [INFO] [stdout] = help: for more information, see https://doc.rust-lang.org/reference/destructors.html [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcD40bYn/symbols.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.sat_verifier.5a56fcd0-cgu.9.rcgu.o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d.21do2xl6j4ptxjst.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/sat-verifier-78ee5fb237e484d5/out" "-L" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "-ldrat-trim" "/opt/rustwide/target/debug/deps/libregex-5091ac7b97f0121a.rlib" "/opt/rustwide/target/debug/deps/libthread_local-7b136cb51b93983e.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b33cd6b8ee13db74.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-39a47edb783c6a43.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-9b10e93aab7cbe7a.rlib" "/opt/rustwide/target/debug/deps/libmemchr-dab0d116dd56435e.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-dff4eaa1a47e9e33.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-21d882eb82e74d58.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-a7a4a5c38e3da2ad.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-e2b1fec37c9c19cd.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-675302af4c115fec.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-c2a2aba5d475f7d8.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-3d69bc2ce2ff7508.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-bb4c6139d02b6b90.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-3990de10d3f2460e.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-3a23c05350b4d45c.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-c2c33bc29289b145.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-b3d80be3be44960e.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-d2581a381e26c54b.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-0ff401eab4233ffd.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-6d46d38f739892fe.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-cb19371b39fc63d8.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-522518611024dce5.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-05898138a596088a.rlib" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-66b9c3ae5ff29c13.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-znoexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/159ba8a92c9e2fa4121f106176309521f4af87e9/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/sat_verifier-45b7b6a9be18433d" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro,-znow" "-Wl,-O1" "-nodefaultlibs" [INFO] [stdout] = note: /usr/bin/ld: final link failed: No space left on device [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error; 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] The following warnings were emitted during compilation: [INFO] [stderr] [INFO] [stderr] warning: src/drat-trim.c: In function 'propagate': [INFO] [stderr] warning: src/drat-trim.c:275:37: warning: unused parameter 'init' [-Wunused-parameter] [INFO] [stderr] warning: 275 | int propagate(struct solver *S, int init, int mark) [INFO] [stderr] warning: | ~~~~^~~~ [INFO] [stderr] warning: src/drat-trim.c: In function 'printCore': [INFO] [stderr] warning: src/drat-trim.c:398:12: warning: unused variable 'j' [-Wunused-variable] [INFO] [stderr] warning: 398 | int i, j; [INFO] [stderr] warning: | ^ [INFO] [stderr] warning: src/drat-trim.c: In function 'printProof': [INFO] [stderr] warning: src/drat-trim.c:503:18: warning: unused variable 'lemmas' [-Wunused-variable] [INFO] [stderr] warning: 503 | int *lemmas = S->DB + (ad >> INFOBITS); [INFO] [stderr] warning: | ^~~~~~ [INFO] [stderr] warning: src/drat-trim.c:572:13: warning: unused variable 'flag' [-Wunused-variable] [INFO] [stderr] warning: 572 | int flag = 0; [INFO] [stderr] warning: | ^~~~ [INFO] [stderr] warning: src/drat-trim.c: In function 'printDependenciesFile': [INFO] [stderr] warning: src/drat-trim.c:743:63: warning: unused parameter 'RATflag' [-Wunused-parameter] [INFO] [stderr] warning: 743 | void printDependenciesFile(struct solver *S, int *clause, int RATflag, int mode) [INFO] [stderr] warning: | ~~~~^~~~~~~ [INFO] [stderr] warning: src/drat-trim.c: In function 'checkRAT': [INFO] [stderr] warning: src/drat-trim.c:902:17: warning: unused variable 'id' [-Wunused-variable] [INFO] [stderr] warning: 902 | int id = watched[ID] >> 1; [INFO] [stderr] warning: | ^~ [INFO] [stderr] warning: src/drat-trim.c: In function 'setUCP': [INFO] [stderr] warning: src/drat-trim.c:1003:13: warning: unused variable 'i' [-Wunused-variable] [INFO] [stderr] warning: 1003 | int i; [INFO] [stderr] warning: | ^ [INFO] [stderr] warning: src/drat-trim.c: In function 'verify': [INFO] [stderr] warning: src/drat-trim.c:1409:9: warning: unused variable 'top_flag' [-Wunused-variable] [INFO] [stderr] warning: 1409 | int top_flag = 1; [INFO] [stderr] warning: | ^~~~~~~~ [INFO] [stderr] warning: src/drat-trim.c: In function 'getHash': [INFO] [stderr] warning: src/drat-trim.c:1780:24: warning: suggest parentheses around arithmetic in operand of '^' [-Wparentheses] [INFO] [stderr] warning: 1780 | return (1023 * sum + prod ^ (31 * xor)) % BIGINIT; [INFO] [stderr] warning: | ~~~~~~~~~~~^~~~~~ [INFO] [stderr] warning: src/drat-trim.c: In function 'parse': [INFO] [stderr] warning: src/drat-trim.c:2037:27: warning: comparison of integer expressions of different signedness: 'int' and 'long unsigned int' [-Wsign-compare] [INFO] [stderr] warning: 2037 | for (i = 0; i < sizeof ignore; i++) [INFO] [stderr] warning: | ^ [INFO] [stderr] warning: src/drat-trim.c: In function 'propagate': [INFO] [stderr] warning: src/drat-trim.c:291:16: warning: '_watch' may be used uninitialized in this function [-Wmaybe-uninitialized] [INFO] [stderr] warning: 291 | while (*watch != END) [INFO] [stderr] warning: | ^~~~~~ [INFO] [stderr] [INFO] [stderr] error: could not compile `sat-verifier` due to 2 previous errors; 3 warnings emitted [INFO] running `Command { std: "docker" "inspect" "13f66b2bc963a83b484265721ff3227150588b8e567d0773c3f61c99278659c1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "13f66b2bc963a83b484265721ff3227150588b8e567d0773c3f61c99278659c1", kill_on_drop: false }` [INFO] [stdout] 13f66b2bc963a83b484265721ff3227150588b8e567d0773c3f61c99278659c1