feature/igc3 936ad3614c2 4/5: Amend commit 4d352d8f05f851fad

branch: feature/igc3
commit 936ad3614c2142b07c258b68f0fdba64419f9ae9
Author: Helmut Eller <[email protected]>
Commit: Helmut Eller <[email protected]>

    Amend commit 4d352d8f05f851fad
    
    * src/igc.c (finalize_vector): [USE_EPHEMERON_POOL] Abort for certain
    types.
---
 src/igc.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/igc.c b/src/igc.c
index f0b0b806c6c..3e0a3d839ea 100644
--- a/src/igc.c
+++ b/src/igc.c
@@ -4515,6 +4515,9 @@ finalize_vector (mps_addr_t v)
     case PVEC_MARKER:
     case PVEC_MODULE_GLOBAL_REFERENCE:
     case PVEC_BIGNUM:
+#ifdef USE_EPHEMERON_POOL
+      emacs_abort ();
+#endif
       break;
 
     case PVEC_FREE: