diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index ab07b5cc..3eba341f 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -27,10 +27,11 @@ jobs: cargo test --all -- --test-threads=1 env: CARGO_INCREMENTAL: 0 - RUSTFLAGS: "-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Zpanic_abort_tests" + RUSTFLAGS: "-Zprofile -Ccodegen-units=1 -Copt-level=0 -Clink-dead-code -Coverflow-checks=off -Zpanic_abort_tests" - name: Setup grcov - uses: actions-rs/grcov@v0.1 + run: | + cargo install grcov - name: Run grcov run: | diff --git a/Cargo.lock b/Cargo.lock index 946f0b15..78f5e42d 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -569,7 +569,7 @@ checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a" [[package]] name = "mirai" -version = "1.1.7" +version = "1.1.8" dependencies = [ "bincode", "cargo_metadata", diff --git a/binaries/summary_store.tar b/binaries/summary_store.tar index e9d26319..b60283e3 100644 Binary files a/binaries/summary_store.tar and b/binaries/summary_store.tar differ diff --git a/checker/Cargo.toml b/checker/Cargo.toml index 85a4ae1c..02137195 100644 --- a/checker/Cargo.toml +++ b/checker/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "mirai" -version = "1.1.7" +version = "1.1.8" authors = ["Herman Venter "] description = "A static analysis tool for Rust, based on Abstract Interpretation of MIR" repository = "https://github.com/facebookexperimental/MIRAI" diff --git a/checker/tests/call_graph/fnptr_fold.rs b/checker/tests/call_graph/fnptr_fold.rs index 928839e8..67304dae 100644 --- a/checker/tests/call_graph/fnptr_fold.rs +++ b/checker/tests/call_graph/fnptr_fold.rs @@ -68,10 +68,10 @@ commit; /* EXPECTED:CALL_SITES{ "files": [ "tests/call_graph/fnptr_fold.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/std/src/io/stdio.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/core/src/fmt/mod.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/core/src/slice/mod.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/core/src/ptr/metadata.rs" + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/std/src/io/stdio.rs", + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/core/src/fmt/mod.rs", + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/core/src/slice/mod.rs", + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/core/src/ptr/metadata.rs" ], "callables": [ { diff --git a/checker/tests/call_graph/static_fold.rs b/checker/tests/call_graph/static_fold.rs index b5f860ac..544535b1 100644 --- a/checker/tests/call_graph/static_fold.rs +++ b/checker/tests/call_graph/static_fold.rs @@ -64,10 +64,10 @@ commit; /* EXPECTED:CALL_SITES{ "files": [ "tests/call_graph/static_fold.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/std/src/io/stdio.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/core/src/fmt/mod.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/core/src/slice/mod.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/core/src/ptr/metadata.rs" + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/std/src/io/stdio.rs", + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/core/src/fmt/mod.rs", + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/core/src/slice/mod.rs", + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/core/src/ptr/metadata.rs" ], "callables": [ { diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 528260a4..16570262 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2023-05-08" +channel = "nightly-2023-05-09" components = [ "clippy", "rustfmt", "rustc-dev", "rust-src", "rust-std", "llvm-tools-preview" ]