[INFO] cloning repository https://github.com/jetafese/winch [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jetafese/winch" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjetafese%2Fwinch", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjetafese%2Fwinch'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 5045e553dd9bf4b6d2864932790037972ad6f556 [INFO] testing jetafese/winch against beta-2025-09-21 for beta-1.91-3 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjetafese%2Fwinch" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-6-tc2/source/.cargo/config.toml [INFO] removed /workspace/builds/worker-6-tc2/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/jetafese/winch [INFO] finished tweaking git repo https://github.com/jetafese/winch [INFO] tweaked toml for git repo https://github.com/jetafese/winch written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/jetafese/winch on toolchain beta-2025-09-21 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/jetafese/winch 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" "+beta-2025-09-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 73af413b3fe37c6274164bee0dad31bf5652e2514962d30938445c1a40768d26 [INFO] running `Command { std: "docker" "start" "-a" "73af413b3fe37c6274164bee0dad31bf5652e2514962d30938445c1a40768d26", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "73af413b3fe37c6274164bee0dad31bf5652e2514962d30938445c1a40768d26", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "73af413b3fe37c6274164bee0dad31bf5652e2514962d30938445c1a40768d26", kill_on_drop: false }` [INFO] [stdout] 73af413b3fe37c6274164bee0dad31bf5652e2514962d30938445c1a40768d26 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 46ab3512df0b8ec9389c1c270d006d5fdbf8e39b69c651973fa5e48f7af558da [INFO] running `Command { std: "docker" "start" "-a" "46ab3512df0b8ec9389c1c270d006d5fdbf8e39b69c651973fa5e48f7af558da", kill_on_drop: false }` [INFO] [stderr] Compiling cc v1.2.13 [INFO] [stderr] Compiling libc v0.2.169 [INFO] [stderr] Compiling anyhow v1.0.95 [INFO] [stderr] Compiling winch-codegen v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling smallvec v1.14.0 [INFO] [stderr] Compiling no_std_io v0.5.3 [INFO] [stderr] Compiling libc-alloc v0.1.0 (/opt/rustwide/workdir/src/libc-alloc) [INFO] [stderr] Compiling seahorn-stubs v0.1.0 (/opt/rustwide/workdir/src/seahorn-stubs) [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel [INFO] [stdout] --> src/visit_setup.rs:6:1 [INFO] [stdout] | [INFO] [stdout] 6 | #![feature(default_alloc_error_handler)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove the attribute [INFO] [stdout] | [INFO] [stdout] = help: the feature `default_alloc_error_handler` has been stable since `1.68.0` and no longer requires an attribute to enable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel [INFO] [stdout] --> src/visit_setup.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | #![feature(lang_items)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `lang_items` is internal to the compiler or standard library [INFO] [stdout] --> src/visit_setup.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | #![feature(lang_items)] [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using it is strongly discouraged [INFO] [stdout] = note: `#[warn(internal_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `r10` [INFO] [stdout] --> src/isa/x64/abi.rs:1:25 [INFO] [stdout] | [INFO] [stdout] 1 | use super::regs::{self, r10}; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `anyhow` [INFO] [stdout] --> src/isa/x64/masm.rs:8:14 [INFO] [stdout] | [INFO] [stdout] 8 | use anyhow::{anyhow, bail, Error, Result}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::abi` [INFO] [stdout] --> src/codegen/context.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::abi; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::isa::x64` [INFO] [stdout] --> src/codegen/context.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::isa::x64; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ShiftKind` [INFO] [stdout] --> src/codegen/context.rs:12:59 [INFO] [stdout] | [INFO] [stdout] 12 | masm::{MacroAssembler, OperandSize, RegImm, SPOffset, ShiftKind, StackSlot}, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `isa::TargetIsa` [INFO] [stdout] --> src/codegen/env.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | isa::TargetIsa, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PtrSize` and `WasmHeapType` [INFO] [stdout] --> src/codegen/env.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | PtrSize, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 21 | VMOffsets, WasmHeapType, WasmValType, WasmFuncType [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `I32` and `I64` [INFO] [stdout] --> src/codegen/env.rs:332:42 [INFO] [stdout] | [INFO] [stdout] 332 | use crate::WasmValType::{I32, I64}; [INFO] [stdout] | ^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `no_resizeable_vec::NoResizableVec` [INFO] [stdout] --> src/codegen/call.rs:64:8 [INFO] [stdout] | [INFO] [stdout] 64 | }, no_resizeable_vec::NoResizableVec, stack::Val, writable, FuncEnv [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Result` [INFO] [stdout] --> src/no_resizeable_vec.rs:5:34 [INFO] [stdout] | [INFO] [stdout] 5 | use no_std_io::io::{Read, Write, Result}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `libc_alloc::LibcAlloc` [INFO] [stdout] --> src/no_resizeable_vec.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use libc_alloc::LibcAlloc; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cvt_no_resizable_vec` [INFO] [stdout] --> src/no_resizeable_vec.rs:367:9 [INFO] [stdout] | [INFO] [stdout] 367 | pub use cvt_no_resizable_vec; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Callee`, `FnCall`, and `FuncEnv` [INFO] [stdout] --> src/proof_core.rs:10:22 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::codegen::{Callee, CodeGenContext, FnCall, FuncEnv, Prologue}; [INFO] [stdout] | ^^^^^^ ^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Writable` and `ir::TrapCode` [INFO] [stdout] --> src/proof_core.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | use crate::cranelift_codegen::{ir::TrapCode, Writable}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DivKind`, `IntCmpKind`, `MacroAssembler`, `OperandSize`, and `RegImm` [INFO] [stdout] --> src/proof_core.rs:20:19 [INFO] [stdout] | [INFO] [stdout] 20 | use crate::masm::{DivKind, IntCmpKind, MacroAssembler, OperandSize, RegImm}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Reg`, `self`, and `writable` [INFO] [stdout] --> src/proof_core.rs:22:11 [INFO] [stdout] | [INFO] [stdout] 22 | reg::{self, writable, Reg}, [INFO] [stdout] | ^^^^ ^^^^^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::abi::ABI` [INFO] [stdout] --> src/proof_core.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 27 | use crate::abi::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::regalloc2::PReg` [INFO] [stdout] --> src/proof_core.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use crate::regalloc2::PReg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `assert`, `assume`, `nondet_i32`, `nondet_i64`, `nondet_u32`, and `nondet_u8` [INFO] [stdout] --> src/proof_core.rs:30:21 [INFO] [stdout] | [INFO] [stdout] 30 | use seahorn_stubs::{assert, assume, error, nondet_i32, nondet_i64, nondet_u32, nondet_u8}; [INFO] [stdout] | ^^^^^^ ^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `TypedReg` and `Val` [INFO] [stdout] --> src/proof_core.rs:32:27 [INFO] [stdout] | [INFO] [stdout] 32 | use crate::stack::{Stack, TypedReg, Val}; [INFO] [stdout] | ^^^^^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `*`, `FuncIndex`, and `WasmRefType` [INFO] [stdout] --> src/proof_core.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 35 | FuncIndex, VMOffsets, WasmFuncType, WasmRefType, [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] 36 | WasmValType::{self, *} [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DivKind`, `IntCmpKind`, and `OperandSize` [INFO] [stdout] --> src/visit_setup.rs:26:12 [INFO] [stdout] | [INFO] [stdout] 26 | use masm::{DivKind, IntCmpKind, MacroAssembler, OperandSize, RegImm}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `abi::X64ABI` and `regs` [INFO] [stdout] --> src/visit_setup.rs:27:45 [INFO] [stdout] | [INFO] [stdout] 27 | use isa::{reg::{self, writable, Reg}, x64::{abi::X64ABI, regs}}; [INFO] [stdout] | ^^^^^^^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::abi::ABI` [INFO] [stdout] --> src/visit_setup.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use crate::abi::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `regset::RegBitSet` [INFO] [stdout] --> src/visit_setup.rs:30:5 [INFO] [stdout] | [INFO] [stdout] 30 | use regset::RegBitSet; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `error`, `nondet_i64`, and `nondet_u32` [INFO] [stdout] --> src/visit_setup.rs:31:37 [INFO] [stdout] | [INFO] [stdout] 31 | use seahorn_stubs::{assert, assume, error, nondet_i32, nondet_i64, nondet_u32, nondet_u8}; [INFO] [stdout] | ^^^^^ ^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::no_resizeable_vec::NoResizableVec` [INFO] [stdout] --> src/visit_setup.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | use crate::no_resizeable_vec::NoResizableVec; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ALL_FPR`, `ALL_GPR`, `MAX_FPR`, `MAX_GPR`, `NON_ALLOCATABLE_FPR`, and `NON_ALLOCATABLE_GPR` [INFO] [stdout] --> src/visit_setup.rs:33:28 [INFO] [stdout] | [INFO] [stdout] 33 | use self::isa::x64::regs::{ALL_FPR, ALL_GPR, MAX_FPR, MAX_GPR, NON_ALLOCATABLE_FPR, NON_ALLOCATABLE_GPR}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ ^^^^^^^ ^^^^^^^ ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Stack`, `TypedReg`, and `Val` [INFO] [stdout] --> src/visit_setup.rs:34:13 [INFO] [stdout] | [INFO] [stdout] 34 | use stack::{Stack, TypedReg, Val}; [INFO] [stdout] | ^^^^^ ^^^^^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DefinedLocals` and `Frame` [INFO] [stdout] --> src/visit_setup.rs:35:13 [INFO] [stdout] | [INFO] [stdout] 35 | use frame::{DefinedLocals, Frame}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Callee`, `CodeGenContext`, `FnCall`, and `Prologue` [INFO] [stdout] --> src/visit_setup.rs:36:15 [INFO] [stdout] | [INFO] [stdout] 36 | use codegen::{Callee, CodeGenContext, FnCall, FuncEnv, Prologue}; [INFO] [stdout] | ^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `*`, `FuncIndex`, `VMOffsets`, `WasmFuncType`, and `WasmRefType` [INFO] [stdout] --> src/visit_setup.rs:37:24 [INFO] [stdout] | [INFO] [stdout] 37 | use wasmtime_environ::{FuncIndex, VMOffsets, WasmFuncType, WasmRefType, WasmValType::{self, *}}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^ ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `extern` declarations without an explicit ABI are deprecated [INFO] [stdout] --> src/visit_setup.rs:41:5 [INFO] [stdout] | [INFO] [stdout] 41 | pub extern fn main() -> i32 { [INFO] [stdout] | ^^^^^^ help: explicitly specify the "C" ABI: `extern "C"` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(missing_abi)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:3:1 [INFO] [stdout] | [INFO] [stdout] 3 | #![no_builtins] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:5:1 [INFO] [stdout] | [INFO] [stdout] 5 | #![no_main] [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:6:1 [INFO] [stdout] | [INFO] [stdout] 6 | #![feature(default_alloc_error_handler)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | #![feature(lang_items)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `default_alloc_error_handler` has been stable since 1.68.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/visit_setup.rs:6:12 [INFO] [stdout] | [INFO] [stdout] 6 | #![feature(default_alloc_error_handler)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `#[no_mangle]` cannot be used on internal language items [INFO] [stdout] --> src/proof_core.rs:41:1 [INFO] [stdout] | [INFO] [stdout] 41 | #[no_mangle] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 42 | pub fn panic(_panic: &PanicInfo<'_>) -> ! { [INFO] [stdout] | ----------------------------------------- should be the internal language item [INFO] [stdout] | [INFO] [stdout] = note: Rustc requires this item to have a specific mangled name. [INFO] [stdout] = note: If you are trying to prevent mangling to ease debugging, many [INFO] [stdout] = note: debuggers support a command such as `rbreak rust_begin_unwind` to [INFO] [stdout] = note: match `.*rust_begin_unwind.*` instead of `break rust_begin_unwind` on a specific name [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel [INFO] [stdout] --> src/visit_funcs.rs:6:1 [INFO] [stdout] | [INFO] [stdout] 6 | #![feature(default_alloc_error_handler)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove the attribute [INFO] [stdout] | [INFO] [stdout] = help: the feature `default_alloc_error_handler` has been stable since `1.68.0` and no longer requires an attribute to enable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel [INFO] [stdout] --> src/visit_funcs.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | #![feature(lang_items)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `lang_items` is internal to the compiler or standard library [INFO] [stdout] --> src/visit_funcs.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | #![feature(lang_items)] [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using it is strongly discouraged [INFO] [stdout] = note: `#[warn(internal_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `abi::wasm_sig` [INFO] [stdout] --> src/visit_funcs.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use abi::wasm_sig; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `CodeGenContext` and `Prologue` [INFO] [stdout] --> src/visit_funcs.rs:10:23 [INFO] [stdout] | [INFO] [stdout] 10 | use codegen::{Callee, CodeGenContext, FnCall, FuncEnv, Prologue}; [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `libc_alloc::LibcAlloc` [INFO] [stdout] --> src/visit_funcs.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use libc_alloc::LibcAlloc; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `r10` [INFO] [stdout] --> src/isa/x64/abi.rs:1:25 [INFO] [stdout] | [INFO] [stdout] 1 | use super::regs::{self, r10}; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `anyhow` [INFO] [stdout] --> src/isa/x64/masm.rs:8:14 [INFO] [stdout] | [INFO] [stdout] 8 | use anyhow::{anyhow, bail, Error, Result}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::abi` [INFO] [stdout] --> src/codegen/context.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::abi; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::isa::x64` [INFO] [stdout] --> src/codegen/context.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::isa::x64; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ShiftKind` [INFO] [stdout] --> src/codegen/context.rs:12:59 [INFO] [stdout] | [INFO] [stdout] 12 | masm::{MacroAssembler, OperandSize, RegImm, SPOffset, ShiftKind, StackSlot}, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `isa::TargetIsa` [INFO] [stdout] --> src/codegen/env.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | isa::TargetIsa, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PtrSize` and `WasmHeapType` [INFO] [stdout] --> src/codegen/env.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | PtrSize, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 21 | VMOffsets, WasmHeapType, WasmValType, WasmFuncType [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `I32` and `I64` [INFO] [stdout] --> src/codegen/env.rs:332:42 [INFO] [stdout] | [INFO] [stdout] 332 | use crate::WasmValType::{I32, I64}; [INFO] [stdout] | ^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `no_resizeable_vec::NoResizableVec` [INFO] [stdout] --> src/codegen/call.rs:64:8 [INFO] [stdout] | [INFO] [stdout] 64 | }, no_resizeable_vec::NoResizableVec, stack::Val, writable, FuncEnv [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Result` [INFO] [stdout] --> src/no_resizeable_vec.rs:5:34 [INFO] [stdout] | [INFO] [stdout] 5 | use no_std_io::io::{Read, Write, Result}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `libc_alloc::LibcAlloc` [INFO] [stdout] --> src/no_resizeable_vec.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use libc_alloc::LibcAlloc; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cvt_no_resizable_vec` [INFO] [stdout] --> src/no_resizeable_vec.rs:367:9 [INFO] [stdout] | [INFO] [stdout] 367 | pub use cvt_no_resizable_vec; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Callee`, `FnCall`, and `FuncEnv` [INFO] [stdout] --> src/proof_core.rs:10:22 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::codegen::{Callee, CodeGenContext, FnCall, FuncEnv, Prologue}; [INFO] [stdout] | ^^^^^^ ^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Writable` and `ir::TrapCode` [INFO] [stdout] --> src/proof_core.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | use crate::cranelift_codegen::{ir::TrapCode, Writable}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DivKind`, `IntCmpKind`, `MacroAssembler`, `OperandSize`, and `RegImm` [INFO] [stdout] --> src/proof_core.rs:20:19 [INFO] [stdout] | [INFO] [stdout] 20 | use crate::masm::{DivKind, IntCmpKind, MacroAssembler, OperandSize, RegImm}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Reg`, `self`, and `writable` [INFO] [stdout] --> src/proof_core.rs:22:11 [INFO] [stdout] | [INFO] [stdout] 22 | reg::{self, writable, Reg}, [INFO] [stdout] | ^^^^ ^^^^^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::abi::ABI` [INFO] [stdout] --> src/proof_core.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 27 | use crate::abi::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::regalloc2::PReg` [INFO] [stdout] --> src/proof_core.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use crate::regalloc2::PReg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `assert`, `assume`, `nondet_i32`, `nondet_i64`, `nondet_u32`, and `nondet_u8` [INFO] [stdout] --> src/proof_core.rs:30:21 [INFO] [stdout] | [INFO] [stdout] 30 | use seahorn_stubs::{assert, assume, error, nondet_i32, nondet_i64, nondet_u32, nondet_u8}; [INFO] [stdout] | ^^^^^^ ^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `TypedReg` and `Val` [INFO] [stdout] --> src/proof_core.rs:32:27 [INFO] [stdout] | [INFO] [stdout] 32 | use crate::stack::{Stack, TypedReg, Val}; [INFO] [stdout] | ^^^^^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `*`, `FuncIndex`, and `WasmRefType` [INFO] [stdout] --> src/proof_core.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 35 | FuncIndex, VMOffsets, WasmFuncType, WasmRefType, [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] 36 | WasmValType::{self, *} [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Writable` and `ir::TrapCode` [INFO] [stdout] --> src/visit_funcs.rs:29:25 [INFO] [stdout] | [INFO] [stdout] 29 | use cranelift_codegen::{ir::TrapCode, Writable}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DivKind`, `IntCmpKind`, `OperandSize`, and `RegImm` [INFO] [stdout] --> src/visit_funcs.rs:30:12 [INFO] [stdout] | [INFO] [stdout] 30 | use masm::{DivKind, IntCmpKind, MacroAssembler, OperandSize, RegImm}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `regalloc2::PReg` [INFO] [stdout] --> src/visit_funcs.rs:33:5 [INFO] [stdout] | [INFO] [stdout] 33 | use regalloc2::PReg; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `regset::RegBitSet` [INFO] [stdout] --> src/visit_funcs.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | use regset::RegBitSet; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `assume`, `error`, `nondet_i32`, and `nondet_i64` [INFO] [stdout] --> src/visit_funcs.rs:35:29 [INFO] [stdout] | [INFO] [stdout] 35 | use seahorn_stubs::{assert, assume, error, nondet_i32, nondet_i64, nondet_u32, nondet_u8}; [INFO] [stdout] | ^^^^^^ ^^^^^ ^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ALL_FPR`, `ALL_GPR`, `MAX_FPR`, `MAX_GPR`, `NON_ALLOCATABLE_FPR`, and `NON_ALLOCATABLE_GPR` [INFO] [stdout] --> src/visit_funcs.rs:37:28 [INFO] [stdout] | [INFO] [stdout] 37 | use self::isa::x64::regs::{ALL_FPR, ALL_GPR, MAX_FPR, MAX_GPR, NON_ALLOCATABLE_FPR, NON_ALLOCATABLE_GPR}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ ^^^^^^^ ^^^^^^^ ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Stack`, `TypedReg`, and `Val` [INFO] [stdout] --> src/visit_funcs.rs:38:13 [INFO] [stdout] | [INFO] [stdout] 38 | use stack::{Stack, TypedReg, Val}; [INFO] [stdout] | ^^^^^ ^^^^^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DefinedLocals` and `Frame` [INFO] [stdout] --> src/visit_funcs.rs:39:13 [INFO] [stdout] | [INFO] [stdout] 39 | use frame::{DefinedLocals, Frame}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `extern` declarations without an explicit ABI are deprecated [INFO] [stdout] --> src/visit_funcs.rs:44:5 [INFO] [stdout] | [INFO] [stdout] 44 | pub extern fn main() -> i32 { [INFO] [stdout] | ^^^^^^ help: explicitly specify the "C" ABI: `extern "C"` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(missing_abi)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:3:1 [INFO] [stdout] | [INFO] [stdout] 3 | #![no_builtins] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:5:1 [INFO] [stdout] | [INFO] [stdout] 5 | #![no_main] [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:6:1 [INFO] [stdout] | [INFO] [stdout] 6 | #![feature(default_alloc_error_handler)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | #![feature(lang_items)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `default_alloc_error_handler` has been stable since 1.68.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/visit_funcs.rs:6:12 [INFO] [stdout] | [INFO] [stdout] 6 | #![feature(default_alloc_error_handler)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `#![no_std]` attribute can only be used at the crate root [INFO] [stdout] --> src/proof_core.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | #![no_std] [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `#[no_mangle]` cannot be used on internal language items [INFO] [stdout] --> src/proof_core.rs:41:1 [INFO] [stdout] | [INFO] [stdout] 41 | #[no_mangle] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 42 | pub fn panic(_panic: &PanicInfo<'_>) -> ! { [INFO] [stdout] | ----------------------------------------- should be the internal language item [INFO] [stdout] | [INFO] [stdout] = note: Rustc requires this item to have a specific mangled name. [INFO] [stdout] = note: If you are trying to prevent mangling to ease debugging, many [INFO] [stdout] = note: debuggers support a command such as `rbreak rust_begin_unwind` to [INFO] [stdout] = note: match `.*rust_begin_unwind.*` instead of `break rust_begin_unwind` on a specific name [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `#![no_std]` attribute can only be used at the crate root [INFO] [stdout] --> src/proof_core.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | #![no_std] [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel [INFO] [stdout] --> src/visit_arith.rs:6:1 [INFO] [stdout] | [INFO] [stdout] 6 | #![feature(default_alloc_error_handler)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove the attribute [INFO] [stdout] | [INFO] [stdout] = help: the feature `default_alloc_error_handler` has been stable since `1.68.0` and no longer requires an attribute to enable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel [INFO] [stdout] --> src/visit_cmp_ops.rs:6:1 [INFO] [stdout] | [INFO] [stdout] 6 | #![feature(default_alloc_error_handler)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove the attribute [INFO] [stdout] | [INFO] [stdout] = help: the feature `default_alloc_error_handler` has been stable since `1.68.0` and no longer requires an attribute to enable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel [INFO] [stdout] --> src/visit_arith.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | #![feature(lang_items)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `lang_items` is internal to the compiler or standard library [INFO] [stdout] --> src/visit_arith.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | #![feature(lang_items)] [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using it is strongly discouraged [INFO] [stdout] = note: `#[warn(internal_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `r10` [INFO] [stdout] --> src/isa/x64/abi.rs:1:25 [INFO] [stdout] | [INFO] [stdout] 1 | use super::regs::{self, r10}; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `anyhow` [INFO] [stdout] --> src/isa/x64/masm.rs:8:14 [INFO] [stdout] | [INFO] [stdout] 8 | use anyhow::{anyhow, bail, Error, Result}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::abi` [INFO] [stdout] --> src/codegen/context.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::abi; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::isa::x64` [INFO] [stdout] --> src/codegen/context.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::isa::x64; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ShiftKind` [INFO] [stdout] --> src/codegen/context.rs:12:59 [INFO] [stdout] | [INFO] [stdout] 12 | masm::{MacroAssembler, OperandSize, RegImm, SPOffset, ShiftKind, StackSlot}, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `isa::TargetIsa` [INFO] [stdout] --> src/codegen/env.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | isa::TargetIsa, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PtrSize` and `WasmHeapType` [INFO] [stdout] --> src/codegen/env.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | PtrSize, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 21 | VMOffsets, WasmHeapType, WasmValType, WasmFuncType [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `I32` and `I64` [INFO] [stdout] --> src/codegen/env.rs:332:42 [INFO] [stdout] | [INFO] [stdout] 332 | use crate::WasmValType::{I32, I64}; [INFO] [stdout] | ^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `no_resizeable_vec::NoResizableVec` [INFO] [stdout] --> src/codegen/call.rs:64:8 [INFO] [stdout] | [INFO] [stdout] 64 | }, no_resizeable_vec::NoResizableVec, stack::Val, writable, FuncEnv [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel [INFO] [stdout] --> src/visit_cmp_ops.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | #![feature(lang_items)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `lang_items` is internal to the compiler or standard library [INFO] [stdout] --> src/visit_cmp_ops.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | #![feature(lang_items)] [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using it is strongly discouraged [INFO] [stdout] = note: `#[warn(internal_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Result` [INFO] [stdout] --> src/no_resizeable_vec.rs:5:34 [INFO] [stdout] | [INFO] [stdout] 5 | use no_std_io::io::{Read, Write, Result}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `libc_alloc::LibcAlloc` [INFO] [stdout] --> src/no_resizeable_vec.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use libc_alloc::LibcAlloc; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `r10` [INFO] [stdout] --> src/isa/x64/abi.rs:1:25 [INFO] [stdout] | [INFO] [stdout] 1 | use super::regs::{self, r10}; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cvt_no_resizable_vec` [INFO] [stdout] --> src/no_resizeable_vec.rs:367:9 [INFO] [stdout] | [INFO] [stdout] 367 | pub use cvt_no_resizable_vec; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `anyhow` [INFO] [stdout] --> src/isa/x64/masm.rs:8:14 [INFO] [stdout] | [INFO] [stdout] 8 | use anyhow::{anyhow, bail, Error, Result}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Callee`, `FnCall`, and `FuncEnv` [INFO] [stdout] --> src/proof_core.rs:10:22 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::codegen::{Callee, CodeGenContext, FnCall, FuncEnv, Prologue}; [INFO] [stdout] | ^^^^^^ ^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Writable` and `ir::TrapCode` [INFO] [stdout] --> src/proof_core.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | use crate::cranelift_codegen::{ir::TrapCode, Writable}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DivKind`, `IntCmpKind`, `MacroAssembler`, `OperandSize`, and `RegImm` [INFO] [stdout] --> src/proof_core.rs:20:19 [INFO] [stdout] | [INFO] [stdout] 20 | use crate::masm::{DivKind, IntCmpKind, MacroAssembler, OperandSize, RegImm}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::abi` [INFO] [stdout] --> src/codegen/context.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::abi; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::isa::x64` [INFO] [stdout] --> src/codegen/context.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::isa::x64; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ShiftKind` [INFO] [stdout] --> src/codegen/context.rs:12:59 [INFO] [stdout] | [INFO] [stdout] 12 | masm::{MacroAssembler, OperandSize, RegImm, SPOffset, ShiftKind, StackSlot}, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Reg`, `self`, and `writable` [INFO] [stdout] --> src/proof_core.rs:22:11 [INFO] [stdout] | [INFO] [stdout] 22 | reg::{self, writable, Reg}, [INFO] [stdout] | ^^^^ ^^^^^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::abi::ABI` [INFO] [stdout] --> src/proof_core.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 27 | use crate::abi::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::regalloc2::PReg` [INFO] [stdout] --> src/proof_core.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use crate::regalloc2::PReg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `assert`, `assume`, `nondet_i32`, `nondet_i64`, `nondet_u32`, and `nondet_u8` [INFO] [stdout] --> src/proof_core.rs:30:21 [INFO] [stdout] | [INFO] [stdout] 30 | use seahorn_stubs::{assert, assume, error, nondet_i32, nondet_i64, nondet_u32, nondet_u8}; [INFO] [stdout] | ^^^^^^ ^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `TypedReg` and `Val` [INFO] [stdout] --> src/proof_core.rs:32:27 [INFO] [stdout] | [INFO] [stdout] 32 | use crate::stack::{Stack, TypedReg, Val}; [INFO] [stdout] | ^^^^^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `*`, `FuncIndex`, and `WasmRefType` [INFO] [stdout] --> src/proof_core.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 35 | FuncIndex, VMOffsets, WasmFuncType, WasmRefType, [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] 36 | WasmValType::{self, *} [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Writable` and `ir::TrapCode` [INFO] [stdout] --> src/visit_arith.rs:25:25 [INFO] [stdout] | [INFO] [stdout] 25 | use cranelift_codegen::{ir::TrapCode, Writable}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `IntCmpKind` and `RegImm` [INFO] [stdout] --> src/visit_arith.rs:26:21 [INFO] [stdout] | [INFO] [stdout] 26 | use masm::{DivKind, IntCmpKind, MacroAssembler, OperandSize, RegImm}; [INFO] [stdout] | ^^^^^^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `abi::X64ABI` and `regs` [INFO] [stdout] --> src/visit_arith.rs:27:45 [INFO] [stdout] | [INFO] [stdout] 27 | use isa::{reg::{self, writable, Reg}, x64::{abi::X64ABI, regs}}; [INFO] [stdout] | ^^^^^^^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::abi::ABI` [INFO] [stdout] --> src/visit_arith.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use crate::abi::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `regset::RegBitSet` [INFO] [stdout] --> src/visit_arith.rs:30:5 [INFO] [stdout] | [INFO] [stdout] 30 | use regset::RegBitSet; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `assume`, `error`, and `nondet_u32` [INFO] [stdout] --> src/visit_arith.rs:31:29 [INFO] [stdout] | [INFO] [stdout] 31 | use seahorn_stubs::{assert, assume, error, nondet_i32, nondet_i64, nondet_u32, nondet_u8}; [INFO] [stdout] | ^^^^^^ ^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::no_resizeable_vec::NoResizableVec` [INFO] [stdout] --> src/visit_arith.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | use crate::no_resizeable_vec::NoResizableVec; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ALL_FPR`, `ALL_GPR`, `MAX_FPR`, `MAX_GPR`, `NON_ALLOCATABLE_FPR`, and `NON_ALLOCATABLE_GPR` [INFO] [stdout] --> src/visit_arith.rs:33:28 [INFO] [stdout] | [INFO] [stdout] 33 | use self::isa::x64::regs::{ALL_FPR, ALL_GPR, MAX_FPR, MAX_GPR, NON_ALLOCATABLE_FPR, NON_ALLOCATABLE_GPR}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ ^^^^^^^ ^^^^^^^ ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Stack` [INFO] [stdout] --> src/visit_arith.rs:34:13 [INFO] [stdout] | [INFO] [stdout] 34 | use stack::{Stack, TypedReg, Val}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DefinedLocals` and `Frame` [INFO] [stdout] --> src/visit_arith.rs:35:13 [INFO] [stdout] | [INFO] [stdout] 35 | use frame::{DefinedLocals, Frame}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Callee`, `CodeGenContext`, `FnCall`, and `Prologue` [INFO] [stdout] --> src/visit_arith.rs:36:15 [INFO] [stdout] | [INFO] [stdout] 36 | use codegen::{Callee, CodeGenContext, FnCall, FuncEnv, Prologue}; [INFO] [stdout] | ^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `*`, `FuncIndex`, `WasmFuncType`, and `WasmRefType` [INFO] [stdout] --> src/visit_arith.rs:37:24 [INFO] [stdout] | [INFO] [stdout] 37 | use wasmtime_environ::{FuncIndex, VMOffsets, WasmFuncType, WasmRefType, WasmValType::{self, *}}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^ ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `extern` declarations without an explicit ABI are deprecated [INFO] [stdout] --> src/visit_arith.rs:41:5 [INFO] [stdout] | [INFO] [stdout] 41 | pub extern fn main() -> i32 { [INFO] [stdout] | ^^^^^^ help: explicitly specify the "C" ABI: `extern "C"` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(missing_abi)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `isa::TargetIsa` [INFO] [stdout] --> src/codegen/env.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | isa::TargetIsa, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PtrSize` and `WasmHeapType` [INFO] [stdout] --> src/codegen/env.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | PtrSize, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 21 | VMOffsets, WasmHeapType, WasmValType, WasmFuncType [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `I32` and `I64` [INFO] [stdout] --> src/codegen/env.rs:332:42 [INFO] [stdout] | [INFO] [stdout] 332 | use crate::WasmValType::{I32, I64}; [INFO] [stdout] | ^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `no_resizeable_vec::NoResizableVec` [INFO] [stdout] --> src/codegen/call.rs:64:8 [INFO] [stdout] | [INFO] [stdout] 64 | }, no_resizeable_vec::NoResizableVec, stack::Val, writable, FuncEnv [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Result` [INFO] [stdout] --> src/no_resizeable_vec.rs:5:34 [INFO] [stdout] | [INFO] [stdout] 5 | use no_std_io::io::{Read, Write, Result}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `libc_alloc::LibcAlloc` [INFO] [stdout] --> src/no_resizeable_vec.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use libc_alloc::LibcAlloc; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cvt_no_resizable_vec` [INFO] [stdout] --> src/no_resizeable_vec.rs:367:9 [INFO] [stdout] | [INFO] [stdout] 367 | pub use cvt_no_resizable_vec; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Callee`, `FnCall`, and `FuncEnv` [INFO] [stdout] --> src/proof_core.rs:10:22 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::codegen::{Callee, CodeGenContext, FnCall, FuncEnv, Prologue}; [INFO] [stdout] | ^^^^^^ ^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Writable` and `ir::TrapCode` [INFO] [stdout] --> src/proof_core.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | use crate::cranelift_codegen::{ir::TrapCode, Writable}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DivKind`, `IntCmpKind`, `MacroAssembler`, `OperandSize`, and `RegImm` [INFO] [stdout] --> src/proof_core.rs:20:19 [INFO] [stdout] | [INFO] [stdout] 20 | use crate::masm::{DivKind, IntCmpKind, MacroAssembler, OperandSize, RegImm}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Reg`, `self`, and `writable` [INFO] [stdout] --> src/proof_core.rs:22:11 [INFO] [stdout] | [INFO] [stdout] 22 | reg::{self, writable, Reg}, [INFO] [stdout] | ^^^^ ^^^^^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::abi::ABI` [INFO] [stdout] --> src/proof_core.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 27 | use crate::abi::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::regalloc2::PReg` [INFO] [stdout] --> src/proof_core.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use crate::regalloc2::PReg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `assert`, `assume`, `nondet_i32`, `nondet_i64`, `nondet_u32`, and `nondet_u8` [INFO] [stdout] --> src/proof_core.rs:30:21 [INFO] [stdout] | [INFO] [stdout] 30 | use seahorn_stubs::{assert, assume, error, nondet_i32, nondet_i64, nondet_u32, nondet_u8}; [INFO] [stdout] | ^^^^^^ ^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `TypedReg` and `Val` [INFO] [stdout] --> src/proof_core.rs:32:27 [INFO] [stdout] | [INFO] [stdout] 32 | use crate::stack::{Stack, TypedReg, Val}; [INFO] [stdout] | ^^^^^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `*`, `FuncIndex`, and `WasmRefType` [INFO] [stdout] --> src/proof_core.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 35 | FuncIndex, VMOffsets, WasmFuncType, WasmRefType, [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] 36 | WasmValType::{self, *} [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Writable` and `ir::TrapCode` [INFO] [stdout] --> src/visit_cmp_ops.rs:25:25 [INFO] [stdout] | [INFO] [stdout] 25 | use cranelift_codegen::{ir::TrapCode, Writable}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DivKind`, `OperandSize`, and `RegImm` [INFO] [stdout] --> src/visit_cmp_ops.rs:26:12 [INFO] [stdout] | [INFO] [stdout] 26 | use masm::{DivKind, IntCmpKind, MacroAssembler, OperandSize, RegImm}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `abi::X64ABI` and `regs` [INFO] [stdout] --> src/visit_cmp_ops.rs:27:45 [INFO] [stdout] | [INFO] [stdout] 27 | use isa::{reg::{self, writable, Reg}, x64::{abi::X64ABI, regs}}; [INFO] [stdout] | ^^^^^^^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::abi::ABI` [INFO] [stdout] --> src/visit_cmp_ops.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use crate::abi::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `regset::RegBitSet` [INFO] [stdout] --> src/visit_cmp_ops.rs:30:5 [INFO] [stdout] | [INFO] [stdout] 30 | use regset::RegBitSet; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `assume`, `error`, and `nondet_u32` [INFO] [stdout] --> src/visit_cmp_ops.rs:31:29 [INFO] [stdout] | [INFO] [stdout] 31 | use seahorn_stubs::{assert, assume, error, nondet_i32, nondet_i64, nondet_u32, nondet_u8}; [INFO] [stdout] | ^^^^^^ ^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::no_resizeable_vec::NoResizableVec` [INFO] [stdout] --> src/visit_cmp_ops.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | use crate::no_resizeable_vec::NoResizableVec; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ALL_FPR`, `ALL_GPR`, `MAX_FPR`, `MAX_GPR`, `NON_ALLOCATABLE_FPR`, and `NON_ALLOCATABLE_GPR` [INFO] [stdout] --> src/visit_cmp_ops.rs:33:28 [INFO] [stdout] | [INFO] [stdout] 33 | use self::isa::x64::regs::{ALL_FPR, ALL_GPR, MAX_FPR, MAX_GPR, NON_ALLOCATABLE_FPR, NON_ALLOCATABLE_GPR}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ ^^^^^^^ ^^^^^^^ ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Stack` [INFO] [stdout] --> src/visit_cmp_ops.rs:34:13 [INFO] [stdout] | [INFO] [stdout] 34 | use stack::{Stack, TypedReg, Val}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DefinedLocals` and `Frame` [INFO] [stdout] --> src/visit_cmp_ops.rs:35:13 [INFO] [stdout] | [INFO] [stdout] 35 | use frame::{DefinedLocals, Frame}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Callee`, `CodeGenContext`, `FnCall`, and `Prologue` [INFO] [stdout] --> src/visit_cmp_ops.rs:36:15 [INFO] [stdout] | [INFO] [stdout] 36 | use codegen::{Callee, CodeGenContext, FnCall, FuncEnv, Prologue}; [INFO] [stdout] | ^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `*`, `FuncIndex`, `WasmFuncType`, and `WasmRefType` [INFO] [stdout] --> src/visit_cmp_ops.rs:37:24 [INFO] [stdout] | [INFO] [stdout] 37 | use wasmtime_environ::{FuncIndex, VMOffsets, WasmFuncType, WasmRefType, WasmValType::{self, *}}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^ ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `extern` declarations without an explicit ABI are deprecated [INFO] [stdout] --> src/visit_cmp_ops.rs:41:5 [INFO] [stdout] | [INFO] [stdout] 41 | pub extern fn main() -> i32 { [INFO] [stdout] | ^^^^^^ help: explicitly specify the "C" ABI: `extern "C"` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(missing_abi)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:3:1 [INFO] [stdout] | [INFO] [stdout] 3 | #![no_builtins] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:5:1 [INFO] [stdout] | [INFO] [stdout] 5 | #![no_main] [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:6:1 [INFO] [stdout] | [INFO] [stdout] 6 | #![feature(default_alloc_error_handler)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | #![feature(lang_items)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `default_alloc_error_handler` has been stable since 1.68.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/visit_cmp_ops.rs:6:12 [INFO] [stdout] | [INFO] [stdout] 6 | #![feature(default_alloc_error_handler)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `#[no_mangle]` cannot be used on internal language items [INFO] [stdout] --> src/proof_core.rs:41:1 [INFO] [stdout] | [INFO] [stdout] 41 | #[no_mangle] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 42 | pub fn panic(_panic: &PanicInfo<'_>) -> ! { [INFO] [stdout] | ----------------------------------------- should be the internal language item [INFO] [stdout] | [INFO] [stdout] = note: Rustc requires this item to have a specific mangled name. [INFO] [stdout] = note: If you are trying to prevent mangling to ease debugging, many [INFO] [stdout] = note: debuggers support a command such as `rbreak rust_begin_unwind` to [INFO] [stdout] = note: match `.*rust_begin_unwind.*` instead of `break rust_begin_unwind` on a specific name [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:3:1 [INFO] [stdout] | [INFO] [stdout] 3 | #![no_builtins] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:5:1 [INFO] [stdout] | [INFO] [stdout] 5 | #![no_main] [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:6:1 [INFO] [stdout] | [INFO] [stdout] 6 | #![feature(default_alloc_error_handler)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: crate-level attribute should be in the root module [INFO] [stdout] --> src/proof_core.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | #![feature(lang_items)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `default_alloc_error_handler` has been stable since 1.68.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/visit_arith.rs:6:12 [INFO] [stdout] | [INFO] [stdout] 6 | #![feature(default_alloc_error_handler)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `#![no_std]` attribute can only be used at the crate root [INFO] [stdout] --> src/proof_core.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | #![no_std] [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `MacroAssembler` [INFO] [stdout] --> src/visit_funcs.rs:30:33 [INFO] [stdout] | [INFO] [stdout] 30 | use masm::{DivKind, IntCmpKind, MacroAssembler, OperandSize, RegImm}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Read` [INFO] [stdout] --> src/no_resizeable_vec.rs:5:21 [INFO] [stdout] | [INFO] [stdout] 5 | use no_std_io::io::{Read, Write, Result}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Write` [INFO] [stdout] --> src/no_resizeable_vec.rs:5:27 [INFO] [stdout] | [INFO] [stdout] 5 | use no_std_io::io::{Read, Write, Result}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PtrSize` [INFO] [stdout] --> src/codegen/call.rs:68:42 [INFO] [stdout] | [INFO] [stdout] 68 | use crate::wasmtime_environ::{FuncIndex, PtrSize, VMOffsets}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ht` [INFO] [stdout] --> src/isa/x64/abi.rs:125:17 [INFO] [stdout] | [INFO] [stdout] 125 | ht => unimplemented!("Support for WasmHeapType:"), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ht` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ht` [INFO] [stdout] --> src/isa/x64/abi.rs:150:17 [INFO] [stdout] | [INFO] [stdout] 150 | ht => unimplemented!("Support for WasmHeapType:"), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ht` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c` [INFO] [stdout] --> src/isa/x64/asm.rs:264:28 [INFO] [stdout] | [INFO] [stdout] 264 | Address::Const(c) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pool` [INFO] [stdout] --> src/isa/x64/asm.rs:254:9 [INFO] [stdout] | [INFO] [stdout] 254 | pool: &mut ConstantPool, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_pool` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `buffer` [INFO] [stdout] --> src/isa/x64/asm.rs:256:9 [INFO] [stdout] | [INFO] [stdout] 256 | buffer: &mut MachBuffer, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_buffer` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `#[no_mangle]` cannot be used on internal language items [INFO] [stdout] --> src/proof_core.rs:41:1 [INFO] [stdout] | [INFO] [stdout] 41 | #[no_mangle] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 42 | pub fn panic(_panic: &PanicInfo<'_>) -> ! { [INFO] [stdout] | ----------------------------------------- should be the internal language item [INFO] [stdout] | [INFO] [stdout] = note: Rustc requires this item to have a specific mangled name. [INFO] [stdout] = note: If you are trying to prevent mangling to ease debugging, many [INFO] [stdout] = note: debuggers support a command such as `rbreak rust_begin_unwind` to [INFO] [stdout] = note: match `.*rust_begin_unwind.*` instead of `break rust_begin_unwind` on a specific name [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `reg` [INFO] [stdout] --> src/isa/x64/masm.rs:283:34 [INFO] [stdout] | [INFO] [stdout] 283 | CalleeKind::Indirect(reg) => todo!(), [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_reg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lib` [INFO] [stdout] --> src/isa/x64/masm.rs:286:33 [INFO] [stdout] | [INFO] [stdout] 286 | CalleeKind::LibCall(lib) => todo!(), [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_lib` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/isa/x64/masm.rs:342:17 [INFO] [stdout] | [INFO] [stdout] 342 | _ => { panic!("unsupported types") } [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/isa/x64/masm.rs:342:17 [INFO] [stdout] | [INFO] [stdout] 340 | I::I32(v) => Ok(self.asm.mov_ir(v as u64, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 341 | I::I64(v) => Ok(self.asm.mov_ir(v, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 342 | _ => { panic!("unsupported types") } [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/isa/x64/masm.rs:1296:13 [INFO] [stdout] | [INFO] [stdout] 1296 | _ => Err(Error::msg("unsupported_imm")), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/isa/x64/masm.rs:1296:13 [INFO] [stdout] | [INFO] [stdout] 1294 | I::I32(v) => Ok(self.asm.mov_ir(*v as u64, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 1295 | I::I64(v) => Ok(self.asm.mov_ir(*v, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 1296 | _ => Err(Error::msg("unsupported_imm")), [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/masm.rs:515:13 [INFO] [stdout] | [INFO] [stdout] 515 | _ => None, [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/masm.rs:515:13 [INFO] [stdout] | [INFO] [stdout] 513 | Self::I32(v) => Some(*v as i32), [INFO] [stdout] | ------------ matches some of the same values [INFO] [stdout] 514 | Self::I64(v) => i32::try_from(*v as i64).ok(), [INFO] [stdout] | ------------ matches some of the same values [INFO] [stdout] 515 | _ => None, [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/codegen/context.rs:330:13 [INFO] [stdout] | [INFO] [stdout] 330 | _ => panic!("unsupported value types") [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/codegen/context.rs:330:13 [INFO] [stdout] | [INFO] [stdout] 315 | Val::Reg(tr) => masm.mov(writable!(dst), RegImm::reg(tr.reg), size), [INFO] [stdout] | ------------ matches some of the same values [INFO] [stdout] 316 | Val::I32(imm) => masm.mov(writable!(dst), RegImm::i32(*imm), size), [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] 317 | Val::I64(imm) => masm.mov(writable!(dst), RegImm::i64(*imm), size), [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 321 | Val::Local(local) => { [INFO] [stdout] | ----------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 330 | _ => panic!("unsupported value types") [INFO] [stdout] | ^ ...and 1 other patterns collectively make this unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `idx` [INFO] [stdout] --> src/codegen/env.rs:321:27 [INFO] [stdout] | [INFO] [stdout] 321 | Callee::Local(idx) | Callee::Import(idx) => { [INFO] [stdout] | ^^^ ^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is intentional, prefix it with an underscore [INFO] [stdout] | [INFO] [stdout] 321 | Callee::Local(_idx) | Callee::Import(_idx) => { [INFO] [stdout] | + + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `idx` [INFO] [stdout] --> src/codegen/env.rs:338:29 [INFO] [stdout] | [INFO] [stdout] 338 | Callee::FuncRef(idx) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_idx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/codegen/env.rs:333:21 [INFO] [stdout] | [INFO] [stdout] 333 | let mut parameters = NoResizableVec::new(prms); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/codegen/env.rs:334:21 [INFO] [stdout] | [INFO] [stdout] 334 | let mut returns = NoResizableVec::new(rets); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/codegen/call.rs:151:28 [INFO] [stdout] | [INFO] [stdout] 151 | Callee::Import(i) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `vmoffsets` [INFO] [stdout] --> src/codegen/call.rs:136:9 [INFO] [stdout] | [INFO] [stdout] 136 | vmoffsets: &VMOffsets, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_vmoffsets` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `context` [INFO] [stdout] --> src/codegen/call.rs:138:9 [INFO] [stdout] | [INFO] [stdout] 138 | context: &mut CodeGenContext, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `masm` [INFO] [stdout] --> src/codegen/call.rs:139:9 [INFO] [stdout] | [INFO] [stdout] 139 | masm: &mut M, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_masm` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/codegen/call.rs:177:9 [INFO] [stdout] | [INFO] [stdout] 177 | env: &mut FuncEnv, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `index` [INFO] [stdout] --> src/codegen/call.rs:178:9 [INFO] [stdout] | [INFO] [stdout] 178 | index: FuncIndex, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `#![no_std]` attribute can only be used at the crate root [INFO] [stdout] --> src/proof_core.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | #![no_std] [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/frame/mod.rs:57:13 [INFO] [stdout] | [INFO] [stdout] 57 | let mut next_stack: u32 = 0; [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/frame/mod.rs:61:13 [INFO] [stdout] | [INFO] [stdout] 61 | let mut slots: WasmLocals = Default::default(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fold_impl` [INFO] [stdout] --> src/abi/mod.rs:345:13 [INFO] [stdout] | [INFO] [stdout] 345 | let fold_impl = |(mut operands, mut regs, stack_bytes): FoldTuple, arg| { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_fold_impl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `regs` [INFO] [stdout] --> src/abi/mod.rs:365:28 [INFO] [stdout] | [INFO] [stdout] 365 | let (mut operands, regs, bytes): FoldTuple = if call_conv.is_default() { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_regs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `register_capacity` [INFO] [stdout] --> src/abi/mod.rs:506:13 [INFO] [stdout] | [INFO] [stdout] 506 | let register_capacity = params.len().min(6); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is intentional, prefix it with an underscore [INFO] [stdout] | [INFO] [stdout] 506 | let _register_capacity = params.len().min(6); [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to pattern match on the similarly named constant `FUNCREF_MASK` [INFO] [stdout] | [INFO] [stdout] 506 - let register_capacity = params.len().min(6); [INFO] [stdout] 506 + let wasmtime_environ::FUNCREF_MASK = params.len().min(6); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rets` [INFO] [stdout] --> src/abi/mod.rs:494:22 [INFO] [stdout] | [INFO] [stdout] 494 | prms: usize, rets: usize, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is intentional, prefix it with an underscore [INFO] [stdout] | [INFO] [stdout] 494 | prms: usize, _rets: usize, [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to pattern match on the similarly named constant `FUNCREF_MASK` [INFO] [stdout] | [INFO] [stdout] 494 - prms: usize, rets: usize, [INFO] [stdout] 494 + prms: usize, wasmtime_environ::FUNCREF_MASK: usize, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Read` [INFO] [stdout] --> src/no_resizeable_vec.rs:5:21 [INFO] [stdout] | [INFO] [stdout] 5 | use no_std_io::io::{Read, Write, Result}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Write` [INFO] [stdout] --> src/no_resizeable_vec.rs:5:27 [INFO] [stdout] | [INFO] [stdout] 5 | use no_std_io::io::{Read, Write, Result}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PtrSize` [INFO] [stdout] --> src/codegen/call.rs:68:42 [INFO] [stdout] | [INFO] [stdout] 68 | use crate::wasmtime_environ::{FuncIndex, PtrSize, VMOffsets}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ht` [INFO] [stdout] --> src/isa/x64/abi.rs:125:17 [INFO] [stdout] | [INFO] [stdout] 125 | ht => unimplemented!("Support for WasmHeapType:"), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ht` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ht` [INFO] [stdout] --> src/isa/x64/abi.rs:150:17 [INFO] [stdout] | [INFO] [stdout] 150 | ht => unimplemented!("Support for WasmHeapType:"), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ht` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c` [INFO] [stdout] --> src/isa/x64/asm.rs:264:28 [INFO] [stdout] | [INFO] [stdout] 264 | Address::Const(c) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pool` [INFO] [stdout] --> src/isa/x64/asm.rs:254:9 [INFO] [stdout] | [INFO] [stdout] 254 | pool: &mut ConstantPool, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_pool` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `buffer` [INFO] [stdout] --> src/isa/x64/asm.rs:256:9 [INFO] [stdout] | [INFO] [stdout] 256 | buffer: &mut MachBuffer, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_buffer` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `reg` [INFO] [stdout] --> src/isa/x64/masm.rs:283:34 [INFO] [stdout] | [INFO] [stdout] 283 | CalleeKind::Indirect(reg) => todo!(), [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_reg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lib` [INFO] [stdout] --> src/isa/x64/masm.rs:286:33 [INFO] [stdout] | [INFO] [stdout] 286 | CalleeKind::LibCall(lib) => todo!(), [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_lib` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/proof_core.rs:71:9 [INFO] [stdout] | [INFO] [stdout] 71 | let mut codegen_context = crate::codegen::CodeGenContext::new(regalloc, stack, frame, &vmoffsets); [INFO] [stdout] | ----^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/isa/x64/masm.rs:342:17 [INFO] [stdout] | [INFO] [stdout] 342 | _ => { panic!("unsupported types") } [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/isa/x64/masm.rs:342:17 [INFO] [stdout] | [INFO] [stdout] 340 | I::I32(v) => Ok(self.asm.mov_ir(v as u64, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 341 | I::I64(v) => Ok(self.asm.mov_ir(v, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 342 | _ => { panic!("unsupported types") } [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/isa/x64/masm.rs:1296:13 [INFO] [stdout] | [INFO] [stdout] 1296 | _ => Err(Error::msg("unsupported_imm")), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/isa/x64/masm.rs:1296:13 [INFO] [stdout] | [INFO] [stdout] 1294 | I::I32(v) => Ok(self.asm.mov_ir(*v as u64, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 1295 | I::I64(v) => Ok(self.asm.mov_ir(*v, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 1296 | _ => Err(Error::msg("unsupported_imm")), [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0554`. [INFO] [stdout] [INFO] [stderr] error: could not compile `winch-codegen` (bin "visit_funcs") due to 3 previous errors; 72 warnings emitted [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/masm.rs:515:13 [INFO] [stdout] | [INFO] [stdout] 515 | _ => None, [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/masm.rs:515:13 [INFO] [stdout] | [INFO] [stdout] 513 | Self::I32(v) => Some(*v as i32), [INFO] [stdout] | ------------ matches some of the same values [INFO] [stdout] 514 | Self::I64(v) => i32::try_from(*v as i64).ok(), [INFO] [stdout] | ------------ matches some of the same values [INFO] [stdout] 515 | _ => None, [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/codegen/context.rs:330:13 [INFO] [stdout] | [INFO] [stdout] 330 | _ => panic!("unsupported value types") [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/codegen/context.rs:330:13 [INFO] [stdout] | [INFO] [stdout] 315 | Val::Reg(tr) => masm.mov(writable!(dst), RegImm::reg(tr.reg), size), [INFO] [stdout] | ------------ matches some of the same values [INFO] [stdout] 316 | Val::I32(imm) => masm.mov(writable!(dst), RegImm::i32(*imm), size), [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] 317 | Val::I64(imm) => masm.mov(writable!(dst), RegImm::i64(*imm), size), [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 321 | Val::Local(local) => { [INFO] [stdout] | ----------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 330 | _ => panic!("unsupported value types") [INFO] [stdout] | ^ ...and 1 other patterns collectively make this unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `idx` [INFO] [stdout] --> src/codegen/env.rs:321:27 [INFO] [stdout] | [INFO] [stdout] 321 | Callee::Local(idx) | Callee::Import(idx) => { [INFO] [stdout] | ^^^ ^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is intentional, prefix it with an underscore [INFO] [stdout] | [INFO] [stdout] 321 | Callee::Local(_idx) | Callee::Import(_idx) => { [INFO] [stdout] | + + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `idx` [INFO] [stdout] --> src/codegen/env.rs:338:29 [INFO] [stdout] | [INFO] [stdout] 338 | Callee::FuncRef(idx) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_idx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/codegen/env.rs:333:21 [INFO] [stdout] | [INFO] [stdout] 333 | let mut parameters = NoResizableVec::new(prms); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/codegen/env.rs:334:21 [INFO] [stdout] | [INFO] [stdout] 334 | let mut returns = NoResizableVec::new(rets); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/codegen/call.rs:151:28 [INFO] [stdout] | [INFO] [stdout] 151 | Callee::Import(i) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `vmoffsets` [INFO] [stdout] --> src/codegen/call.rs:136:9 [INFO] [stdout] | [INFO] [stdout] 136 | vmoffsets: &VMOffsets, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_vmoffsets` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `context` [INFO] [stdout] --> src/codegen/call.rs:138:9 [INFO] [stdout] | [INFO] [stdout] 138 | context: &mut CodeGenContext, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `masm` [INFO] [stdout] --> src/codegen/call.rs:139:9 [INFO] [stdout] | [INFO] [stdout] 139 | masm: &mut M, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_masm` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/codegen/call.rs:177:9 [INFO] [stdout] | [INFO] [stdout] 177 | env: &mut FuncEnv, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `index` [INFO] [stdout] --> src/codegen/call.rs:178:9 [INFO] [stdout] | [INFO] [stdout] 178 | index: FuncIndex, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/frame/mod.rs:57:13 [INFO] [stdout] | [INFO] [stdout] 57 | let mut next_stack: u32 = 0; [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/frame/mod.rs:61:13 [INFO] [stdout] | [INFO] [stdout] 61 | let mut slots: WasmLocals = Default::default(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fold_impl` [INFO] [stdout] --> src/abi/mod.rs:345:13 [INFO] [stdout] | [INFO] [stdout] 345 | let fold_impl = |(mut operands, mut regs, stack_bytes): FoldTuple, arg| { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_fold_impl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `regs` [INFO] [stdout] --> src/abi/mod.rs:365:28 [INFO] [stdout] | [INFO] [stdout] 365 | let (mut operands, regs, bytes): FoldTuple = if call_conv.is_default() { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_regs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `register_capacity` [INFO] [stdout] --> src/abi/mod.rs:506:13 [INFO] [stdout] | [INFO] [stdout] 506 | let register_capacity = params.len().min(6); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is intentional, prefix it with an underscore [INFO] [stdout] | [INFO] [stdout] 506 | let _register_capacity = params.len().min(6); [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to pattern match on the similarly named constant `FUNCREF_MASK` [INFO] [stdout] | [INFO] [stdout] 506 - let register_capacity = params.len().min(6); [INFO] [stdout] 506 + let wasmtime_environ::FUNCREF_MASK = params.len().min(6); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rets` [INFO] [stdout] --> src/abi/mod.rs:494:22 [INFO] [stdout] | [INFO] [stdout] 494 | prms: usize, rets: usize, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is intentional, prefix it with an underscore [INFO] [stdout] | [INFO] [stdout] 494 | prms: usize, _rets: usize, [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to pattern match on the similarly named constant `FUNCREF_MASK` [INFO] [stdout] | [INFO] [stdout] 494 - prms: usize, rets: usize, [INFO] [stdout] 494 + prms: usize, wasmtime_environ::FUNCREF_MASK: usize, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Read` [INFO] [stdout] --> src/no_resizeable_vec.rs:5:21 [INFO] [stdout] | [INFO] [stdout] 5 | use no_std_io::io::{Read, Write, Result}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Write` [INFO] [stdout] --> src/no_resizeable_vec.rs:5:27 [INFO] [stdout] | [INFO] [stdout] 5 | use no_std_io::io::{Read, Write, Result}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PtrSize` [INFO] [stdout] --> src/codegen/call.rs:68:42 [INFO] [stdout] | [INFO] [stdout] 68 | use crate::wasmtime_environ::{FuncIndex, PtrSize, VMOffsets}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ht` [INFO] [stdout] --> src/isa/x64/abi.rs:125:17 [INFO] [stdout] | [INFO] [stdout] 125 | ht => unimplemented!("Support for WasmHeapType:"), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ht` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ht` [INFO] [stdout] --> src/isa/x64/abi.rs:150:17 [INFO] [stdout] | [INFO] [stdout] 150 | ht => unimplemented!("Support for WasmHeapType:"), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ht` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c` [INFO] [stdout] --> src/isa/x64/asm.rs:264:28 [INFO] [stdout] | [INFO] [stdout] 264 | Address::Const(c) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pool` [INFO] [stdout] --> src/isa/x64/asm.rs:254:9 [INFO] [stdout] | [INFO] [stdout] 254 | pool: &mut ConstantPool, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_pool` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `buffer` [INFO] [stdout] --> src/isa/x64/asm.rs:256:9 [INFO] [stdout] | [INFO] [stdout] 256 | buffer: &mut MachBuffer, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_buffer` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `reg` [INFO] [stdout] --> src/isa/x64/masm.rs:283:34 [INFO] [stdout] | [INFO] [stdout] 283 | CalleeKind::Indirect(reg) => todo!(), [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_reg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lib` [INFO] [stdout] --> src/isa/x64/masm.rs:286:33 [INFO] [stdout] | [INFO] [stdout] 286 | CalleeKind::LibCall(lib) => todo!(), [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_lib` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/proof_core.rs:71:9 [INFO] [stdout] | [INFO] [stdout] 71 | let mut codegen_context = crate::codegen::CodeGenContext::new(regalloc, stack, frame, &vmoffsets); [INFO] [stdout] | ----^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `masm_64` [INFO] [stdout] --> src/visit_setup.rs:62:9 [INFO] [stdout] | [INFO] [stdout] 62 | let masm_64 = isa::x64::masm::MacroAssembler::new(ptr_size, shared_flags, isa_flags); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_masm_64` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/isa/x64/masm.rs:342:17 [INFO] [stdout] | [INFO] [stdout] 342 | _ => { panic!("unsupported types") } [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/isa/x64/masm.rs:342:17 [INFO] [stdout] | [INFO] [stdout] 340 | I::I32(v) => Ok(self.asm.mov_ir(v as u64, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 341 | I::I64(v) => Ok(self.asm.mov_ir(v, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 342 | _ => { panic!("unsupported types") } [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0554`. [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/isa/x64/masm.rs:1296:13 [INFO] [stdout] | [INFO] [stdout] 1296 | _ => Err(Error::msg("unsupported_imm")), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/isa/x64/masm.rs:1296:13 [INFO] [stdout] | [INFO] [stdout] 1294 | I::I32(v) => Ok(self.asm.mov_ir(*v as u64, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 1295 | I::I64(v) => Ok(self.asm.mov_ir(*v, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 1296 | _ => Err(Error::msg("unsupported_imm")), [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/masm.rs:515:13 [INFO] [stdout] | [INFO] [stdout] 515 | _ => None, [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/masm.rs:515:13 [INFO] [stdout] | [INFO] [stdout] 513 | Self::I32(v) => Some(*v as i32), [INFO] [stdout] | ------------ matches some of the same values [INFO] [stdout] 514 | Self::I64(v) => i32::try_from(*v as i64).ok(), [INFO] [stdout] | ------------ matches some of the same values [INFO] [stdout] 515 | _ => None, [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/codegen/context.rs:330:13 [INFO] [stdout] | [INFO] [stdout] 330 | _ => panic!("unsupported value types") [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/codegen/context.rs:330:13 [INFO] [stdout] | [INFO] [stdout] 315 | Val::Reg(tr) => masm.mov(writable!(dst), RegImm::reg(tr.reg), size), [INFO] [stdout] | ------------ matches some of the same values [INFO] [stdout] 316 | Val::I32(imm) => masm.mov(writable!(dst), RegImm::i32(*imm), size), [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] 317 | Val::I64(imm) => masm.mov(writable!(dst), RegImm::i64(*imm), size), [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 321 | Val::Local(local) => { [INFO] [stdout] | ----------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 330 | _ => panic!("unsupported value types") [INFO] [stdout] | ^ ...and 1 other patterns collectively make this unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `idx` [INFO] [stdout] --> src/codegen/env.rs:321:27 [INFO] [stdout] | [INFO] [stdout] 321 | Callee::Local(idx) | Callee::Import(idx) => { [INFO] [stdout] | ^^^ ^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is intentional, prefix it with an underscore [INFO] [stdout] | [INFO] [stdout] 321 | Callee::Local(_idx) | Callee::Import(_idx) => { [INFO] [stdout] | + + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `idx` [INFO] [stdout] --> src/codegen/env.rs:338:29 [INFO] [stdout] | [INFO] [stdout] 338 | Callee::FuncRef(idx) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_idx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/codegen/env.rs:333:21 [INFO] [stdout] | [INFO] [stdout] 333 | let mut parameters = NoResizableVec::new(prms); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/codegen/env.rs:334:21 [INFO] [stdout] | [INFO] [stdout] 334 | let mut returns = NoResizableVec::new(rets); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/codegen/call.rs:151:28 [INFO] [stdout] | [INFO] [stdout] 151 | Callee::Import(i) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `vmoffsets` [INFO] [stdout] --> src/codegen/call.rs:136:9 [INFO] [stdout] | [INFO] [stdout] 136 | vmoffsets: &VMOffsets, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_vmoffsets` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `context` [INFO] [stdout] --> src/codegen/call.rs:138:9 [INFO] [stdout] | [INFO] [stdout] 138 | context: &mut CodeGenContext, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `masm` [INFO] [stdout] --> src/codegen/call.rs:139:9 [INFO] [stdout] | [INFO] [stdout] 139 | masm: &mut M, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_masm` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/codegen/call.rs:177:9 [INFO] [stdout] | [INFO] [stdout] 177 | env: &mut FuncEnv, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `index` [INFO] [stdout] --> src/codegen/call.rs:178:9 [INFO] [stdout] | [INFO] [stdout] 178 | index: FuncIndex, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `winch-codegen` (bin "visit_setup") due to 3 previous errors; 72 warnings emitted [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/frame/mod.rs:57:13 [INFO] [stdout] | [INFO] [stdout] 57 | let mut next_stack: u32 = 0; [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/frame/mod.rs:61:13 [INFO] [stdout] | [INFO] [stdout] 61 | let mut slots: WasmLocals = Default::default(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fold_impl` [INFO] [stdout] --> src/abi/mod.rs:345:13 [INFO] [stdout] | [INFO] [stdout] 345 | let fold_impl = |(mut operands, mut regs, stack_bytes): FoldTuple, arg| { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_fold_impl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `regs` [INFO] [stdout] --> src/abi/mod.rs:365:28 [INFO] [stdout] | [INFO] [stdout] 365 | let (mut operands, regs, bytes): FoldTuple = if call_conv.is_default() { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_regs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `register_capacity` [INFO] [stdout] --> src/abi/mod.rs:506:13 [INFO] [stdout] | [INFO] [stdout] 506 | let register_capacity = params.len().min(6); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is intentional, prefix it with an underscore [INFO] [stdout] | [INFO] [stdout] 506 | let _register_capacity = params.len().min(6); [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to pattern match on the similarly named constant `FUNCREF_MASK` [INFO] [stdout] | [INFO] [stdout] 506 - let register_capacity = params.len().min(6); [INFO] [stdout] 506 + let wasmtime_environ::FUNCREF_MASK = params.len().min(6); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rets` [INFO] [stdout] --> src/abi/mod.rs:494:22 [INFO] [stdout] | [INFO] [stdout] 494 | prms: usize, rets: usize, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is intentional, prefix it with an underscore [INFO] [stdout] | [INFO] [stdout] 494 | prms: usize, _rets: usize, [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to pattern match on the similarly named constant `FUNCREF_MASK` [INFO] [stdout] | [INFO] [stdout] 494 - prms: usize, rets: usize, [INFO] [stdout] 494 + prms: usize, wasmtime_environ::FUNCREF_MASK: usize, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/proof_core.rs:71:9 [INFO] [stdout] | [INFO] [stdout] 71 | let mut codegen_context = crate::codegen::CodeGenContext::new(regalloc, stack, frame, &vmoffsets); [INFO] [stdout] | ----^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0554`. [INFO] [stdout] [INFO] [stdout] warning: unused import: `Read` [INFO] [stdout] --> src/no_resizeable_vec.rs:5:21 [INFO] [stdout] | [INFO] [stdout] 5 | use no_std_io::io::{Read, Write, Result}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Write` [INFO] [stdout] --> src/no_resizeable_vec.rs:5:27 [INFO] [stdout] | [INFO] [stdout] 5 | use no_std_io::io::{Read, Write, Result}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PtrSize` [INFO] [stdout] --> src/codegen/call.rs:68:42 [INFO] [stdout] | [INFO] [stdout] 68 | use crate::wasmtime_environ::{FuncIndex, PtrSize, VMOffsets}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ht` [INFO] [stdout] --> src/isa/x64/abi.rs:125:17 [INFO] [stdout] | [INFO] [stdout] 125 | ht => unimplemented!("Support for WasmHeapType:"), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ht` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ht` [INFO] [stdout] --> src/isa/x64/abi.rs:150:17 [INFO] [stdout] | [INFO] [stdout] 150 | ht => unimplemented!("Support for WasmHeapType:"), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ht` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c` [INFO] [stdout] --> src/isa/x64/asm.rs:264:28 [INFO] [stdout] | [INFO] [stdout] 264 | Address::Const(c) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `winch-codegen` (bin "visit_cmp_ops") due to 3 previous errors; 72 warnings emitted [INFO] [stdout] warning: unused variable: `pool` [INFO] [stdout] --> src/isa/x64/asm.rs:254:9 [INFO] [stdout] | [INFO] [stdout] 254 | pool: &mut ConstantPool, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_pool` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `buffer` [INFO] [stdout] --> src/isa/x64/asm.rs:256:9 [INFO] [stdout] | [INFO] [stdout] 256 | buffer: &mut MachBuffer, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_buffer` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `reg` [INFO] [stdout] --> src/isa/x64/masm.rs:283:34 [INFO] [stdout] | [INFO] [stdout] 283 | CalleeKind::Indirect(reg) => todo!(), [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_reg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lib` [INFO] [stdout] --> src/isa/x64/masm.rs:286:33 [INFO] [stdout] | [INFO] [stdout] 286 | CalleeKind::LibCall(lib) => todo!(), [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_lib` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/isa/x64/masm.rs:342:17 [INFO] [stdout] | [INFO] [stdout] 342 | _ => { panic!("unsupported types") } [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/isa/x64/masm.rs:342:17 [INFO] [stdout] | [INFO] [stdout] 340 | I::I32(v) => Ok(self.asm.mov_ir(v as u64, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 341 | I::I64(v) => Ok(self.asm.mov_ir(v, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 342 | _ => { panic!("unsupported types") } [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/isa/x64/masm.rs:1296:13 [INFO] [stdout] | [INFO] [stdout] 1296 | _ => Err(Error::msg("unsupported_imm")), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/isa/x64/masm.rs:1296:13 [INFO] [stdout] | [INFO] [stdout] 1294 | I::I32(v) => Ok(self.asm.mov_ir(*v as u64, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 1295 | I::I64(v) => Ok(self.asm.mov_ir(*v, dst, size)), [INFO] [stdout] | --------- matches some of the same values [INFO] [stdout] 1296 | _ => Err(Error::msg("unsupported_imm")), [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/masm.rs:515:13 [INFO] [stdout] | [INFO] [stdout] 515 | _ => None, [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/masm.rs:515:13 [INFO] [stdout] | [INFO] [stdout] 513 | Self::I32(v) => Some(*v as i32), [INFO] [stdout] | ------------ matches some of the same values [INFO] [stdout] 514 | Self::I64(v) => i32::try_from(*v as i64).ok(), [INFO] [stdout] | ------------ matches some of the same values [INFO] [stdout] 515 | _ => None, [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/codegen/context.rs:330:13 [INFO] [stdout] | [INFO] [stdout] 330 | _ => panic!("unsupported value types") [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/codegen/context.rs:330:13 [INFO] [stdout] | [INFO] [stdout] 315 | Val::Reg(tr) => masm.mov(writable!(dst), RegImm::reg(tr.reg), size), [INFO] [stdout] | ------------ matches some of the same values [INFO] [stdout] 316 | Val::I32(imm) => masm.mov(writable!(dst), RegImm::i32(*imm), size), [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] 317 | Val::I64(imm) => masm.mov(writable!(dst), RegImm::i64(*imm), size), [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 321 | Val::Local(local) => { [INFO] [stdout] | ----------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 330 | _ => panic!("unsupported value types") [INFO] [stdout] | ^ ...and 1 other patterns collectively make this unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `idx` [INFO] [stdout] --> src/codegen/env.rs:321:27 [INFO] [stdout] | [INFO] [stdout] 321 | Callee::Local(idx) | Callee::Import(idx) => { [INFO] [stdout] | ^^^ ^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is intentional, prefix it with an underscore [INFO] [stdout] | [INFO] [stdout] 321 | Callee::Local(_idx) | Callee::Import(_idx) => { [INFO] [stdout] | + + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `idx` [INFO] [stdout] --> src/codegen/env.rs:338:29 [INFO] [stdout] | [INFO] [stdout] 338 | Callee::FuncRef(idx) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_idx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/codegen/env.rs:333:21 [INFO] [stdout] | [INFO] [stdout] 333 | let mut parameters = NoResizableVec::new(prms); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/codegen/env.rs:334:21 [INFO] [stdout] | [INFO] [stdout] 334 | let mut returns = NoResizableVec::new(rets); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/codegen/call.rs:151:28 [INFO] [stdout] | [INFO] [stdout] 151 | Callee::Import(i) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `vmoffsets` [INFO] [stdout] --> src/codegen/call.rs:136:9 [INFO] [stdout] | [INFO] [stdout] 136 | vmoffsets: &VMOffsets, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_vmoffsets` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `context` [INFO] [stdout] --> src/codegen/call.rs:138:9 [INFO] [stdout] | [INFO] [stdout] 138 | context: &mut CodeGenContext, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `masm` [INFO] [stdout] --> src/codegen/call.rs:139:9 [INFO] [stdout] | [INFO] [stdout] 139 | masm: &mut M, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_masm` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/codegen/call.rs:177:9 [INFO] [stdout] | [INFO] [stdout] 177 | env: &mut FuncEnv, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `index` [INFO] [stdout] --> src/codegen/call.rs:178:9 [INFO] [stdout] | [INFO] [stdout] 178 | index: FuncIndex, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/frame/mod.rs:57:13 [INFO] [stdout] | [INFO] [stdout] 57 | let mut next_stack: u32 = 0; [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/frame/mod.rs:61:13 [INFO] [stdout] | [INFO] [stdout] 61 | let mut slots: WasmLocals = Default::default(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fold_impl` [INFO] [stdout] --> src/abi/mod.rs:345:13 [INFO] [stdout] | [INFO] [stdout] 345 | let fold_impl = |(mut operands, mut regs, stack_bytes): FoldTuple, arg| { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_fold_impl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `regs` [INFO] [stdout] --> src/abi/mod.rs:365:28 [INFO] [stdout] | [INFO] [stdout] 365 | let (mut operands, regs, bytes): FoldTuple = if call_conv.is_default() { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_regs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `register_capacity` [INFO] [stdout] --> src/abi/mod.rs:506:13 [INFO] [stdout] | [INFO] [stdout] 506 | let register_capacity = params.len().min(6); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is intentional, prefix it with an underscore [INFO] [stdout] | [INFO] [stdout] 506 | let _register_capacity = params.len().min(6); [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to pattern match on the similarly named constant `FUNCREF_MASK` [INFO] [stdout] | [INFO] [stdout] 506 - let register_capacity = params.len().min(6); [INFO] [stdout] 506 + let wasmtime_environ::FUNCREF_MASK = params.len().min(6); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rets` [INFO] [stdout] --> src/abi/mod.rs:494:22 [INFO] [stdout] | [INFO] [stdout] 494 | prms: usize, rets: usize, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is intentional, prefix it with an underscore [INFO] [stdout] | [INFO] [stdout] 494 | prms: usize, _rets: usize, [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to pattern match on the similarly named constant `FUNCREF_MASK` [INFO] [stdout] | [INFO] [stdout] 494 - prms: usize, rets: usize, [INFO] [stdout] 494 + prms: usize, wasmtime_environ::FUNCREF_MASK: usize, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/proof_core.rs:71:9 [INFO] [stdout] | [INFO] [stdout] 71 | let mut codegen_context = crate::codegen::CodeGenContext::new(regalloc, stack, frame, &vmoffsets); [INFO] [stdout] | ----^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0554`. [INFO] [stdout] [INFO] [stderr] error: could not compile `winch-codegen` (bin "visit_arith") due to 3 previous errors; 72 warnings emitted [INFO] running `Command { std: "docker" "inspect" "46ab3512df0b8ec9389c1c270d006d5fdbf8e39b69c651973fa5e48f7af558da", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "46ab3512df0b8ec9389c1c270d006d5fdbf8e39b69c651973fa5e48f7af558da", kill_on_drop: false }` [INFO] [stdout] 46ab3512df0b8ec9389c1c270d006d5fdbf8e39b69c651973fa5e48f7af558da