diff --git a/kernel/mem.cc b/kernel/mem.cc index e5e855ef7..ed01a0867 100644 --- a/kernel/mem.cc +++ b/kernel/mem.cc @@ -504,6 +504,7 @@ void Mem::check() { int mask = (1 << max_wide_log2) - 1; log_assert(!(start_offset & mask)); log_assert(!(size & mask)); + log_assert(width != 0); } namespace {