Skip to content

Commit f3e3f33

Browse files
authored
Upgrade Rust toolchain to 2024-10-31 (#3668)
Culprit upstream change: rust-lang/rust#132338 Resolves #3664 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
1 parent 1fe80f9 commit f3e3f33

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

kani-compiler/src/kani_middle/points_to/points_to_analysis.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -96,7 +96,7 @@ impl<'a, 'tcx> PointsToAnalysis<'a, 'tcx> {
9696
// and solves the dataflow problem, producing the cursor, which contains dataflow state for
9797
// each instruction in the body.
9898
let mut cursor =
99-
analysis.into_engine(tcx, body).iterate_to_fixpoint().into_results_cursor(body);
99+
analysis.iterate_to_fixpoint(tcx, body, Some(Self::NAME)).into_results_cursor(body);
100100
// We collect dataflow state at each `Return` terminator to determine the full aliasing
101101
// graph for the function. This is sound since those are the only places where the function
102102
// finishes, so the dataflow state at those places will be a union of dataflow states

rust-toolchain.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,5 +2,5 @@
22
# SPDX-License-Identifier: Apache-2.0 OR MIT
33

44
[toolchain]
5-
channel = "nightly-2024-10-30"
5+
channel = "nightly-2024-10-31"
66
components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]

0 commit comments

Comments
 (0)