[INFO] cloning repository https://github.com/Saltedf/tiny-compiler-rust [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Saltedf/tiny-compiler-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSaltedf%2Ftiny-compiler-rust", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSaltedf%2Ftiny-compiler-rust'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 233dcc876a291e21fc5792fffeb8eb97d9fde973 [INFO] checking Saltedf/tiny-compiler-rust/233dcc876a291e21fc5792fffeb8eb97d9fde973 against master#ab869e094a907cc5d19b4080f22eccaf347f1f95 for pr-129604 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSaltedf%2Ftiny-compiler-rust" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Saltedf/tiny-compiler-rust on toolchain ab869e094a907cc5d19b4080f22eccaf347f1f95 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Saltedf/tiny-compiler-rust [INFO] finished tweaking git repo https://github.com/Saltedf/tiny-compiler-rust [INFO] tweaked toml for git repo https://github.com/Saltedf/tiny-compiler-rust written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/Saltedf/tiny-compiler-rust 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" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e20915327d2106746150f1203a614400b5351028f49133457d9f7bfae748207a [INFO] running `Command { std: "docker" "start" "-a" "e20915327d2106746150f1203a614400b5351028f49133457d9f7bfae748207a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e20915327d2106746150f1203a614400b5351028f49133457d9f7bfae748207a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e20915327d2106746150f1203a614400b5351028f49133457d9f7bfae748207a", kill_on_drop: false }` [INFO] [stdout] e20915327d2106746150f1203a614400b5351028f49133457d9f7bfae748207a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 0c2897886fca5ecbd29532576169345cce189ee1ee2cae4c26789ca0fa9e58ee [INFO] running `Command { std: "docker" "start" "-a" "0c2897886fca5ecbd29532576169345cce189ee1ee2cae4c26789ca0fa9e58ee", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Checking hashbrown v0.12.3 [INFO] [stderr] Checking fixedbitset v0.4.2 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Checking petgraph v0.6.3 [INFO] [stderr] Checking eoc-rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `path::PathBuf` and `str::FromStr` [INFO] [stdout] --> src/main.rs:12:45 [INFO] [stdout] | [INFO] [stdout] 12 | use std::{error::Error, fs::read_to_string, path::PathBuf, process::exit, str::FromStr}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::*` [INFO] [stdout] --> src/env.rs:110:9 [INFO] [stdout] | [INFO] [stdout] 110 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `thread::current` [INFO] [stdout] --> src/parser.rs:1:25 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{error::Error, thread::current}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IntoNodeIdentifiers` [INFO] [stdout] --> src/pass/allocate.rs:14:28 [INFO] [stdout] | [INFO] [stdout] 14 | visit::{IntoNeighbors, IntoNodeIdentifiers}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Graph` [INFO] [stdout] --> src/pass/build_interference.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | Graph, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Token` [INFO] [stdout] --> src/pass/clike.rs:5:26 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::token::{Kind, Token}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `token` [INFO] [stdout] --> src/pass/clike.rs:6:18 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::{ast, token}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `VecDeque` and `fmt::format` [INFO] [stdout] --> src/pass/explicate_control.rs:7:40 [INFO] [stdout] | [INFO] [stdout] 7 | collections::{HashMap, LinkedList, VecDeque}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 8 | error::Error, [INFO] [stdout] 9 | fmt::format, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::VecDeque` [INFO] [stdout] --> src/pass/gen.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::collections::VecDeque; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Reg` [INFO] [stdout] --> src/pass/patch.rs:1:30 [INFO] [stdout] | [INFO] [stdout] 1 | use super::x86::{Arg, Instr, Reg}; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `fmt::format` [INFO] [stdout] --> src/scanner.rs:1:47 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{collections::HashMap, error::Error, fmt::format}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Token` [INFO] [stdout] --> src/type_checking.rs:191:42 [INFO] [stdout] | [INFO] [stdout] 191 | use super::token::{Kind, Token}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Token` [INFO] [stdout] --> src/type_checking.rs:225:42 [INFO] [stdout] | [INFO] [stdout] 225 | use super::token::{Kind, Token}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `path::PathBuf` and `str::FromStr` [INFO] [stdout] --> src/main.rs:12:45 [INFO] [stdout] | [INFO] [stdout] 12 | use std::{error::Error, fs::read_to_string, path::PathBuf, process::exit, str::FromStr}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `thread::current` [INFO] [stdout] --> src/parser.rs:1:25 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{error::Error, thread::current}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IntoNodeIdentifiers` [INFO] [stdout] --> src/pass/allocate.rs:14:28 [INFO] [stdout] | [INFO] [stdout] 14 | visit::{IntoNeighbors, IntoNodeIdentifiers}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Graph` [INFO] [stdout] --> src/pass/build_interference.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | Graph, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Token` [INFO] [stdout] --> src/pass/clike.rs:5:26 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::token::{Kind, Token}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `token` [INFO] [stdout] --> src/pass/clike.rs:6:18 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::{ast, token}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `VecDeque` and `fmt::format` [INFO] [stdout] --> src/pass/explicate_control.rs:7:40 [INFO] [stdout] | [INFO] [stdout] 7 | collections::{HashMap, LinkedList, VecDeque}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 8 | error::Error, [INFO] [stdout] 9 | fmt::format, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::VecDeque` [INFO] [stdout] --> src/pass/gen.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::collections::VecDeque; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Reg` [INFO] [stdout] --> src/pass/patch.rs:1:30 [INFO] [stdout] | [INFO] [stdout] 1 | use super::x86::{Arg, Instr, Reg}; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `fmt::format` [INFO] [stdout] --> src/scanner.rs:1:47 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{collections::HashMap, error::Error, fmt::format}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Token` [INFO] [stdout] --> src/type_checking.rs:191:42 [INFO] [stdout] | [INFO] [stdout] 191 | use super::token::{Kind, Token}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Token` [INFO] [stdout] --> src/type_checking.rs:225:42 [INFO] [stdout] | [INFO] [stdout] 225 | use super::token::{Kind, Token}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable statement [INFO] [stdout] --> src/main.rs:61:5 [INFO] [stdout] | [INFO] [stdout] 59 | return Ok(()); [INFO] [stdout] | ------------- any code following this expression is unreachable [INFO] [stdout] 60 | [INFO] [stdout] 61 | println!("============Select Instrucitons==========="); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unreachable statement [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] = note: this warning originates in the macro `println` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IntoNeighbors` [INFO] [stdout] --> src/pass/allocate.rs:14:13 [INFO] [stdout] | [INFO] [stdout] 14 | visit::{IntoNeighbors, IntoNodeIdentifiers}, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable statement [INFO] [stdout] --> src/main.rs:61:5 [INFO] [stdout] | [INFO] [stdout] 59 | return Ok(()); [INFO] [stdout] | ------------- any code following this expression is unreachable [INFO] [stdout] 60 | [INFO] [stdout] 61 | println!("============Select Instrucitons==========="); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unreachable statement [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] = note: this warning originates in the macro `println` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IntoNeighbors` [INFO] [stdout] --> src/pass/allocate.rs:14:13 [INFO] [stdout] | [INFO] [stdout] 14 | visit::{IntoNeighbors, IntoNodeIdentifiers}, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `e` [INFO] [stdout] --> src/pass/explicate_control.rs:27:18 [INFO] [stdout] | [INFO] [stdout] 27 | Expr(e) => {} [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/pass/explicate_control.rs:28:22 [INFO] [stdout] | [INFO] [stdout] 28 | Assign { name, binding } => {} [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `binding` [INFO] [stdout] --> src/pass/explicate_control.rs:28:28 [INFO] [stdout] | [INFO] [stdout] 28 | Assign { name, binding } => {} [INFO] [stdout] | ^^^^^^^ help: try ignoring the field: `binding: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `condition` [INFO] [stdout] --> src/pass/explicate_control.rs:30:17 [INFO] [stdout] | [INFO] [stdout] 30 | condition, [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `condition: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `then` [INFO] [stdout] --> src/pass/explicate_control.rs:31:17 [INFO] [stdout] | [INFO] [stdout] 31 | then, [INFO] [stdout] | ^^^^ help: try ignoring the field: `then: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `else_` [INFO] [stdout] --> src/pass/explicate_control.rs:32:17 [INFO] [stdout] | [INFO] [stdout] 32 | else_, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `else_: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `condition` [INFO] [stdout] --> src/pass/explicate_control.rs:44:17 [INFO] [stdout] | [INFO] [stdout] 44 | condition, [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `condition: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `then` [INFO] [stdout] --> src/pass/explicate_control.rs:45:17 [INFO] [stdout] | [INFO] [stdout] 45 | then, [INFO] [stdout] | ^^^^ help: try ignoring the field: `then: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `else_` [INFO] [stdout] --> src/pass/explicate_control.rs:46:17 [INFO] [stdout] | [INFO] [stdout] 46 | else_, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `else_: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/pass/explicate_control.rs:61:21 [INFO] [stdout] | [INFO] [stdout] 61 | Block { body, result } => {} [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> src/pass/explicate_control.rs:61:27 [INFO] [stdout] | [INFO] [stdout] 61 | Block { body, result } => {} [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/pass/explicate_control.rs:95:21 [INFO] [stdout] | [INFO] [stdout] 95 | Block { body, result } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> src/pass/explicate_control.rs:95:27 [INFO] [stdout] | [INFO] [stdout] 95 | Block { body, result } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `operands` [INFO] [stdout] --> src/pass/explicate_control.rs:127:24 [INFO] [stdout] | [INFO] [stdout] 127 | Prim { op, operands } if op.kind() == Kind::Bang => { [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `operands: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `operands` [INFO] [stdout] --> src/pass/explicate_control.rs:137:24 [INFO] [stdout] | [INFO] [stdout] 137 | Prim { op, operands } [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `operands: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/pass/explicate_control.rs:170:21 [INFO] [stdout] | [INFO] [stdout] 170 | Block { body, result } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> src/pass/explicate_control.rs:170:27 [INFO] [stdout] | [INFO] [stdout] 170 | Block { body, result } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/pass/x86.rs:33:13 [INFO] [stdout] | [INFO] [stdout] 33 | _ => unimplemented!(), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/pass/x86.rs:33:13 [INFO] [stdout] | [INFO] [stdout] 24 | Retq => write!(f, "retq"), [INFO] [stdout] | ---- matches some of the same values [INFO] [stdout] 25 | Jump(l) => write!(f, "jmpq {}", l), [INFO] [stdout] | ------- matches some of the same values [INFO] [stdout] 26 | Callq(l, _) => write!(f, "callq {}", l), [INFO] [stdout] | ----------- matches some of the same values [INFO] [stdout] 27 | Pushq(a) => write!(f, "pushq {}", a), [INFO] [stdout] | -------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 33 | _ => unimplemented!(), [INFO] [stdout] | ^ ...and 5 other patterns collectively make this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `len` [INFO] [stdout] --> src/pass/x86.rs:107:22 [INFO] [stdout] | [INFO] [stdout] 107 | Callq(_, len) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_len` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `loc` [INFO] [stdout] --> src/pass/x86.rs:114:19 [INFO] [stdout] | [INFO] [stdout] 114 | Pushq(loc) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_loc` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/pass/x86.rs:123:18 [INFO] [stdout] | [INFO] [stdout] 123 | Addq(s, d) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/pass/x86.rs:128:18 [INFO] [stdout] | [INFO] [stdout] 128 | Subq(s, d) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/pass/x86.rs:136:18 [INFO] [stdout] | [INFO] [stdout] 136 | Movq(s, d) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `e` [INFO] [stdout] --> src/pass/explicate_control.rs:27:18 [INFO] [stdout] | [INFO] [stdout] 27 | Expr(e) => {} [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/pass/explicate_control.rs:28:22 [INFO] [stdout] | [INFO] [stdout] 28 | Assign { name, binding } => {} [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `binding` [INFO] [stdout] --> src/pass/explicate_control.rs:28:28 [INFO] [stdout] | [INFO] [stdout] 28 | Assign { name, binding } => {} [INFO] [stdout] | ^^^^^^^ help: try ignoring the field: `binding: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `condition` [INFO] [stdout] --> src/pass/explicate_control.rs:30:17 [INFO] [stdout] | [INFO] [stdout] 30 | condition, [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `condition: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `then` [INFO] [stdout] --> src/pass/explicate_control.rs:31:17 [INFO] [stdout] | [INFO] [stdout] 31 | then, [INFO] [stdout] | ^^^^ help: try ignoring the field: `then: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `else_` [INFO] [stdout] --> src/pass/explicate_control.rs:32:17 [INFO] [stdout] | [INFO] [stdout] 32 | else_, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `else_: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `condition` [INFO] [stdout] --> src/pass/explicate_control.rs:44:17 [INFO] [stdout] | [INFO] [stdout] 44 | condition, [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `condition: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `then` [INFO] [stdout] --> src/pass/explicate_control.rs:45:17 [INFO] [stdout] | [INFO] [stdout] 45 | then, [INFO] [stdout] | ^^^^ help: try ignoring the field: `then: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `else_` [INFO] [stdout] --> src/pass/explicate_control.rs:46:17 [INFO] [stdout] | [INFO] [stdout] 46 | else_, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `else_: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/pass/explicate_control.rs:61:21 [INFO] [stdout] | [INFO] [stdout] 61 | Block { body, result } => {} [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> src/pass/explicate_control.rs:61:27 [INFO] [stdout] | [INFO] [stdout] 61 | Block { body, result } => {} [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/pass/explicate_control.rs:95:21 [INFO] [stdout] | [INFO] [stdout] 95 | Block { body, result } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> src/pass/explicate_control.rs:95:27 [INFO] [stdout] | [INFO] [stdout] 95 | Block { body, result } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `operands` [INFO] [stdout] --> src/pass/explicate_control.rs:127:24 [INFO] [stdout] | [INFO] [stdout] 127 | Prim { op, operands } if op.kind() == Kind::Bang => { [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `operands: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `operands` [INFO] [stdout] --> src/pass/explicate_control.rs:137:24 [INFO] [stdout] | [INFO] [stdout] 137 | Prim { op, operands } [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `operands: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/pass/explicate_control.rs:170:21 [INFO] [stdout] | [INFO] [stdout] 170 | Block { body, result } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> src/pass/explicate_control.rs:170:27 [INFO] [stdout] | [INFO] [stdout] 170 | Block { body, result } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/type_checking.rs:168:27 [INFO] [stdout] | [INFO] [stdout] 168 | ExprData::Int(i) => return Ok(Type::Int), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> src/type_checking.rs:169:29 [INFO] [stdout] | [INFO] [stdout] 169 | ExprData::Float(n) => return Ok(Type::Float), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `e` [INFO] [stdout] --> src/type_checking.rs:179:29 [INFO] [stdout] | [INFO] [stdout] 179 | let e = &args[index]; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> src/type_checking.rs:239:28 [INFO] [stdout] | [INFO] [stdout] 239 | ExprData::Bool(b) => Ok(Type::Bool), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/type_checking.rs:258:31 [INFO] [stdout] | [INFO] [stdout] 258 | ExprData::Block { body, result } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `arg` is never used [INFO] [stdout] --> src/ast_builder.rs:141:12 [INFO] [stdout] | [INFO] [stdout] 134 | impl FunctionCall { [INFO] [stdout] | ----------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 141 | pub fn arg(mut self, arg: Expr) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `contains`, `update`, and `level` are never used [INFO] [stdout] --> src/env.rs:44:12 [INFO] [stdout] | [INFO] [stdout] 31 | impl Env { [INFO] [stdout] | -------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 44 | pub fn contains(&mut self, sym: &str) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 48 | pub fn update(&mut self, symbol: String, data: T) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 75 | pub fn level(&self) -> usize { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `print_stmt` is never used [INFO] [stdout] --> src/parser.rs:107:8 [INFO] [stdout] | [INFO] [stdout] 18 | impl<'r> Parser<'r> { [INFO] [stdout] | ------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 107 | fn print_stmt(&mut self) -> Result { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Label` is never used [INFO] [stdout] --> src/pass/clike.rs:8:10 [INFO] [stdout] | [INFO] [stdout] 8 | pub type Label = String; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `CProgrom` is never constructed [INFO] [stdout] --> src/pass/clike.rs:11:12 [INFO] [stdout] | [INFO] [stdout] 11 | pub struct CProgrom { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CProgrom` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `BlockData` is never constructed [INFO] [stdout] --> src/pass/clike.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 16 | pub struct BlockData(Vec); [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `BlockData` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Stmt` is never used [INFO] [stdout] --> src/pass/clike.rs:19:10 [INFO] [stdout] | [INFO] [stdout] 19 | pub enum Stmt { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Stmt` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_tail` is never used [INFO] [stdout] --> src/pass/clike.rs:36:12 [INFO] [stdout] | [INFO] [stdout] 35 | impl Stmt { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] 36 | pub fn is_tail(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/pass/clike.rs:55:10 [INFO] [stdout] | [INFO] [stdout] 55 | Atom(Atom), [INFO] [stdout] | ---- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 55 | Atom(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `op` and `operands` are never read [INFO] [stdout] --> src/pass/clike.rs:56:12 [INFO] [stdout] | [INFO] [stdout] 56 | Prim { op: Kind, operands: Vec }, [INFO] [stdout] | ---- ^^ ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name` and `args` are never read [INFO] [stdout] --> src/pass/clike.rs:57:12 [INFO] [stdout] | [INFO] [stdout] 57 | Call { name: Atom, args: Vec }, [INFO] [stdout] | ---- ^^^^ ^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/pass/clike.rs:66:9 [INFO] [stdout] | [INFO] [stdout] 66 | Int(i64), [INFO] [stdout] | --- ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Atom` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 66 | Int(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/pass/clike.rs:67:11 [INFO] [stdout] | [INFO] [stdout] 67 | Float(f64), [INFO] [stdout] | ----- ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Atom` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 67 | Float(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/pass/clike.rs:68:10 [INFO] [stdout] | [INFO] [stdout] 68 | Bool(bool), [INFO] [stdout] | ---- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Atom` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 68 | Bool(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/pass/clike.rs:69:10 [INFO] [stdout] | [INFO] [stdout] 69 | Name(String), [INFO] [stdout] | ---- ^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Atom` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 69 | Name(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Result` is never used [INFO] [stdout] --> src/pass/explicate_control.rs:14:6 [INFO] [stdout] | [INFO] [stdout] 14 | type Result = std::result::Result>; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ExplicateControl` is never constructed [INFO] [stdout] --> src/pass/explicate_control.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 16 | pub struct ExplicateControl { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `explicate_stmt`, `explicate_effect`, `explicate_assign`, `explicate_pred`, `create_block`, and `gen_block_name` are never used [INFO] [stdout] --> src/pass/explicate_control.rs:24:8 [INFO] [stdout] | [INFO] [stdout] 23 | impl ExplicateControl { [INFO] [stdout] | --------------------- methods in this implementation [INFO] [stdout] 24 | fn explicate_stmt(&mut self, s: Stmt) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 38 | fn explicate_effect(&mut self, e: Expr) -> Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 69 | fn explicate_assign( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 112 | fn explicate_pred( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 193 | fn create_block(&mut self, stmts: Vec) -> (String, Vec) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 202 | fn gen_block_name(&mut self, prefix: &str) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Location` is never used [INFO] [stdout] --> src/pass/liveness.rs:10:6 [INFO] [stdout] | [INFO] [stdout] 10 | enum Location { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Program` is never constructed [INFO] [stdout] --> src/pass/x86.rs:3:12 [INFO] [stdout] | [INFO] [stdout] 3 | pub struct Program(Vec); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Jump` is never constructed [INFO] [stdout] --> src/pass/x86.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 8 | pub enum Instr { [INFO] [stdout] | ----- variant in this enum [INFO] [stdout] 9 | Retq, [INFO] [stdout] 10 | Jump(Label), [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Instr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Rbx`, `R12`, `R13`, and `R14` are never constructed [INFO] [stdout] --> src/pass/x86.rs:193:5 [INFO] [stdout] | [INFO] [stdout] 189 | pub enum Reg { [INFO] [stdout] | --- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 193 | Rbx, [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 202 | R12, [INFO] [stdout] | ^^^ [INFO] [stdout] 203 | R13, [INFO] [stdout] | ^^^ [INFO] [stdout] 204 | R14, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Reg` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `callee_saved` is never used [INFO] [stdout] --> src/pass/x86.rs:225:12 [INFO] [stdout] | [INFO] [stdout] 207 | impl Reg { [INFO] [stdout] | -------- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 225 | pub fn callee_saved() -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::result::Result` that must be used [INFO] [stdout] --> src/ast.rs:126:17 [INFO] [stdout] | [INFO] [stdout] 126 | writeln!(f, "{{"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] = note: this warning originates in the macro `writeln` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::result::Result` that must be used [INFO] [stdout] --> src/type_checking.rs:143:17 [INFO] [stdout] | [INFO] [stdout] 143 | self.expect_same_type(&t1, &t2, then); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 143 | let _ = self.expect_same_type(&t1, &t2, then); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/pass/x86.rs:33:13 [INFO] [stdout] | [INFO] [stdout] 33 | _ => unimplemented!(), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/pass/x86.rs:33:13 [INFO] [stdout] | [INFO] [stdout] 24 | Retq => write!(f, "retq"), [INFO] [stdout] | ---- matches some of the same values [INFO] [stdout] 25 | Jump(l) => write!(f, "jmpq {}", l), [INFO] [stdout] | ------- matches some of the same values [INFO] [stdout] 26 | Callq(l, _) => write!(f, "callq {}", l), [INFO] [stdout] | ----------- matches some of the same values [INFO] [stdout] 27 | Pushq(a) => write!(f, "pushq {}", a), [INFO] [stdout] | -------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 33 | _ => unimplemented!(), [INFO] [stdout] | ^ ...and 5 other patterns collectively make this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `len` [INFO] [stdout] --> src/pass/x86.rs:107:22 [INFO] [stdout] | [INFO] [stdout] 107 | Callq(_, len) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_len` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `loc` [INFO] [stdout] --> src/pass/x86.rs:114:19 [INFO] [stdout] | [INFO] [stdout] 114 | Pushq(loc) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_loc` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/pass/x86.rs:123:18 [INFO] [stdout] | [INFO] [stdout] 123 | Addq(s, d) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/pass/x86.rs:128:18 [INFO] [stdout] | [INFO] [stdout] 128 | Subq(s, d) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/pass/x86.rs:136:18 [INFO] [stdout] | [INFO] [stdout] 136 | Movq(s, d) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 68 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/type_checking.rs:168:27 [INFO] [stdout] | [INFO] [stdout] 168 | ExprData::Int(i) => return Ok(Type::Int), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> src/type_checking.rs:169:29 [INFO] [stdout] | [INFO] [stdout] 169 | ExprData::Float(n) => return Ok(Type::Float), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `e` [INFO] [stdout] --> src/type_checking.rs:179:29 [INFO] [stdout] | [INFO] [stdout] 179 | let e = &args[index]; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> src/type_checking.rs:239:28 [INFO] [stdout] | [INFO] [stdout] 239 | ExprData::Bool(b) => Ok(Type::Bool), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/type_checking.rs:258:31 [INFO] [stdout] | [INFO] [stdout] 258 | ExprData::Block { body, result } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `arg` is never used [INFO] [stdout] --> src/ast_builder.rs:141:12 [INFO] [stdout] | [INFO] [stdout] 134 | impl FunctionCall { [INFO] [stdout] | ----------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 141 | pub fn arg(mut self, arg: Expr) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `contains`, `update`, and `level` are never used [INFO] [stdout] --> src/env.rs:44:12 [INFO] [stdout] | [INFO] [stdout] 31 | impl Env { [INFO] [stdout] | -------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 44 | pub fn contains(&mut self, sym: &str) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 48 | pub fn update(&mut self, symbol: String, data: T) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 75 | pub fn level(&self) -> usize { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `print_stmt` is never used [INFO] [stdout] --> src/parser.rs:107:8 [INFO] [stdout] | [INFO] [stdout] 18 | impl<'r> Parser<'r> { [INFO] [stdout] | ------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 107 | fn print_stmt(&mut self) -> Result { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Label` is never used [INFO] [stdout] --> src/pass/clike.rs:8:10 [INFO] [stdout] | [INFO] [stdout] 8 | pub type Label = String; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `CProgrom` is never constructed [INFO] [stdout] --> src/pass/clike.rs:11:12 [INFO] [stdout] | [INFO] [stdout] 11 | pub struct CProgrom { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CProgrom` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `BlockData` is never constructed [INFO] [stdout] --> src/pass/clike.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 16 | pub struct BlockData(Vec); [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `BlockData` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Stmt` is never used [INFO] [stdout] --> src/pass/clike.rs:19:10 [INFO] [stdout] | [INFO] [stdout] 19 | pub enum Stmt { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Stmt` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_tail` is never used [INFO] [stdout] --> src/pass/clike.rs:36:12 [INFO] [stdout] | [INFO] [stdout] 35 | impl Stmt { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] 36 | pub fn is_tail(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/pass/clike.rs:55:10 [INFO] [stdout] | [INFO] [stdout] 55 | Atom(Atom), [INFO] [stdout] | ---- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 55 | Atom(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `op` and `operands` are never read [INFO] [stdout] --> src/pass/clike.rs:56:12 [INFO] [stdout] | [INFO] [stdout] 56 | Prim { op: Kind, operands: Vec }, [INFO] [stdout] | ---- ^^ ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name` and `args` are never read [INFO] [stdout] --> src/pass/clike.rs:57:12 [INFO] [stdout] | [INFO] [stdout] 57 | Call { name: Atom, args: Vec }, [INFO] [stdout] | ---- ^^^^ ^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/pass/clike.rs:66:9 [INFO] [stdout] | [INFO] [stdout] 66 | Int(i64), [INFO] [stdout] | --- ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Atom` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 66 | Int(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/pass/clike.rs:67:11 [INFO] [stdout] | [INFO] [stdout] 67 | Float(f64), [INFO] [stdout] | ----- ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Atom` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 67 | Float(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/pass/clike.rs:68:10 [INFO] [stdout] | [INFO] [stdout] 68 | Bool(bool), [INFO] [stdout] | ---- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Atom` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 68 | Bool(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/pass/clike.rs:69:10 [INFO] [stdout] | [INFO] [stdout] 69 | Name(String), [INFO] [stdout] | ---- ^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Atom` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 69 | Name(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Result` is never used [INFO] [stdout] --> src/pass/explicate_control.rs:14:6 [INFO] [stdout] | [INFO] [stdout] 14 | type Result = std::result::Result>; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ExplicateControl` is never constructed [INFO] [stdout] --> src/pass/explicate_control.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 16 | pub struct ExplicateControl { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `explicate_stmt`, `explicate_effect`, `explicate_assign`, `explicate_pred`, `create_block`, and `gen_block_name` are never used [INFO] [stdout] --> src/pass/explicate_control.rs:24:8 [INFO] [stdout] | [INFO] [stdout] 23 | impl ExplicateControl { [INFO] [stdout] | --------------------- methods in this implementation [INFO] [stdout] 24 | fn explicate_stmt(&mut self, s: Stmt) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 38 | fn explicate_effect(&mut self, e: Expr) -> Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 69 | fn explicate_assign( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 112 | fn explicate_pred( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 193 | fn create_block(&mut self, stmts: Vec) -> (String, Vec) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 202 | fn gen_block_name(&mut self, prefix: &str) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Location` is never used [INFO] [stdout] --> src/pass/liveness.rs:10:6 [INFO] [stdout] | [INFO] [stdout] 10 | enum Location { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Program` is never constructed [INFO] [stdout] --> src/pass/x86.rs:3:12 [INFO] [stdout] | [INFO] [stdout] 3 | pub struct Program(Vec); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Jump` is never constructed [INFO] [stdout] --> src/pass/x86.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 8 | pub enum Instr { [INFO] [stdout] | ----- variant in this enum [INFO] [stdout] 9 | Retq, [INFO] [stdout] 10 | Jump(Label), [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Instr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Rbx`, `R12`, `R13`, and `R14` are never constructed [INFO] [stdout] --> src/pass/x86.rs:193:5 [INFO] [stdout] | [INFO] [stdout] 189 | pub enum Reg { [INFO] [stdout] | --- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 193 | Rbx, [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 202 | R12, [INFO] [stdout] | ^^^ [INFO] [stdout] 203 | R13, [INFO] [stdout] | ^^^ [INFO] [stdout] 204 | R14, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Reg` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `callee_saved` is never used [INFO] [stdout] --> src/pass/x86.rs:225:12 [INFO] [stdout] | [INFO] [stdout] 207 | impl Reg { [INFO] [stdout] | -------- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 225 | pub fn callee_saved() -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::result::Result` that must be used [INFO] [stdout] --> src/ast.rs:126:17 [INFO] [stdout] | [INFO] [stdout] 126 | writeln!(f, "{{"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] = note: this warning originates in the macro `writeln` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::result::Result` that must be used [INFO] [stdout] --> src/type_checking.rs:143:17 [INFO] [stdout] | [INFO] [stdout] 143 | self.expect_same_type(&t1, &t2, then); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 143 | let _ = self.expect_same_type(&t1, &t2, then); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 67 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.79s [INFO] running `Command { std: "docker" "inspect" "0c2897886fca5ecbd29532576169345cce189ee1ee2cae4c26789ca0fa9e58ee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0c2897886fca5ecbd29532576169345cce189ee1ee2cae4c26789ca0fa9e58ee", kill_on_drop: false }` [INFO] [stdout] 0c2897886fca5ecbd29532576169345cce189ee1ee2cae4c26789ca0fa9e58ee