[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<Inst>,
[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<Emission>,
[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<Inst>,
[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<Emission>,
[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<Inst>,
[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<Emission>,
[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<Inst>,
[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<Emission>,
[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
