diff options
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | kernel/mem.cc | 1 |
2 files changed, 2 insertions, 1 deletions
@@ -142,7 +142,7 @@ LDLIBS += -lrt endif endif -YOSYS_VER := 0.23+1 +YOSYS_VER := 0.23+3 # Note: We arrange for .gitcommit to contain the (short) commit hash in # tarballs generated with git-archive(1) using .gitattributes. The git repo 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 { |