[gcc r15-8776] gccrs: Fix ICE when fn_once and fn_once_output lang item is not defined

[Arthur Cohen via Gcc-cvs]

https://gcc.gnu.org/g:0eddc297f03ae2a0830ad444f1f4d2a4264f5ad7

commit r15-8776-g0eddc297f03ae2a0830ad444f1f4d2a4264f5ad7
Author: Philip Herron <herron.phi...@googlemail.com>
Date:   Mon Feb 3 15:14:01 2025 +0000

    gccrs: Fix ICE when fn_once and fn_once_output lang item is not defined
    
    We needed to check for the optional has a value here or not it leads to an
    ICE.
    
    gcc/rust/ChangeLog:
    
            * typecheck/rust-tyty.cc (ClosureType::setup_fn_once_output): add 
checks for lang items
    
    Signed-off-by: Philip Herron <herron.phi...@googlemail.com>

Diff:
---
 gcc/rust/typecheck/rust-tyty.cc | 22 +++++++++++++++++-----
 1 file changed, 17 insertions(+), 5 deletions(-)

diff --git a/gcc/rust/typecheck/rust-tyty.cc b/gcc/rust/typecheck/rust-tyty.cc
index f0c967e09490..02d91b1f1950 100644
--- a/gcc/rust/typecheck/rust-tyty.cc
+++ b/gcc/rust/typecheck/rust-tyty.cc
@@ -2226,12 +2226,24 @@ void
 ClosureType::setup_fn_once_output () const
 {
   // lookup the lang items
-  auto fn_once_lang_item = LangItem::Kind::FN_ONCE;
-  auto fn_once_output_lang_item = LangItem::Kind::FN_ONCE_OUTPUT;
+  auto fn_once_lookup = mappings.lookup_lang_item (LangItem::Kind::FN_ONCE);
+  auto fn_once_output_lookup
+    = mappings.lookup_lang_item (LangItem::Kind::FN_ONCE_OUTPUT);
+  if (!fn_once_lookup)
+    {
+      rust_fatal_error (UNKNOWN_LOCATION,
+                       "Missing required %<fn_once%> lang item");
+      return;
+    }
+  if (!fn_once_output_lookup)
+    {
+      rust_fatal_error (UNKNOWN_LOCATION,
+                       "Missing required %<fn_once_ouput%> lang item");
+      return;
+    }
 
-  DefId &trait_id = mappings.lookup_lang_item (fn_once_lang_item).value ();
-  DefId &trait_item_id
-    = mappings.lookup_lang_item (fn_once_output_lang_item).value ();
+  DefId &trait_id = fn_once_lookup.value ();
+  DefId &trait_item_id = fn_once_output_lookup.value ();
 
   // resolve to the trait
   HIR::Item *item = mappings.lookup_defid (trait_id).value ();