add XFAIL test

Author: nunoplopes

tests/unit/out/refcount/vector_bool_reference.rs

@@ -31,6 +31,20 @@ fn main_0() -> i32 {
         v1.decay().offset(0_usize as isize)
     };
     assert!(!(v1.decay().offset(0_usize as isize).read()));
+    {
+        let v: Value<Vec<bool>> = Rc::new(RefCell::new(Vec::from([false, false, false])));
+        let mut i: i32 = 0;
+        let mut b: bool = (*{
+            v.decay()
+                .offset((i.postfix_inc() as usize) as isize)
+                .write(true);
+            v.decay().offset((i.postfix_inc() as usize) as isize)
+        }
+        .upgrade()
+        .deref())
+        .read();
+        assert!(b);
+    }
     return 0;
 }
 pub fn __cpp2rust_init_globals() {}

tests/unit/out/unsafe/vector_bool_reference.rs

@@ -33,6 +33,15 @@ unsafe fn main_0() -> i32 {
         (&mut (v1)[0_usize as usize] as *mut bool)
     };
     assert!(!(*(&mut (v1)[0_usize as usize] as *mut bool)));
+    {
+        let mut v: Vec<bool> = Vec::from([false, false, false]);
+        let mut i: i32 = 0;
+        let mut b: bool = *(*{
+            *(&mut (v)[(i.postfix_inc() as usize) as usize] as *mut bool) = true;
+            (&mut (v)[(i.postfix_inc() as usize) as usize] as *mut bool)
+        });
+        assert!(b);
+    }
     return 0;
 }
 pub unsafe fn __cpp2rust_init_globals() {}

tests/unit/vector_bool_reference.cpp

@@ -1,3 +1,4 @@
+// XFAIL: refcount, unsafe
 #include <cassert>
 #include <vector>
 
@@ -13,5 +14,11 @@ int main() {
   assert(v1[0]);
   v1[0] = false;
   assert(!v1[0]);
+{
+  std::vector<bool> v = {false, false, false };
+  int i = 0;
+  bool b = v[i++] = true;
+  assert(b);
+}
   return 0;
 }