diff options
| author | Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com> | 2024-05-20 13:29:51 +0200 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2025-03-17 16:35:32 +0100 |
| commit | 997fa94b5276766acb40dd502eb606d5e220e918 (patch) | |
| tree | b189df5b83fc4b3cc71d3101a8824492f87511ff /gcc | |
| parent | 8cd5487f4415f1e6e392f24665a8befed6c894ad (diff) | |
| download | gcc-997fa94b5276766acb40dd502eb606d5e220e918.zip gcc-997fa94b5276766acb40dd502eb606d5e220e918.tar.gz gcc-997fa94b5276766acb40dd502eb606d5e220e918.tar.bz2 | |
gccrs: Add two new tests related to may_dangle attribute
First test checks the may_dangle outer atttribute on generic params can
be parsed. The second one tests whether may_dangle attributes are
correctly feature gated.
gcc/testsuite/ChangeLog:
* rust/compile/dropck_eyepatch_feature_gate.rs: New test.
* rust/compile/may_dangle.rs: New test.
Signed-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/rust/compile/dropck_eyepatch_feature_gate.rs | 8 | ||||
| -rw-r--r-- | gcc/testsuite/rust/compile/may_dangle.rs | 10 |
2 files changed, 18 insertions, 0 deletions
diff --git a/gcc/testsuite/rust/compile/dropck_eyepatch_feature_gate.rs b/gcc/testsuite/rust/compile/dropck_eyepatch_feature_gate.rs new file mode 100644 index 0000000..3c3174f --- /dev/null +++ b/gcc/testsuite/rust/compile/dropck_eyepatch_feature_gate.rs @@ -0,0 +1,8 @@ +// { dg-options "-frust-compile-until=lowering" } +struct Test<T> { + _inner: T, +} + +trait Action {} + +unsafe impl<#[may_dangle] T> Action for Test<T> {} //{ dg-error ".may_dangle. has unstable semantics and may be removed in the future." "" { target *-*-* } } diff --git a/gcc/testsuite/rust/compile/may_dangle.rs b/gcc/testsuite/rust/compile/may_dangle.rs new file mode 100644 index 0000000..6b81b53 --- /dev/null +++ b/gcc/testsuite/rust/compile/may_dangle.rs @@ -0,0 +1,10 @@ +// { dg-options "-fsyntax-only" } + +#![feature(dropck_eyepatch)] +struct Test<T> { + _inner: T, +} + +trait Action {} + +unsafe impl<#[may_dangle] T> Action for Test<T> {} |