[INFO] cloning repository https://github.com/binsec/popcon [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/binsec/popcon" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbinsec%2Fpopcon", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbinsec%2Fpopcon'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] bac644bb9efea2787a542247ffff21015c5688f3 [INFO] checking binsec/popcon against master#642c19bfc3a5c1de985bf5d0cc8207ac9d22708a for pr-148577 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbinsec%2Fpopcon" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/binsec/popcon [INFO] finished tweaking git repo https://github.com/binsec/popcon [INFO] tweaked toml for git repo https://github.com/binsec/popcon written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/binsec/popcon on toolchain 642c19bfc3a5c1de985bf5d0cc8207ac9d22708a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/binsec/popcon 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" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded varisat-formula v0.2.2 [INFO] [stderr] Downloaded pomelo v0.1.5 [INFO] [stderr] Downloaded timer v0.2.0 [INFO] [stderr] Downloaded tracing-tracy v0.7.0 [INFO] [stderr] Downloaded tracy-client v0.12.5 [INFO] [stderr] Downloaded varisat-dimacs v0.2.2 [INFO] [stderr] Downloaded aiger v0.2.0 [INFO] [stderr] Downloaded fixedbitset v0.3.2 [INFO] [stderr] Downloaded pomelo-impl v0.1.5 [INFO] [stderr] Downloaded prctl v1.0.0 [INFO] [stderr] Downloaded fixedbitset v0.4.0 [INFO] [stderr] Downloaded tracy-client-sys v0.16.0 [INFO] [stderr] Downloaded petgraph v0.6.0 [INFO] [stderr] Downloaded nix v0.22.2 [INFO] [stderr] Downloaded smt2parser v0.1.0 [INFO] [stderr] Downloaded nc v0.7.10 [INFO] [stderr] Downloaded nix v0.20.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d9cbf3fa38abe6f9aa87b8e6a3c6e196d0d5715292ac8f2520659d1b368f2303 [INFO] running `Command { std: "docker" "start" "-a" "d9cbf3fa38abe6f9aa87b8e6a3c6e196d0d5715292ac8f2520659d1b368f2303", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d9cbf3fa38abe6f9aa87b8e6a3c6e196d0d5715292ac8f2520659d1b368f2303", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d9cbf3fa38abe6f9aa87b8e6a3c6e196d0d5715292ac8f2520659d1b368f2303", kill_on_drop: false }` [INFO] [stdout] d9cbf3fa38abe6f9aa87b8e6a3c6e196d0d5715292ac8f2520659d1b368f2303 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e935e075e43e239443aa994d0254fb41474f6c7f22cd149c22af2757a8689916 [INFO] running `Command { std: "docker" "start" "-a" "e935e075e43e239443aa994d0254fb41474f6c7f22cd149c22af2757a8689916", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.30 [INFO] [stderr] Compiling libc v0.2.103 [INFO] [stderr] Compiling syn v1.0.80 [INFO] [stderr] Compiling memoffset v0.6.4 [INFO] [stderr] Compiling num-bigint v0.3.3 [INFO] [stderr] Compiling num-rational v0.3.2 [INFO] [stderr] Compiling num-iter v0.1.42 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling indexmap v1.7.0 [INFO] [stderr] Compiling num-bigint v0.4.2 [INFO] [stderr] Checking ansi_term v0.11.0 [INFO] [stderr] Checking ppv-lite86 v0.2.14 [INFO] [stderr] Compiling serde_json v1.0.68 [INFO] [stderr] Compiling memchr v2.3.4 [INFO] [stderr] Compiling fst v0.4.7 [INFO] [stderr] Compiling anyhow v1.0.44 [INFO] [stderr] Compiling nc v0.7.10 [INFO] [stderr] Checking num-complex v0.3.1 [INFO] [stderr] Compiling num-rational v0.4.0 [INFO] [stderr] Checking once_cell v1.8.0 [INFO] [stderr] Checking thread_local v1.1.3 [INFO] [stderr] Checking tracing-log v0.1.2 [INFO] [stderr] Checking regex v1.5.4 [INFO] [stderr] Checking varisat-formula v0.2.2 [INFO] [stderr] Checking smallvec v1.7.0 [INFO] [stderr] Checking fixedbitset v0.4.0 [INFO] [stderr] Checking aiger v0.2.0 [INFO] [stderr] Checking nom v7.1.1 [INFO] [stderr] Checking fixedbitset v0.3.2 [INFO] [stderr] Checking petgraph v0.6.0 [INFO] [stderr] Compiling quote v1.0.10 [INFO] [stderr] Checking getrandom v0.2.3 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking time v0.1.43 [INFO] [stderr] Checking nix v0.22.2 [INFO] [stderr] Checking nix v0.20.2 [INFO] [stderr] Checking clap v2.33.3 [INFO] [stderr] Checking rand_core v0.6.3 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking chrono v0.4.19 [INFO] [stderr] Checking rand v0.8.4 [INFO] [stderr] Checking num v0.3.1 [INFO] [stderr] Checking tempfile v3.2.0 [INFO] [stderr] Checking timer v0.2.0 [INFO] [stderr] Checking prctl v1.0.0 [INFO] [stderr] Compiling serde_derive v1.0.130 [INFO] [stderr] Compiling thiserror-impl v1.0.30 [INFO] [stderr] Compiling pomelo-impl v0.1.5 [INFO] [stderr] Compiling tracing-attributes v0.1.18 [INFO] [stderr] Compiling structopt-derive v0.4.16 [INFO] [stderr] Checking tracing v0.1.29 [INFO] [stderr] Checking thiserror v1.0.30 [INFO] [stderr] Checking varisat-dimacs v0.2.2 [INFO] [stderr] Checking structopt v0.3.23 [INFO] [stderr] Checking pomelo v0.1.5 [INFO] [stderr] Checking smt2parser v0.1.0 [INFO] [stderr] Checking serde v1.0.130 [INFO] [stderr] Checking tracing-serde v0.1.2 [INFO] [stderr] Checking tracing-subscriber v0.2.25 [INFO] [stderr] Checking popcon v0.1.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/bb.rs:401:27 [INFO] [stdout] | [INFO] [stdout] 401 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 more [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/bb.rs:401:27 [INFO] [stdout] | [INFO] [stdout] 401 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 more [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/bb.rs:700:19 [INFO] [stdout] | [INFO] [stdout] 700 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/ddnnf.rs:1109:31 [INFO] [stdout] | [INFO] [stdout] 1109 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `bigunsigned` [INFO] [stdout] --> src/baxmc.rs:104:44 [INFO] [stdout] | [INFO] [stdout] 104 | use crate::ddnnf::parser::{signed, bigunsigned}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/bb.rs:700:19 [INFO] [stdout] | [INFO] [stdout] 700 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/ddnnf.rs:1109:31 [INFO] [stdout] | [INFO] [stdout] 1109 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `bigunsigned` [INFO] [stdout] --> src/baxmc.rs:104:44 [INFO] [stdout] | [INFO] [stdout] 104 | use crate::ddnnf::parser::{signed, bigunsigned}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bigunsigned` is never used [INFO] [stdout] --> src/ddnnf.rs:1383:19 [INFO] [stdout] | [INFO] [stdout] 1383 | pub(crate) fn bigunsigned>( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bigunsigned` is never used [INFO] [stdout] --> src/ddnnf.rs:1383:19 [INFO] [stdout] | [INFO] [stdout] 1383 | pub(crate) fn bigunsigned>( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 27.40s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nc v0.7.10 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 6` [INFO] running `Command { std: "docker" "inspect" "e935e075e43e239443aa994d0254fb41474f6c7f22cd149c22af2757a8689916", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e935e075e43e239443aa994d0254fb41474f6c7f22cd149c22af2757a8689916", kill_on_drop: false }` [INFO] [stdout] e935e075e43e239443aa994d0254fb41474f6c7f22cd149c22af2757a8689916