diff --git a/src/dataencode.cpp b/src/dataencode.cpp index 94f407f..68516ab 100644 --- a/src/dataencode.cpp +++ b/src/dataencode.cpp @@ -709,7 +709,12 @@ void from_wire_valid(Buffer& buf, TypeStore& ctxt, Value& val) { auto desc = Value::Helper::desc(val); auto store = Value::Helper::store(val); - assert(!!desc); + + if(!desc || !store) { + buf.fault(); + return; + } + auto top = store->top; BitMask valid;