Skip to content

Commit d8761c0

Browse files
committed
Auto merge of rust-lang#2592 - RalfJung:rustup, r=RalfJung
Rustup
2 parents e7785f6 + e67e01b commit d8761c0

File tree

4 files changed

+4
-5
lines changed

4 files changed

+4
-5
lines changed

src/tools/miri/rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
0265a3e93bf1b89d97cae113ed214954d5c35e22
1+
538f118da1409759ba198acc0ff62070bc6d2dce

src/tools/miri/src/concurrency/weak_memory.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@
1717
//! load to the first, as a result of C++20's coherence-ordered before rules.
1818
//!
1919
//! Rust follows the C++20 memory model (except for the Consume ordering and some operations not performable through C++'s
20-
//! std::atomic<T> API). It is therefore possible for this implementation to generate behaviours never observable when the
20+
//! `std::atomic<T>` API). It is therefore possible for this implementation to generate behaviours never observable when the
2121
//! same program is compiled and run natively. Unfortunately, no literature exists at the time of writing which proposes
2222
//! an implementable and C++20-compatible relaxed memory model that supports all atomic operation existing in Rust. The closest one is
2323
//! A Promising Semantics for Relaxed-Memory Concurrency by Jeehoon Kang et al. (<https://www.cs.tau.ac.il/~orilahav/papers/popl17.pdf>)

src/tools/miri/src/lib.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
#![feature(rustc_private)]
2-
#![feature(map_first_last)]
32
#![feature(map_try_insert)]
43
#![feature(never_type)]
54
#![feature(try_blocks)]

src/tools/miri/tests/fail/function_calls/exported_symbol_bad_unwind2.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
//@revisions: extern_block definition both
22
#![feature(rustc_attrs, c_unwind)]
33

4-
#[cfg_attr(any(definition, both), rustc_allocator_nounwind)]
4+
#[cfg_attr(any(definition, both), rustc_nounwind)]
55
#[no_mangle]
66
extern "C-unwind" fn nounwind() {
77
//[definition]~^ ERROR: abnormal termination: the program aborted execution
@@ -11,7 +11,7 @@ extern "C-unwind" fn nounwind() {
1111

1212
fn main() {
1313
extern "C-unwind" {
14-
#[cfg_attr(any(extern_block, both), rustc_allocator_nounwind)]
14+
#[cfg_attr(any(extern_block, both), rustc_nounwind)]
1515
fn nounwind();
1616
}
1717
unsafe { nounwind() }

0 commit comments

Comments
 (0)