rustup

Author: RalfJung

rust-version

@@ -1 +1 @@
-7665c3543079ebc3710b676d0fd6951bedfd4b29
+8824d131619e58a38bde8bcf56401629b91a204a

src/operator.rs

@@ -35,11 +35,13 @@ impl<'mir, 'tcx> EvalContextExt<'tcx> for super::MiriEvalContext<'mir, 'tcx> {
                     Immediate::Scalar(l) => (l.check_init()?.to_bits(size)?, 0),
                     Immediate::ScalarPair(l1, l2) =>
                         (l1.check_init()?.to_bits(size)?, l2.check_init()?.to_bits(size)?),
+                    Immediate::Uninit => throw_ub!(InvalidUninitBytes(None)),
                 };
                 let right = match **right {
                     Immediate::Scalar(r) => (r.check_init()?.to_bits(size)?, 0),
                     Immediate::ScalarPair(r1, r2) =>
                         (r1.check_init()?.to_bits(size)?, r2.check_init()?.to_bits(size)?),
+                    Immediate::Uninit => throw_ub!(InvalidUninitBytes(None)),
                 };
                 let res = match bin_op {
                     Eq => left == right,

tests/fail/data_race/stack_pop_race.rs

@@ -1,11 +1,14 @@
+// ignore-windows: Concurrency on Windows is not supported yet.
 // compile-flags: -Zmiri-preemption-rate=0
 use std::thread;
 
 #[derive(Copy, Clone)]
 struct MakeSend(*const i32);
 unsafe impl Send for MakeSend {}
 
-fn main() { race(0); }
+fn main() {
+    race(0);
+}
 
 // Using an argument for the ptr to point to, since those do not get StorageDead.
 fn race(local: i32) {

tests/fail/data_race/stack_pop_race.stderr

@@ -11,8 +11,8 @@ LL | }
 note: inside `main` at $DIR/stack_pop_race.rs:LL:CC
   --> $DIR/stack_pop_race.rs:LL:CC
    |
-LL | fn main() { race(0); }
-   |             ^^^^^^^
+LL |     race(0);
+   |     ^^^^^^^
 
 note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
 

tests/pass/unsized.rs

@@ -24,7 +24,7 @@ fn unsized_params() {
     f0(*c);
     let foo = "foo".to_string().into_boxed_str();
     f1(*foo);
-    let sl: Box::<[i32]> = [0, 1, 2].to_vec().into_boxed_slice();
+    let sl: Box<[i32]> = [0, 1, 2].to_vec().into_boxed_slice();
     f2(5, *sl);
     let p: Box<dyn Send> = Box::new((1, 2));
     f3(*p);