Add address identity tests

Author: lucic71

tests/ub/out/refcount/row_ptr_sub_across_rows.rs

@@ -0,0 +1,27 @@
+extern crate libcc2rs;
+use libcc2rs::*;
+use std::cell::RefCell;
+use std::collections::BTreeMap;
+use std::io::prelude::*;
+use std::io::{Read, Seek, Write};
+use std::os::fd::AsFd;
+use std::rc::{Rc, Weak};
+pub fn main() {
+    __cpp2rust_init_globals();
+    std::process::exit(main_0());
+}
+fn main_0() -> i32 {
+    let rows: Value<Box<[Box<[i32]>]>> = Rc::new(RefCell::new(Box::new([
+        Box::new([1, 2, 3]),
+        Box::new([4, 5, 6]),
+    ])));
+    return ((((((rows.as_pointer() as Ptr<Box<[i32]>>)
+        .offset(1)
+        .as_pointer()) as Ptr<i32>)
+        - (((((rows.as_pointer() as Ptr<Box<[i32]>>)
+            .offset(0)
+            .as_pointer()) as Ptr<i32>)
+            .offset(0))
+        .offset((2) as isize))) as i64) as i32);
+}
+pub fn __cpp2rust_init_globals() {}

tests/ub/out/unsafe/row_ptr_sub_across_rows.rs

@@ -0,0 +1,21 @@
+extern crate libc;
+use libc::*;
+extern crate libcc2rs;
+use libcc2rs::*;
+use std::collections::BTreeMap;
+use std::io::{Read, Seek, Write};
+use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
+use std::rc::Rc;
+pub fn main() {
+    unsafe {
+        __cpp2rust_init_globals();
+        std::process::exit(main_0() as i32);
+    }
+}
+unsafe fn main_0() -> i32 {
+    let mut rows: [[i32; 3]; 2] = [[1, 2, 3], [4, 5, 6]];
+    return ((((rows[(1) as usize].as_mut_ptr() as usize
+        - ((&mut rows[(0) as usize][(0) as usize] as *mut i32).offset((2) as isize)) as usize)
+        / ::std::mem::size_of::<i32>()) as i64) as i32);
+}
+pub unsafe fn __cpp2rust_init_globals() {}

tests/ub/row_ptr_sub_across_rows.cpp

@@ -0,0 +1,6 @@
+// panic-ub: refcount
+// nondet-result: unsafe
+int main() {
+  int rows[2][3] = {{1, 2, 3}, {4, 5, 6}};
+  return rows[1] - (&rows[0][0] + 2);
+}

tests/unit/array_reference.cpp

@@ -110,6 +110,7 @@ int main() {
   q[1][0] = q[0][1];
   q[1][1] += q[0][2];
   assert(rows[0][1] == 3 && rows[1][0] == 3 && rows[1][1] == 8);
+  assert(&rows[1][2] - &rows[1][0] == 2);
 
   int key[4] = {0, 4, 5, 6};
   assert(memcmp(&key[1], kTable[1], sizeof(kTable[1])) == 0);

tests/unit/out/refcount/array_reference.rs

@@ -189,6 +189,17 @@ fn main_0() -> i32 {
             && ((*rows.borrow())[(1) as usize][(0) as usize] == 3))
             && ((*rows.borrow())[(1) as usize][(1) as usize] == 8)
     );
+    assert!(
+        ((((((rows.as_pointer() as Ptr<Box<[i32]>>)
+            .offset(1)
+            .as_pointer()) as Ptr<i32>)
+            .offset(2))
+            - ((((rows.as_pointer() as Ptr<Box<[i32]>>)
+                .offset(1)
+                .as_pointer()) as Ptr<i32>)
+                .offset(0))) as i64
+            == 2_i64)
+    );
     let key: Value<Box<[i32]>> = Rc::new(RefCell::new(Box::new([0, 4, 5, 6])));
     assert!(
         ((((key.as_pointer() as Ptr<i32>).offset(1)) as Ptr::<i32>)

tests/unit/out/unsafe/array_reference.rs

@@ -145,6 +145,12 @@ unsafe fn main_0() -> i32 {
             && ((rows[(1) as usize][(0) as usize]) == (3)))
             && ((rows[(1) as usize][(1) as usize]) == (8))
     );
+    assert!(
+        (((((&mut rows[(1) as usize][(2) as usize] as *mut i32) as usize
+            - (&mut rows[(1) as usize][(0) as usize] as *mut i32) as usize)
+            / ::std::mem::size_of::<i32>()) as i64)
+            == (2_i64))
+    );
     let mut key: [i32; 4] = [0, 4, 5, 6];
     assert!(
         (({