VM: FACTOR_ASSERT so that data_root never wraps a null pointer, cause if it does...

diff --git a/vm/data_roots.hpp b/vm/data_roots.hpp
index 94be9695d2f7ab05cd68e082288173159b951e09..a7c702408c4e7b92931e4d294de08acb987a9d10 100644 (file)
--- a/vm/data_roots.hpp
+++ b/vm/data_roots.hpp
@@ -14,6 +14,7 @@ template <typename Type> struct data_root : public tagged<Type> {
 
   data_root(Type* value, factor_vm* parent)
       : tagged<Type>(value), parent(parent) {
+    FACTOR_ASSERT(value);
     push();
   }