From cfe36d63e53e8778b8778ce0812a13405fd2df75 Mon Sep 17 00:00:00 2001
From: Scott Olson <scott@solson.me>
Date: Wed, 6 Apr 2016 04:27:09 -0600
Subject: [PATCH] Add test for invalid booleans.

---
 test/errors.rs | 6 ++++++
 test/vecs.rs   | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/test/errors.rs b/test/errors.rs
index 8faff149167..8d66ec48ad1 100755
--- a/test/errors.rs
+++ b/test/errors.rs
@@ -17,3 +17,9 @@ fn pointers_to_different_allocations_are_unorderable() -> bool {
     let y: *const u8 = &2;
     x < y
 }
+
+#[miri_run]
+fn invalid_bools_are_rejected() -> u8 {
+    let b = unsafe { std::mem::transmute::<u8, bool>(2) };
+    if b { 1 } else { 2 }
+}
diff --git a/test/vecs.rs b/test/vecs.rs
index b2f2f27ceea..e9f6c12b440 100755
--- a/test/vecs.rs
+++ b/test/vecs.rs
@@ -16,7 +16,7 @@ fn make_vec_macro() -> Vec<i32> {
 
 #[miri_run]
 fn make_vec_macro_repeat() -> Vec<u8> {
-    vec![42; 8]
+    vec![42; 5]
 }
 
 #[miri_run]
-- 
2.44.0