From: Philip Herron <[email protected]>
Fixes Rust-GCC#3568
gcc/rust/ChangeLog:
* resolve/rust-ast-resolve-path.cc (ResolvePath::resolve_path): check
for super mid path
gcc/testsuite/ChangeLog:
* rust/compile/nr2/exclude: nr2 puts out a different error multiple
times
* rust/compile/issue-3568.rs: New test.
Signed-off-by: Philip Herron <[email protected]>
---
gcc/rust/resolve/rust-ast-resolve-path.cc | 6 ++++++
gcc/testsuite/rust/compile/issue-3568.rs | 7 +++++++
gcc/testsuite/rust/compile/nr2/exclude | 1 +
3 files changed, 14 insertions(+)
create mode 100644 gcc/testsuite/rust/compile/issue-3568.rs
diff --git a/gcc/rust/resolve/rust-ast-resolve-path.cc
b/gcc/rust/resolve/rust-ast-resolve-path.cc
index b2b10719e19..530926d5d97 100644
--- a/gcc/rust/resolve/rust-ast-resolve-path.cc
+++ b/gcc/rust/resolve/rust-ast-resolve-path.cc
@@ -370,6 +370,12 @@ ResolvePath::resolve_path (AST::SimplePath &expr)
}
else if (segment.is_super_path_seg ())
{
+ if (!is_first_segment)
+ {
+ rust_error_at (segment.get_locus (),
+ "%<super%> can only be used in start position");
+ return UNKNOWN_NODEID;
+ }
if (module_scope_id == crate_scope_id)
{
rust_error_at (segment.get_locus (),
diff --git a/gcc/testsuite/rust/compile/issue-3568.rs
b/gcc/testsuite/rust/compile/issue-3568.rs
new file mode 100644
index 00000000000..222a174ef38
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-3568.rs
@@ -0,0 +1,7 @@
+pub type T = ();
+mod foo {
+ pub use super::T;
+}
+
+pub use foo::super::foo::S as T;
+// { dg-error ".super. can only be used in start position" "" { target *-*-* }
.-1 }
diff --git a/gcc/testsuite/rust/compile/nr2/exclude
b/gcc/testsuite/rust/compile/nr2/exclude
index 71c2b682bf0..9273bd1489e 100644
--- a/gcc/testsuite/rust/compile/nr2/exclude
+++ b/gcc/testsuite/rust/compile/nr2/exclude
@@ -36,4 +36,5 @@ torture/alt_patterns1.rs
torture/loop4.rs
torture/loop8.rs
torture/name_resolve1.rs
+issue-3568.rs
# please don't delete the trailing newline
--
2.49.0