diff options
| author | Philip Herron <herron.philip@googlemail.com> | 2025-02-03 20:43:57 +0000 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2025-03-24 13:07:02 +0100 |
| commit | 419965b1cab8f1595dec4b821dd6fa739ed38b69 (patch) | |
| tree | 431fa553ce2117983048b4257b15e0bb43d5f767 /gcc/testsuite/rust/compile | |
| parent | d8dc928bad2854129eb7ae28cd6dc694f98fb47f (diff) | |
| download | gcc-419965b1cab8f1595dec4b821dd6fa739ed38b69.zip gcc-419965b1cab8f1595dec4b821dd6fa739ed38b69.tar.gz gcc-419965b1cab8f1595dec4b821dd6fa739ed38b69.tar.bz2 | |
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.philip@googlemail.com>
Diffstat (limited to 'gcc/testsuite/rust/compile')
| -rw-r--r-- | gcc/testsuite/rust/compile/issue-3402-1.rs | 29 | ||||
| -rw-r--r-- | gcc/testsuite/rust/compile/issue-3402-2.rs | 18 | ||||
| -rw-r--r-- | gcc/testsuite/rust/compile/nr2/exclude | 1 |
3 files changed, 48 insertions, 0 deletions
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 0000000..ed603ce --- /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 0000000..b665af2 --- /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 f8e280e..1b34e9f 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 |