[gcc/devel/rust/master] Fix const checking of enum discriminants

[Thomas Schwinge via Gcc-cvs]

https://gcc.gnu.org/g:f8c661350e1591ce430c4b8e1c5fe33e32230aba

commit f8c661350e1591ce430c4b8e1c5fe33e32230aba
Author: Owen Avery <powerboat9.ga...@gmail.com>
Date:   Sat Apr 5 17:20:44 2025 -0400

    Fix const checking of enum discriminants
    
    gcc/rust/ChangeLog:
    
            * checks/errors/rust-const-checker.cc
            (ConstChecker::visit): Visit the enum items of enums.
            * resolve/rust-ast-resolve-item.cc
            (ResolveItem::visit): Resolve enum discriminants during nr1.0.
    
    gcc/testsuite/ChangeLog:
    
            * rust/compile/enum_discriminant2.rs: New test.
    
    Signed-off-by: Owen Avery <powerboat9.ga...@gmail.com>

Diff:
---
 gcc/rust/checks/errors/rust-const-checker.cc     | 3 +++
 gcc/rust/resolve/rust-ast-resolve-item.cc        | 2 ++
 gcc/testsuite/rust/compile/enum_discriminant2.rs | 9 +++++++++
 3 files changed, 14 insertions(+)

diff --git a/gcc/rust/checks/errors/rust-const-checker.cc 
b/gcc/rust/checks/errors/rust-const-checker.cc
index 80b63982c12d..81594c00beb4 100644
--- a/gcc/rust/checks/errors/rust-const-checker.cc
+++ b/gcc/rust/checks/errors/rust-const-checker.cc
@@ -646,6 +646,9 @@ ConstChecker::visit (Enum &enum_item)
 {
   check_default_const_generics (enum_item.get_generic_params (),
                                ConstGenericCtx::Enum);
+
+  for (auto &item : enum_item.get_variants ())
+    item->accept_vis (*this);
 }
 
 void
diff --git a/gcc/rust/resolve/rust-ast-resolve-item.cc 
b/gcc/rust/resolve/rust-ast-resolve-item.cc
index 89cf0f3c07e3..fc226cf28c0a 100644
--- a/gcc/rust/resolve/rust-ast-resolve-item.cc
+++ b/gcc/rust/resolve/rust-ast-resolve-item.cc
@@ -356,6 +356,8 @@ ResolveItem::visit (AST::EnumItemDiscriminant &item)
   auto cpath = canonical_prefix.append (decl);
 
   mappings.insert_canonical_path (item.get_node_id (), cpath);
+
+  ResolveExpr::go (item.get_expr (), path, cpath);
 }
 
 void
diff --git a/gcc/testsuite/rust/compile/enum_discriminant2.rs 
b/gcc/testsuite/rust/compile/enum_discriminant2.rs
new file mode 100644
index 000000000000..351dfbb6f85d
--- /dev/null
+++ b/gcc/testsuite/rust/compile/enum_discriminant2.rs
@@ -0,0 +1,9 @@
+fn test() -> isize {
+    1
+}
+
+enum Foo {
+    Bar = test() // { dg-error "only functions marked as .const." }
+}
+
+fn main() {}