[INFO] fetching crate bddminisat-sys 0.1.0... [INFO] testing bddminisat-sys-0.1.0 against try#8da20828b6ea601dfd8e2448cb50ace88876bd78 for pr-150933 [INFO] extracting crate bddminisat-sys 0.1.0 into /workspace/builds/worker-5-tc2/source [INFO] started tweaking crates.io crate bddminisat-sys 0.1.0 [INFO] finished tweaking crates.io crate bddminisat-sys 0.1.0 [INFO] tweaked toml for crates.io crate bddminisat-sys 0.1.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate bddminisat-sys 0.1.0 on toolchain 8da20828b6ea601dfd8e2448cb50ace88876bd78 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8da20828b6ea601dfd8e2448cb50ace88876bd78" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate bddminisat-sys 0.1.0 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" "+8da20828b6ea601dfd8e2448cb50ace88876bd78" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:cfa559dde23f44738f9990739aaa3487d8df3af37eb5df0572f7cf76004a604a" "/opt/rustwide/cargo-home/bin/cargo" "+8da20828b6ea601dfd8e2448cb50ace88876bd78" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] b70a78c3f70c5e1bfd5a2bcaea5fa458b1f01fe999278c6bb2eb8067bbcd32ba [INFO] running `Command { std: "docker" "start" "-a" "b70a78c3f70c5e1bfd5a2bcaea5fa458b1f01fe999278c6bb2eb8067bbcd32ba", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "b70a78c3f70c5e1bfd5a2bcaea5fa458b1f01fe999278c6bb2eb8067bbcd32ba", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b70a78c3f70c5e1bfd5a2bcaea5fa458b1f01fe999278c6bb2eb8067bbcd32ba", kill_on_drop: false }` [INFO] [stdout] b70a78c3f70c5e1bfd5a2bcaea5fa458b1f01fe999278c6bb2eb8067bbcd32ba [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:cfa559dde23f44738f9990739aaa3487d8df3af37eb5df0572f7cf76004a604a" "/opt/rustwide/cargo-home/bin/cargo" "+8da20828b6ea601dfd8e2448cb50ace88876bd78" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6d2b7d35717353127223bd86be75ad390e8bc83b841cfae70bcbca73bdf46bac [INFO] running `Command { std: "docker" "start" "-a" "6d2b7d35717353127223bd86be75ad390e8bc83b841cfae70bcbca73bdf46bac", kill_on_drop: false }` [INFO] [stderr] Compiling cc v1.2.49 [INFO] [stderr] Compiling bddminisat-sys v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'check': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:49:30: warning: unused parameter 'expr' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 49 | static inline void check(int expr) { assert(expr); } [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~^~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_activity': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:102:71: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 102 | static inline float clause_activity (clause* c) { return *((float*)&c->lits[c->size_learnt>>1]); } [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_setactivity': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:103:64: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 103 | static inline void clause_setactivity(clause* c, float a) { *((float*)&c->lits[c->size_learnt>>1]) = a; } [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_printstatus': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:287:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 287 | printf("\t%ju", s->stats.conflicts); [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~^ ~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: | | | [INFO] [stderr] warning: bddminisat-sys@0.1.0: | | uint64 {aka long long unsigned int} [INFO] [stderr] warning: bddminisat-sys@0.1.0: | long unsigned int [INFO] [stderr] warning: bddminisat-sys@0.1.0: | %llu [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:288:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 288 | printf("\t%ju", s->stats.propagations); [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~^ ~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: | | | [INFO] [stderr] warning: bddminisat-sys@0.1.0: | | uint64 {aka long long unsigned int} [INFO] [stderr] warning: bddminisat-sys@0.1.0: | long unsigned int [INFO] [stderr] warning: bddminisat-sys@0.1.0: | %llu [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'order_assigned': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:43: warning: unused parameter 's' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 328 | static inline void order_assigned(solver* s, int v) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~~~~~^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:50: warning: unused parameter 'v' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 328 | static inline void order_assigned(solver* s, int v) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_new': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:473:11: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 473 | *((float*)&c->lits[size]) = 0.0; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~^~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_backtrack': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1678:1: warning: no return statement in function returning non-void [-Wreturn-type] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1678 | } [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_resolve_conflict_cbj': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1764:17: warning: unused variable 'p' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1764 | lit p = solver_backtrack(s,solver_dlevel(s)); [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1810:25: warning: unused variable 'p' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1810 | lit p = solver_backtrack(s, highest); [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_search': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1866:13: warning: unused variable 'sublevels' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1866 | int* sublevels = s->sublevels; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1865:13: warning: unused variable 'levels' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1865 | int* levels = s->levels; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1863:43: warning: unused parameter 'nof_conflicts' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1863 | static lbool solver_search(solver* s, int nof_conflicts, int nof_learnts) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~^~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_solve': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2421:13: warning: unused variable 'i' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 2421 | lit* i; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2420:13: warning: unused variable 'values' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 2420 | lbool* values = s->assigns; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:37: warning: unused parameter 'begin' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 2415 | bool solver_solve(solver* s, lit* begin, lit* end) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~~^~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:49: warning: unused parameter 'end' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 2415 | bool solver_solve(solver* s, lit* begin, lit* end) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~~^~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: At top level: [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1827:14: warning: 'solver_resolve_conflict_bjcbj' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1827 | static lbool solver_resolve_conflict_bjcbj(solver *s, clause *confl) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1681:14: warning: 'solver_resolve_conflict_bt' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1681 | static lbool solver_resolve_conflict_bt(solver *s, clause *confl) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:819:13: warning: 'solver_refreshobdd' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 819 | static void solver_refreshobdd(solver *s) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:179:13: warning: 'solver_printgencls' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 179 | static void solver_printgencls(solver *s) // for debug [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:155:13: warning: 'solver_printtrail' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 155 | static void solver_printtrail(solver *s){ [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:51:13: warning: 'printlits' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 51 | static void printlits(lit* begin, lit* end) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_initialize': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:67:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 67 | for (int i = 0; i < fn_max_y; i++) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:77:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 77 | for (int i = 0; i < vecs_max_y; i++) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_finalize': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:97:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 97 | for (int i = 0; i < fn_max_y; i++) { [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:109:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 109 | for (int i = 0; i < vecs_max_y; i++) { [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.59s [INFO] running `Command { std: "docker" "inspect" "6d2b7d35717353127223bd86be75ad390e8bc83b841cfae70bcbca73bdf46bac", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6d2b7d35717353127223bd86be75ad390e8bc83b841cfae70bcbca73bdf46bac", kill_on_drop: false }` [INFO] [stdout] 6d2b7d35717353127223bd86be75ad390e8bc83b841cfae70bcbca73bdf46bac [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:cfa559dde23f44738f9990739aaa3487d8df3af37eb5df0572f7cf76004a604a" "/opt/rustwide/cargo-home/bin/cargo" "+8da20828b6ea601dfd8e2448cb50ace88876bd78" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d7dd39369b812f4600dda2d908dbb4f67669cc95cc7c352e8dd718d8bcc9be85 [INFO] running `Command { std: "docker" "start" "-a" "d7dd39369b812f4600dda2d908dbb4f67669cc95cc7c352e8dd718d8bcc9be85", kill_on_drop: false }` [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'check': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:49:30: warning: unused parameter 'expr' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 49 | static inline void check(int expr) { assert(expr); } [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~^~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_activity': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:102:71: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 102 | static inline float clause_activity (clause* c) { return *((float*)&c->lits[c->size_learnt>>1]); } [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_setactivity': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:103:64: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 103 | static inline void clause_setactivity(clause* c, float a) { *((float*)&c->lits[c->size_learnt>>1]) = a; } [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_printstatus': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:287:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 287 | printf("\t%ju", s->stats.conflicts); [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~^ ~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: | | | [INFO] [stderr] warning: bddminisat-sys@0.1.0: | | uint64 {aka long long unsigned int} [INFO] [stderr] warning: bddminisat-sys@0.1.0: | long unsigned int [INFO] [stderr] warning: bddminisat-sys@0.1.0: | %llu [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:288:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 288 | printf("\t%ju", s->stats.propagations); [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~^ ~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: | | | [INFO] [stderr] warning: bddminisat-sys@0.1.0: | | uint64 {aka long long unsigned int} [INFO] [stderr] warning: bddminisat-sys@0.1.0: | long unsigned int [INFO] [stderr] warning: bddminisat-sys@0.1.0: | %llu [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'order_assigned': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:43: warning: unused parameter 's' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 328 | static inline void order_assigned(solver* s, int v) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~~~~~^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:50: warning: unused parameter 'v' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 328 | static inline void order_assigned(solver* s, int v) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_new': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:473:11: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 473 | *((float*)&c->lits[size]) = 0.0; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~^~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_backtrack': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1678:1: warning: no return statement in function returning non-void [-Wreturn-type] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1678 | } [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_resolve_conflict_cbj': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1764:17: warning: unused variable 'p' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1764 | lit p = solver_backtrack(s,solver_dlevel(s)); [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1810:25: warning: unused variable 'p' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1810 | lit p = solver_backtrack(s, highest); [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_search': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1866:13: warning: unused variable 'sublevels' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1866 | int* sublevels = s->sublevels; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1865:13: warning: unused variable 'levels' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1865 | int* levels = s->levels; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1863:43: warning: unused parameter 'nof_conflicts' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1863 | static lbool solver_search(solver* s, int nof_conflicts, int nof_learnts) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~^~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_solve': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2421:13: warning: unused variable 'i' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 2421 | lit* i; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2420:13: warning: unused variable 'values' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 2420 | lbool* values = s->assigns; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:37: warning: unused parameter 'begin' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 2415 | bool solver_solve(solver* s, lit* begin, lit* end) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~~^~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:49: warning: unused parameter 'end' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 2415 | bool solver_solve(solver* s, lit* begin, lit* end) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~~^~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: At top level: [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1827:14: warning: 'solver_resolve_conflict_bjcbj' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1827 | static lbool solver_resolve_conflict_bjcbj(solver *s, clause *confl) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1681:14: warning: 'solver_resolve_conflict_bt' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1681 | static lbool solver_resolve_conflict_bt(solver *s, clause *confl) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:819:13: warning: 'solver_refreshobdd' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 819 | static void solver_refreshobdd(solver *s) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:179:13: warning: 'solver_printgencls' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 179 | static void solver_printgencls(solver *s) // for debug [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:155:13: warning: 'solver_printtrail' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 155 | static void solver_printtrail(solver *s){ [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:51:13: warning: 'printlits' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 51 | static void printlits(lit* begin, lit* end) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_initialize': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:67:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 67 | for (int i = 0; i < fn_max_y; i++) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:77:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 77 | for (int i = 0; i < vecs_max_y; i++) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_finalize': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:97:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 97 | for (int i = 0; i < fn_max_y; i++) { [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:109:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 109 | for (int i = 0; i < vecs_max_y; i++) { [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] Compiling bddminisat-sys v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.54s [INFO] running `Command { std: "docker" "inspect" "d7dd39369b812f4600dda2d908dbb4f67669cc95cc7c352e8dd718d8bcc9be85", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d7dd39369b812f4600dda2d908dbb4f67669cc95cc7c352e8dd718d8bcc9be85", kill_on_drop: false }` [INFO] [stdout] d7dd39369b812f4600dda2d908dbb4f67669cc95cc7c352e8dd718d8bcc9be85 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:cfa559dde23f44738f9990739aaa3487d8df3af37eb5df0572f7cf76004a604a" "/opt/rustwide/cargo-home/bin/cargo" "+8da20828b6ea601dfd8e2448cb50ace88876bd78" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] a42f859d6dc3a93d41eda3c29e0ced7ca51fe188b3d6ef1c788092d3f9d6bfdb [INFO] running `Command { std: "docker" "start" "-a" "a42f859d6dc3a93d41eda3c29e0ced7ca51fe188b3d6ef1c788092d3f9d6bfdb", kill_on_drop: false }` [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'check': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:49:30: warning: unused parameter 'expr' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 49 | static inline void check(int expr) { assert(expr); } [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~^~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_activity': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:102:71: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 102 | static inline float clause_activity (clause* c) { return *((float*)&c->lits[c->size_learnt>>1]); } [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_setactivity': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:103:64: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 103 | static inline void clause_setactivity(clause* c, float a) { *((float*)&c->lits[c->size_learnt>>1]) = a; } [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_printstatus': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:287:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 287 | printf("\t%ju", s->stats.conflicts); [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~^ ~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: | | | [INFO] [stderr] warning: bddminisat-sys@0.1.0: | | uint64 {aka long long unsigned int} [INFO] [stderr] warning: bddminisat-sys@0.1.0: | long unsigned int [INFO] [stderr] warning: bddminisat-sys@0.1.0: | %llu [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:288:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 288 | printf("\t%ju", s->stats.propagations); [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~^ ~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: | | | [INFO] [stderr] warning: bddminisat-sys@0.1.0: | | uint64 {aka long long unsigned int} [INFO] [stderr] warning: bddminisat-sys@0.1.0: | long unsigned int [INFO] [stderr] warning: bddminisat-sys@0.1.0: | %llu [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'order_assigned': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:43: warning: unused parameter 's' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 328 | static inline void order_assigned(solver* s, int v) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~~~~~^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:50: warning: unused parameter 'v' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 328 | static inline void order_assigned(solver* s, int v) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_new': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:473:11: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 473 | *((float*)&c->lits[size]) = 0.0; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~^~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_backtrack': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1678:1: warning: no return statement in function returning non-void [-Wreturn-type] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1678 | } [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_resolve_conflict_cbj': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1764:17: warning: unused variable 'p' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1764 | lit p = solver_backtrack(s,solver_dlevel(s)); [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1810:25: warning: unused variable 'p' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1810 | lit p = solver_backtrack(s, highest); [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_search': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1866:13: warning: unused variable 'sublevels' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1866 | int* sublevels = s->sublevels; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1865:13: warning: unused variable 'levels' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1865 | int* levels = s->levels; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1863:43: warning: unused parameter 'nof_conflicts' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1863 | static lbool solver_search(solver* s, int nof_conflicts, int nof_learnts) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~^~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_solve': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2421:13: warning: unused variable 'i' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 2421 | lit* i; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2420:13: warning: unused variable 'values' [-Wunused-variable] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 2420 | lbool* values = s->assigns; [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:37: warning: unused parameter 'begin' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 2415 | bool solver_solve(solver* s, lit* begin, lit* end) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~~^~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:49: warning: unused parameter 'end' [-Wunused-parameter] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 2415 | bool solver_solve(solver* s, lit* begin, lit* end) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ~~~~~^~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: At top level: [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1827:14: warning: 'solver_resolve_conflict_bjcbj' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1827 | static lbool solver_resolve_conflict_bjcbj(solver *s, clause *confl) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1681:14: warning: 'solver_resolve_conflict_bt' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 1681 | static lbool solver_resolve_conflict_bt(solver *s, clause *confl) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:819:13: warning: 'solver_refreshobdd' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 819 | static void solver_refreshobdd(solver *s) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:179:13: warning: 'solver_printgencls' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 179 | static void solver_printgencls(solver *s) // for debug [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:155:13: warning: 'solver_printtrail' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 155 | static void solver_printtrail(solver *s){ [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:51:13: warning: 'printlits' defined but not used [-Wunused-function] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 51 | static void printlits(lit* begin, lit* end) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^~~~~~~~~ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_initialize': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:67:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 67 | for (int i = 0; i < fn_max_y; i++) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:77:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 77 | for (int i = 0; i < vecs_max_y; i++) [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_finalize': [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:97:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 97 | for (int i = 0; i < fn_max_y; i++) { [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:109:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: bddminisat-sys@0.1.0: 109 | for (int i = 0; i < vecs_max_y; i++) { [INFO] [stderr] warning: bddminisat-sys@0.1.0: | ^ [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/bddminisat_sys-d2bd4e36e3ab2359) [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stderr] double free or corruption (out) [INFO] [stderr] error: test failed, to rerun pass `--lib` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/deps/bddminisat_sys-d2bd4e36e3ab2359` (signal: 6, SIGABRT: process abort signal) [INFO] running `Command { std: "docker" "inspect" "a42f859d6dc3a93d41eda3c29e0ced7ca51fe188b3d6ef1c788092d3f9d6bfdb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a42f859d6dc3a93d41eda3c29e0ced7ca51fe188b3d6ef1c788092d3f9d6bfdb", kill_on_drop: false }` [INFO] [stdout] a42f859d6dc3a93d41eda3c29e0ced7ca51fe188b3d6ef1c788092d3f9d6bfdb