[INFO] cloning repository https://github.com/ingo-budde/phasar-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ingo-budde/phasar-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fingo-budde%2Fphasar-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fingo-budde%2Fphasar-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 0410bbcba57c46a072fc28c51dabb469d994fec6
[INFO] checking ingo-budde/phasar-rs against 1.95.0 for pr-155915
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fingo-budde%2Fphasar-rs" "/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/ingo-budde/phasar-rs
[INFO] finished tweaking git repo https://github.com/ingo-budde/phasar-rs
[INFO] tweaked toml for git repo https://github.com/ingo-budde/phasar-rs written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ingo-budde/phasar-rs on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/ingo-budde/phasar-rs 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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded clap_derive v4.0.21
[INFO] [stderr]   Downloaded simplelog v0.12.0
[INFO] [stderr]   Downloaded clap v4.0.22
[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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cfe44bf2f4f01d058bd4371b80d984c165b7aa57ef8ad8f1f6a1391fff6483f6
[INFO] running `Command { std: "docker" "start" "-a" "cfe44bf2f4f01d058bd4371b80d984c165b7aa57ef8ad8f1f6a1391fff6483f6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cfe44bf2f4f01d058bd4371b80d984c165b7aa57ef8ad8f1f6a1391fff6483f6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cfe44bf2f4f01d058bd4371b80d984c165b7aa57ef8ad8f1f6a1391fff6483f6", kill_on_drop: false }`
[INFO] [stdout] cfe44bf2f4f01d058bd4371b80d984c165b7aa57ef8ad8f1f6a1391fff6483f6
[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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3fa236aedae5c8be7e0cc59e803f4779407808ea3af13c5dc9b9a321b3dac49f
[INFO] running `Command { std: "docker" "start" "-a" "3fa236aedae5c8be7e0cc59e803f4779407808ea3af13c5dc9b9a321b3dac49f", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.47
[INFO] [stderr]    Compiling libc v0.2.137
[INFO] [stderr]    Compiling quote v1.0.21
[INFO] [stderr]    Compiling unicode-ident v1.0.5
[INFO] [stderr]    Compiling syn v1.0.103
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling time-macros v0.2.6
[INFO] [stderr]     Checking os_str_bytes v6.3.1
[INFO] [stderr]     Checking num_threads v0.1.6
[INFO] [stderr]     Checking itoa v1.0.4
[INFO] [stderr]     Checking clap_lex v0.3.0
[INFO] [stderr]     Checking time v0.3.17
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking clap v4.0.22
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]     Checking simplelog v0.12.0
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling clap_derive v4.0.21
[INFO] [stderr]     Checking phasar-rs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/main.rs:357:16
[INFO] [stdout]     |
[INFO] [stdout] 357 |         Source(SourceStmt),
[INFO] [stdout]     |         ------ ^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         field in this variant
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Statement` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 357 -         Source(SourceStmt),
[INFO] [stdout] 357 +         Source(()),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/main.rs:358:16
[INFO] [stdout]     |
[INFO] [stdout] 358 |         Assign(AssignStmt),
[INFO] [stdout]     |         ------ ^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         field in this variant
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Statement` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 358 -         Assign(AssignStmt),
[INFO] [stdout] 358 +         Assign(()),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/main.rs:359:14
[INFO] [stdout]     |
[INFO] [stdout] 359 |         Sink(SinkStmt),
[INFO] [stdout]     |         ---- ^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         field in this variant
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Statement` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 359 -         Sink(SinkStmt),
[INFO] [stdout] 359 +         Sink(()),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `SetConstant`, `Call`, and `Return` are never constructed
[INFO] [stdout]    --> src/main.rs:360:9
[INFO] [stdout]     |
[INFO] [stdout] 356 |     pub enum Statement {
[INFO] [stdout]     |              --------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 360 |         SetConstant(SetConstantStmt),
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 361 |         Call(CallStmt),
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 362 |         Return(ReturnStmt),
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Statement` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `tainting_var` is never read
[INFO] [stdout]    --> src/main.rs:369:13
[INFO] [stdout]     |
[INFO] [stdout] 368 |     pub struct SourceStmt {
[INFO] [stdout]     |                ---------- field in this struct
[INFO] [stdout] 369 |         pub tainting_var: VariableId,
[INFO] [stdout]     |             ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `SourceStmt` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `lhs` and `rhs` are never read
[INFO] [stdout]    --> src/main.rs:373:13
[INFO] [stdout]     |
[INFO] [stdout] 372 |     pub struct AssignStmt {
[INFO] [stdout]     |                ---------- fields in this struct
[INFO] [stdout] 373 |         pub lhs: VariableId,
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 374 |         pub rhs: VariableId,
[INFO] [stdout]     |             ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `AssignStmt` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `relevant_var` is never read
[INFO] [stdout]    --> src/main.rs:378:13
[INFO] [stdout]     |
[INFO] [stdout] 377 |     pub struct SinkStmt {
[INFO] [stdout]     |                -------- field in this struct
[INFO] [stdout] 378 |         pub relevant_var: VariableId
[INFO] [stdout]     |             ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `SinkStmt` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `lhs` and `rhs` are never read
[INFO] [stdout]    --> src/main.rs:382:13
[INFO] [stdout]     |
[INFO] [stdout] 381 |     pub struct SetConstantStmt {
[INFO] [stdout]     |                --------------- fields in this struct
[INFO] [stdout] 382 |         pub lhs: VariableId,
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 383 |         pub rhs: DummyConcreteValue,
[INFO] [stdout]     |             ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `SetConstantStmt` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `return_var` and `arguments` are never read
[INFO] [stdout]    --> src/main.rs:387:13
[INFO] [stdout]     |
[INFO] [stdout] 386 |     pub struct CallStmt {
[INFO] [stdout]     |                -------- fields in this struct
[INFO] [stdout] 387 |         pub return_var: Option<VariableId>,
[INFO] [stdout]     |             ^^^^^^^^^^
[INFO] [stdout] 388 |         pub arguments: Vec<Option<VariableId>>,
[INFO] [stdout]     |             ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CallStmt` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `return_value` is never read
[INFO] [stdout]    --> src/main.rs:393:13
[INFO] [stdout]     |
[INFO] [stdout] 392 |     pub struct ReturnStmt {
[INFO] [stdout]     |                ---------- field in this struct
[INFO] [stdout] 393 |         pub return_value: Option<VariableId>,
[INFO] [stdout]     |             ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ReturnStmt` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/main.rs:357:16
[INFO] [stdout]     |
[INFO] [stdout] 357 |         Source(SourceStmt),
[INFO] [stdout]     |         ------ ^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         field in this variant
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Statement` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 357 -         Source(SourceStmt),
[INFO] [stdout] 357 +         Source(()),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/main.rs:358:16
[INFO] [stdout]     |
[INFO] [stdout] 358 |         Assign(AssignStmt),
[INFO] [stdout]     |         ------ ^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         field in this variant
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Statement` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 358 -         Assign(AssignStmt),
[INFO] [stdout] 358 +         Assign(()),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/main.rs:359:14
[INFO] [stdout]     |
[INFO] [stdout] 359 |         Sink(SinkStmt),
[INFO] [stdout]     |         ---- ^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         field in this variant
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Statement` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 359 -         Sink(SinkStmt),
[INFO] [stdout] 359 +         Sink(()),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `SetConstant`, `Call`, and `Return` are never constructed
[INFO] [stdout]    --> src/main.rs:360:9
[INFO] [stdout]     |
[INFO] [stdout] 356 |     pub enum Statement {
[INFO] [stdout]     |              --------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 360 |         SetConstant(SetConstantStmt),
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 361 |         Call(CallStmt),
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 362 |         Return(ReturnStmt),
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Statement` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `tainting_var` is never read
[INFO] [stdout]    --> src/main.rs:369:13
[INFO] [stdout]     |
[INFO] [stdout] 368 |     pub struct SourceStmt {
[INFO] [stdout]     |                ---------- field in this struct
[INFO] [stdout] 369 |         pub tainting_var: VariableId,
[INFO] [stdout]     |             ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `SourceStmt` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `lhs` and `rhs` are never read
[INFO] [stdout]    --> src/main.rs:373:13
[INFO] [stdout]     |
[INFO] [stdout] 372 |     pub struct AssignStmt {
[INFO] [stdout]     |                ---------- fields in this struct
[INFO] [stdout] 373 |         pub lhs: VariableId,
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 374 |         pub rhs: VariableId,
[INFO] [stdout]     |             ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `AssignStmt` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `relevant_var` is never read
[INFO] [stdout]    --> src/main.rs:378:13
[INFO] [stdout]     |
[INFO] [stdout] 377 |     pub struct SinkStmt {
[INFO] [stdout]     |                -------- field in this struct
[INFO] [stdout] 378 |         pub relevant_var: VariableId
[INFO] [stdout]     |             ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `SinkStmt` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `lhs` and `rhs` are never read
[INFO] [stdout]    --> src/main.rs:382:13
[INFO] [stdout]     |
[INFO] [stdout] 381 |     pub struct SetConstantStmt {
[INFO] [stdout]     |                --------------- fields in this struct
[INFO] [stdout] 382 |         pub lhs: VariableId,
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 383 |         pub rhs: DummyConcreteValue,
[INFO] [stdout]     |             ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `SetConstantStmt` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `return_var` and `arguments` are never read
[INFO] [stdout]    --> src/main.rs:387:13
[INFO] [stdout]     |
[INFO] [stdout] 386 |     pub struct CallStmt {
[INFO] [stdout]     |                -------- fields in this struct
[INFO] [stdout] 387 |         pub return_var: Option<VariableId>,
[INFO] [stdout]     |             ^^^^^^^^^^
[INFO] [stdout] 388 |         pub arguments: Vec<Option<VariableId>>,
[INFO] [stdout]     |             ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CallStmt` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `return_value` is never read
[INFO] [stdout]    --> src/main.rs:393:13
[INFO] [stdout]     |
[INFO] [stdout] 392 |     pub struct ReturnStmt {
[INFO] [stdout]     |                ---------- field in this struct
[INFO] [stdout] 393 |         pub return_value: Option<VariableId>,
[INFO] [stdout]     |             ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ReturnStmt` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 12.77s
[INFO] running `Command { std: "docker" "inspect" "3fa236aedae5c8be7e0cc59e803f4779407808ea3af13c5dc9b9a321b3dac49f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3fa236aedae5c8be7e0cc59e803f4779407808ea3af13c5dc9b9a321b3dac49f", kill_on_drop: false }`
[INFO] [stdout] 3fa236aedae5c8be7e0cc59e803f4779407808ea3af13c5dc9b9a321b3dac49f
