From: fennecdjay <fennecdjay@gmail.com>
Date: Fri, 2 Sep 2022 12:29:16 +0000 (+0200)
Subject: :art: Remove add_to_killed (again)
X-Git-Tag: nightly~272^2~13
X-Git-Url: http://10.11.0.4:5575/?a=commitdiff_plain;h=3aaa4bfa7c1f347df393a97f80f8aa6c77f86f3a;p=gwion.git

:art: Remove add_to_killed (again)
---

diff --git a/src/vm/vm.c b/src/vm/vm.c
index 8fe14bb2..2da96167 100644
--- a/src/vm/vm.c
+++ b/src/vm/vm.c
@@ -153,7 +153,6 @@ ANN static inline void handle_fail(VM_Shred shred, const m_str effect, const str
   unhandled_pp(shred, effect, ts);
   if (shred->info->line.ptr) // trace if available
     shred_trace(shred, ts);
-//  add_to_killed(shred);
   shreduler_remove(shred->tick->shreduler, shred, true);
 }
 
@@ -1603,15 +1602,7 @@ VM *new_vm(MemPool p, const bool audio) {
   return vm;
 }
 
-ANN static inline void free_killed_shred(const Vector v) {
-  for (m_uint i = 0; i < vector_size(v); i++) {
-    const VM_Shred shred = (VM_Shred)vector_at(v, i);
-    free_vm_shred(shred);
-  }
-}
-
 ANN void vm_clean(const VM* vm, const Gwion gwion) {
-  free_killed_shred(&vm->shreduler->killed_shreds);
   gwion_end_child(vm->cleaner_shred, gwion);
   if (vm->bbq) free_driver(vm->bbq, gwion->vm);
 }