Skip to content

Commit

Permalink
rustup
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Apr 7, 2020
1 parent f462b4c commit 7841f44
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion rust-version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
e6cef0445779724b469ab7b9a8d3c05d9e848ca8
42abbd8878d3b67238f3611b0587c704ba94f39c
2 changes: 1 addition & 1 deletion tests/compile-fail/stack_free.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
// Validation/SB changes why we fail
// compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows

// error-pattern: deallocating `Stack` memory using `Machine(Rust)` deallocation operation
// error-pattern: deallocating stack variable memory using Rust heap deallocation operation

fn main() {
let x = 42;
Expand Down

0 comments on commit 7841f44

Please sign in to comment.