From 4175f4a997839f691946be58c400417020bd603b Mon Sep 17 00:00:00 2001 From: Zyad Hassan Date: Thu, 31 Oct 2024 14:47:17 -0700 Subject: [PATCH] Upgrade Rust toolchain to 2024-10-31 --- kani-compiler/src/kani_middle/points_to/points_to_analysis.rs | 2 +- rust-toolchain.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/kani-compiler/src/kani_middle/points_to/points_to_analysis.rs b/kani-compiler/src/kani_middle/points_to/points_to_analysis.rs index 75ba43ab388d..8d9f14b3f969 100644 --- a/kani-compiler/src/kani_middle/points_to/points_to_analysis.rs +++ b/kani-compiler/src/kani_middle/points_to/points_to_analysis.rs @@ -96,7 +96,7 @@ impl<'a, 'tcx> PointsToAnalysis<'a, 'tcx> { // and solves the dataflow problem, producing the cursor, which contains dataflow state for // each instruction in the body. let mut cursor = - analysis.into_engine(tcx, body).iterate_to_fixpoint().into_results_cursor(body); + analysis.iterate_to_fixpoint(tcx, body, Some(Self::NAME)).into_results_cursor(body); // We collect dataflow state at each `Return` terminator to determine the full aliasing // graph for the function. This is sound since those are the only places where the function // finishes, so the dataflow state at those places will be a union of dataflow states diff --git a/rust-toolchain.toml b/rust-toolchain.toml index a577e0a941ad..331ac6d6e1db 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -2,5 +2,5 @@ # SPDX-License-Identifier: Apache-2.0 OR MIT [toolchain] -channel = "nightly-2024-10-30" +channel = "nightly-2024-10-31" components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]