mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

MIRI -> Miri

Browse Source
This commit is contained in:
Ralf Jung 2023-10-02 08:35:08 +02:00
parent ec2e00c404
commit bfc0f23acb
3 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_middle/src/mir/syntax.rs
View File

@ -996,7 +996,7 @@ pub enum InlineAsmOperand<'tcx> {
/// ///
/// [UCG#319]: https://github.com/rust-lang/unsafe-code-guidelines/issues/319 /// [UCG#319]: https://github.com/rust-lang/unsafe-code-guidelines/issues/319
/// ///
/// Rust currently requires that every place obey those two rules. This is checked by MIRI and taken /// Rust currently requires that every place obey those two rules. This is checked by Miri and taken
/// advantage of by codegen (via `gep inbounds`). That is possibly subject to change. /// advantage of by codegen (via `gep inbounds`). That is possibly subject to change.
#[derive(Copy, Clone, PartialEq, Eq, Hash, TyEncodable, HashStable, TypeFoldable, TypeVisitable)] #[derive(Copy, Clone, PartialEq, Eq, Hash, TyEncodable, HashStable, TypeFoldable, TypeVisitable)]
pub struct Place<'tcx> { pub struct Place<'tcx> {

4
library/core/tests/array.rs
View File

@ -663,7 +663,7 @@ fn array_mixed_equality_nans() {
#[test] #[test]
fn array_into_iter_fold() { fn array_into_iter_fold() {
// Strings to help MIRI catch if we double-free or something // Strings to help Miri catch if we double-free or something
let a = ["Aa".to_string(), "Bb".to_string(), "Cc".to_string()]; let a = ["Aa".to_string(), "Bb".to_string(), "Cc".to_string()];
let mut s = "s".to_string(); let mut s = "s".to_string();
a.into_iter().for_each(|b| s += &b); a.into_iter().for_each(|b| s += &b);
@ -679,7 +679,7 @@ fn array_into_iter_fold() {
#[test] #[test]
fn array_into_iter_rfold() { fn array_into_iter_rfold() {
// Strings to help MIRI catch if we double-free or something // Strings to help Miri catch if we double-free or something
let a = ["Aa".to_string(), "Bb".to_string(), "Cc".to_string()]; let a = ["Aa".to_string(), "Bb".to_string(), "Cc".to_string()];
let mut s = "s".to_string(); let mut s = "s".to_string();
a.into_iter().rev().for_each(|b| s += &b); a.into_iter().rev().for_each(|b| s += &b);

3
tests/ui/consts/const-eval/nrvo.rs
View File

@ -1,7 +1,8 @@
// run-pass // run-pass
// When the NRVO is applied, the return place (`_0`) gets treated like a normal local. For example, // When the NRVO is applied, the return place (`_0`) gets treated like a normal local. For example,
// its address may be taken and it may be written to indirectly. Ensure that MIRI can handle this. // its address may be taken and it may be written to indirectly. Ensure that the const-eval
// interpreter can handle this.
#![feature(const_mut_refs)] #![feature(const_mut_refs)]