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

rustup

Browse Source
This commit is contained in:
Ralf Jung 2022-10-07 17:29:08 +02:00
parent bfd5bfe6ba
commit c2adc2e234
3 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/rust-version
View File

@ -1 +1 @@
acb8934fd57b3c2740c4abac0a5728c2c9b1423b e42c4d7218b2596276152c5eb1e69335621f3086

1
src/tools/miri/tests/fail/invalid_bool.rs
View File

@ -2,7 +2,6 @@
// Make sure we find these even with many checks disabled. // Make sure we find these even with many checks disabled.
//@compile-flags: -Zmiri-disable-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-disable-validation //@compile-flags: -Zmiri-disable-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-disable-validation
fn main() { fn main() {
let b = unsafe { std::mem::transmute::<u8, bool>(2) }; let b = unsafe { std::mem::transmute::<u8, bool>(2) };
let _x = b == std::hint::black_box(true); //~ ERROR: interpreting an invalid 8-bit value as a bool let _x = b == std::hint::black_box(true); //~ ERROR: interpreting an invalid 8-bit value as a bool

4
src/tools/miri/tests/pass/issues/issue-miri-2433.rs
View File

@ -1,6 +1,8 @@
#![feature(type_alias_impl_trait)] #![feature(type_alias_impl_trait)]
trait T { type Item; } trait T {
type Item;
}
type Alias<'a> = impl T<Item = &'a ()>; type Alias<'a> = impl T<Item = &'a ()>;