diff mbox series

[COMMITTED,060/101] gccrs: Add multiple regression test in name resolution

Message ID 20240130121026.807464-63-arthur.cohen@embecosm.com
State Committed
Commit a3f4152a312c873b0d81c0715946b15a04193700
Headers
Series [COMMITTED,001/101] gccrs: Add visibility to trait item |

Commit Message

Arthur Cohen Jan. 30, 2024, 12:07 p.m. UTC 
  From: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>

Local variables and functions or global variables have different
resolution when binded to a variable. This was not covered before, even
though it was handled by the new name resolution. This commit highlight
this behavior from the new name resolution mechanism.

gcc/testsuite/ChangeLog:

	* rust/compile/name_resolution11.rs: New test.
	* rust/compile/name_resolution12.rs: New test.
	* rust/compile/name_resolution13.rs: New test.

Signed-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>
---
 gcc/testsuite/rust/compile/name_resolution11.rs |  7 +++++++
 gcc/testsuite/rust/compile/name_resolution12.rs | 10 ++++++++++
 gcc/testsuite/rust/compile/name_resolution13.rs |  9 +++++++++
 3 files changed, 26 insertions(+)
 create mode 100644 gcc/testsuite/rust/compile/name_resolution11.rs
 create mode 100644 gcc/testsuite/rust/compile/name_resolution12.rs
 create mode 100644 gcc/testsuite/rust/compile/name_resolution13.rs
diff mbox series

Patch

diff --git a/gcc/testsuite/rust/compile/name_resolution11.rs b/gcc/testsuite/rust/compile/name_resolution11.rs
new file mode 100644
index 00000000000..a464d2a0fd3
--- /dev/null
+++ b/gcc/testsuite/rust/compile/name_resolution11.rs
@@ -0,0 +1,7 @@ 
+// { dg-additional-options "-frust-name-resolution-2.0 -frust-compile-until=lowering" }
+fn foo() {
+    let b = 10;
+    fn bar() {
+        let a = foo;
+    }
+}
diff --git a/gcc/testsuite/rust/compile/name_resolution12.rs b/gcc/testsuite/rust/compile/name_resolution12.rs
new file mode 100644
index 00000000000..9cce31ceb5c
--- /dev/null
+++ b/gcc/testsuite/rust/compile/name_resolution12.rs
@@ -0,0 +1,10 @@ 
+// { dg-additional-options "-frust-name-resolution-2.0 -frust-compile-until=lowering" }
+
+const TOTO: i32 = 10;
+
+fn foo() {
+    let b = 10;
+    fn bar() {
+        let e = TOTO;
+    }
+}
diff --git a/gcc/testsuite/rust/compile/name_resolution13.rs b/gcc/testsuite/rust/compile/name_resolution13.rs
new file mode 100644
index 00000000000..52a152bf51a
--- /dev/null
+++ b/gcc/testsuite/rust/compile/name_resolution13.rs
@@ -0,0 +1,9 @@ 
+// { dg-additional-options "-frust-name-resolution-2.0 -frust-compile-until=lowering" }
+
+fn foo() {
+    let b = 10;
+    fn bar() {
+        let c = b;
+        // { dg-error "cannot find value .b. in this scope .E0425." "" { target *-*-* } .-1 }
+    }
+}