[INFO] fetching crate bddminisat-sys 0.1.0... [INFO] testing bddminisat-sys-0.1.0 against master#d933cf483edf1605142ac6899ff32536c0ad8b22 for pr-150933 [INFO] extracting crate bddminisat-sys 0.1.0 into /workspace/builds/worker-5-tc1/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-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate bddminisat-sys 0.1.0 on toolchain d933cf483edf1605142ac6899ff32536c0ad8b22 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d933cf483edf1605142ac6899ff32536c0ad8b22" "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" "+d933cf483edf1605142ac6899ff32536c0ad8b22" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:cfa559dde23f44738f9990739aaa3487d8df3af37eb5df0572f7cf76004a604a" "/opt/rustwide/cargo-home/bin/cargo" "+d933cf483edf1605142ac6899ff32536c0ad8b22" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2cd4d166c21a083af10cd4c87020abd3bb37a5ca913200c917e82e802a545460 [INFO] running `Command { std: "docker" "start" "-a" "2cd4d166c21a083af10cd4c87020abd3bb37a5ca913200c917e82e802a545460", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2cd4d166c21a083af10cd4c87020abd3bb37a5ca913200c917e82e802a545460", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2cd4d166c21a083af10cd4c87020abd3bb37a5ca913200c917e82e802a545460", kill_on_drop: false }` [INFO] [stdout] 2cd4d166c21a083af10cd4c87020abd3bb37a5ca913200c917e82e802a545460 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:cfa559dde23f44738f9990739aaa3487d8df3af37eb5df0572f7cf76004a604a" "/opt/rustwide/cargo-home/bin/cargo" "+d933cf483edf1605142ac6899ff32536c0ad8b22" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 16bb8e0e85e18398df08199d2b15f19e68d2c1adaaba29df0914558d60bc1b62 [INFO] running `Command { std: "docker" "start" "-a" "16bb8e0e85e18398df08199d2b15f19e68d2c1adaaba29df0914558d60bc1b62", 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 3.95s [INFO] running `Command { std: "docker" "inspect" "16bb8e0e85e18398df08199d2b15f19e68d2c1adaaba29df0914558d60bc1b62", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "16bb8e0e85e18398df08199d2b15f19e68d2c1adaaba29df0914558d60bc1b62", kill_on_drop: false }` [INFO] [stdout] 16bb8e0e85e18398df08199d2b15f19e68d2c1adaaba29df0914558d60bc1b62 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:cfa559dde23f44738f9990739aaa3487d8df3af37eb5df0572f7cf76004a604a" "/opt/rustwide/cargo-home/bin/cargo" "+d933cf483edf1605142ac6899ff32536c0ad8b22" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 1a3ba9267adafdde9dc85ec8124e95d44d1871da67cbd7b09ab2b40e4243a5f9 [INFO] running `Command { std: "docker" "start" "-a" "1a3ba9267adafdde9dc85ec8124e95d44d1871da67cbd7b09ab2b40e4243a5f9", 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.45s [INFO] running `Command { std: "docker" "inspect" "1a3ba9267adafdde9dc85ec8124e95d44d1871da67cbd7b09ab2b40e4243a5f9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1a3ba9267adafdde9dc85ec8124e95d44d1871da67cbd7b09ab2b40e4243a5f9", kill_on_drop: false }` [INFO] [stdout] 1a3ba9267adafdde9dc85ec8124e95d44d1871da67cbd7b09ab2b40e4243a5f9 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:cfa559dde23f44738f9990739aaa3487d8df3af37eb5df0572f7cf76004a604a" "/opt/rustwide/cargo-home/bin/cargo" "+d933cf483edf1605142ac6899ff32536c0ad8b22" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] fc17d23521c91a5f6d3d07e1e6df7a640e46d1c700a15f8edda96911a48f884a [INFO] running `Command { std: "docker" "start" "-a" "fc17d23521c91a5f6d3d07e1e6df7a640e46d1c700a15f8edda96911a48f884a", 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.02s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/bddminisat_sys-d2bd4e36e3ab2359) [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test tests::test_solver_basic ... ok [INFO] [stdout] test tests::test_literal_operations ... ok [INFO] [stdout] test tests::test_simple_sat ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Doc-tests bddminisat_sys [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test src/lib.rs - (line 85) - compile ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "fc17d23521c91a5f6d3d07e1e6df7a640e46d1c700a15f8edda96911a48f884a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fc17d23521c91a5f6d3d07e1e6df7a640e46d1c700a15f8edda96911a48f884a", kill_on_drop: false }` [INFO] [stdout] fc17d23521c91a5f6d3d07e1e6df7a640e46d1c700a15f8edda96911a48f884a