[COMMITTED 015/145] gccrs: Add testcases for handling struct as scrutinee for match expr

[arthur . cohen]

From: Nobel Singh <nobel2...@gmail.com>

gcc/testsuite/ChangeLog:

        * rust/compile/issue-2906.rs: New test.
        * rust/execute/torture/issue-2906.rs: New test.

Signed-off-by: Nobel Singh <nobel2...@gmail.com>
---
 gcc/testsuite/rust/compile/issue-2906.rs      | 10 ++++++
 .../rust/execute/torture/issue-2906.rs        | 34 +++++++++++++++++++
 2 files changed, 44 insertions(+)
 create mode 100644 gcc/testsuite/rust/compile/issue-2906.rs
 create mode 100644 gcc/testsuite/rust/execute/torture/issue-2906.rs

diff --git a/gcc/testsuite/rust/compile/issue-2906.rs 
b/gcc/testsuite/rust/compile/issue-2906.rs
new file mode 100644
index 00000000000..20abcb095b8
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-2906.rs
@@ -0,0 +1,10 @@
+// { dg-warning "field is never read: .a." "" { target *-*-* } .-1 }
+struct Foo { a: i32 }
+
+fn main() {
+    let a = Foo { a: 15 };
+    
+    match a {
+        b => { }
+    }
+}
\ No newline at end of file
diff --git a/gcc/testsuite/rust/execute/torture/issue-2906.rs 
b/gcc/testsuite/rust/execute/torture/issue-2906.rs
new file mode 100644
index 00000000000..d3ca8ae1c5d
--- /dev/null
+++ b/gcc/testsuite/rust/execute/torture/issue-2906.rs
@@ -0,0 +1,34 @@
+// { dg-warning "field is never read: .x." "" { target *-*-* } .-1 }
+// { dg-warning "field is never read: .y." "" { target *-*-* } .-2 }
+struct Point {
+    x: u32,
+    y: u32,
+}
+
+fn is_origin(p: Point) -> bool {
+    match p {
+        Point { x, y } => {
+            if x == 0 && y == 0 {
+                return true;
+            }
+            false
+        }
+        _ => false,
+    }
+}
+
+fn main() -> i32 {
+    let p = Point { x: 0, y: 0 };
+    let q = Point { x: 0, y: 1 };
+    let mut retval = 2;
+    
+    if is_origin(p) {
+        retval -= 1;
+    }
+    
+    if !is_origin(q) {
+        retval -= 1;
+    }
+
+    retval
+}
-- 
2.45.2