scratch/igc aa9d69412e2: Don't ignore return value of mps_finalize

[Gerd Moellmann]

branch: scratch/igc
commit aa9d69412e2c09d49ae7266e1a6569b05efc9500
Author: Gerd Möllmann <gerd@gnu.org>
Commit: Gerd Möllmann <gerd@gnu.org>

    Don't ignore return value of mps_finalize
    
    * src/igc.c (maybe_finalize): Check return value.
    (igc_external_header): Check return value.
---
 src/igc.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/igc.c b/src/igc.c
index f718e7a824c..3efd782f681 100644
--- a/src/igc.c
+++ b/src/igc.c
@@ -3240,7 +3240,8 @@ maybe_finalize (mps_addr_t client, enum pvec_type tag)
   struct igc_header *h = ref;
   if (IGC_HEADER_TAG (h) == IGC_TAG_EXTHDR)
     {
-      mps_finalize (global_igc->arena, &ref);
+      mps_res_t res = mps_finalize (global_igc->arena, &ref);
+      IGC_CHECK_RES (res);
       return;
     }
   switch (tag)
@@ -4282,7 +4283,8 @@ igc_external_header (struct igc_header *h)
       /* On IA-32, the upper 32-bit word is 0 after this, which is okay. */
       h->v = (intptr_t)exthdr + IGC_TAG_EXTHDR;
       mps_addr_t ref = (mps_addr_t) h;
-      mps_finalize (global_igc->arena, &ref);
+      mps_res_t res = mps_finalize (global_igc->arena, &ref);
+      IGC_CHECK_RES (res);
       return exthdr;
     }