add test for unions (#1012)

Adds test showing #995 and #990 are fixed. I believe #1005 and #956 combined fixed these issues.
immunant · Aug 2, 2023 · 99c77af · 99c77af
2 parents 2f3a637 + 52d3c3f
commit 99c77af
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/c2rust-analyze/tests/filecheck/aggregate1.rs b/c2rust-analyze/tests/filecheck/aggregate1.rs
@@ -56,7 +56,23 @@ pub unsafe fn repeat() {
 }
 
 // CHECK-DAG: #[derive(Clone)]
+// CHECK-DAG: struct Foo {
 #[derive(Clone)]
 struct Foo {
     x: i32,
 }
+
+// CHECK-DAG: #[derive(Copy, Clone)]
+// CHECK-DAG: pub union Onion<'h1> {
+#[derive(Copy, Clone)]
+pub union Onion {
+    x: usize,
+    // CHECK-DAG: y: &'h1 (u8)
+    y: *mut u8,
+}
+
+// CHECK-DAG: struct UseOnion<'h2,'h1> {
+struct UseOnion {
+    // CHECK-DAG: foo: &'h2 (Onion<'h1>)
+    foo: *mut Onion,
+}