https://gcc.gnu.org/g:419965b1cab8f1595dec4b821dd6fa739ed38b69

commit r15-8784-g419965b1cab8f1595dec4b821dd6fa739ed38b69
Author: Philip Herron <herron.phi...@googlemail.com>
Date:   Mon Feb 3 20:43:57 2025 +0000

    gccrs: Add test case to show issue is fixed
    
    This was fixed as part of: "gccrs: Fix compilation of trait-items which map 
to impl items"
    
    Fixes Rust-GCC#3402
    
    gcc/testsuite/ChangeLog:
    
            * rust/compile/nr2/exclude: nr2 cant handle this
            * rust/compile/issue-3402-1.rs: New test.
            * rust/compile/issue-3402-2.rs: New test.
    
    Signed-off-by: Philip Herron <herron.phi...@googlemail.com>

Diff:
---
 gcc/testsuite/rust/compile/issue-3402-1.rs | 29 +++++++++++++++++++++++++++++
 gcc/testsuite/rust/compile/issue-3402-2.rs | 18 ++++++++++++++++++
 gcc/testsuite/rust/compile/nr2/exclude     |  1 +
 3 files changed, 48 insertions(+)

diff --git a/gcc/testsuite/rust/compile/issue-3402-1.rs 
b/gcc/testsuite/rust/compile/issue-3402-1.rs
new file mode 100644
index 000000000000..ed603cecaada
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-3402-1.rs
@@ -0,0 +1,29 @@
+pub struct Foo {
+    a: i32,
+    // { dg-warning "field is never read" "" { target *-*-* } .-1 }
+}
+pub struct Bar(i32);
+
+#[lang = "sized"]
+trait Sized {}
+
+pub mod core {
+    pub mod default {
+        pub trait Default: Sized {
+            fn default() -> Self;
+        }
+
+        impl Default for i32 {
+            fn default() -> Self {
+                0
+            }
+        }
+    }
+}
+
+impl ::core::default::Default for Bar {
+    #[inline]
+    fn default() -> Bar {
+        Bar(core::default::Default::default())
+    }
+}
diff --git a/gcc/testsuite/rust/compile/issue-3402-2.rs 
b/gcc/testsuite/rust/compile/issue-3402-2.rs
new file mode 100644
index 000000000000..b665af25b51f
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-3402-2.rs
@@ -0,0 +1,18 @@
+pub struct Bar(i32);
+
+#[lang = "sized"]
+trait Sized {}
+
+pub trait A: Sized {
+    fn foo() -> Self;
+}
+
+impl A for i32 {
+    fn foo() -> Self {
+        0
+    }
+}
+
+pub fn bar() {
+    let _ = Bar(A::foo());
+}
diff --git a/gcc/testsuite/rust/compile/nr2/exclude 
b/gcc/testsuite/rust/compile/nr2/exclude
index f8e280e341c6..1b34e9fe20ec 100644
--- a/gcc/testsuite/rust/compile/nr2/exclude
+++ b/gcc/testsuite/rust/compile/nr2/exclude
@@ -125,4 +125,5 @@ try-trait.rs
 derive-debug1.rs
 issue-3382.rs
 derive-default1.rs
+issue-3402-1.rs
 # please don't delete the trailing newline

Reply via email to