diff options
-rw-r--r-- | spike_main/spike.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spike_main/spike.cc b/spike_main/spike.cc index 31c0cd7..5949842 100644 --- a/spike_main/spike.cc +++ b/spike_main/spike.cc @@ -113,7 +113,7 @@ static std::vector<std::pair<reg_t, mem_t*>> make_mems(const char* arg) help(); auto size = strtoull(p + 1, &p, 0); if ((size | base) % PGSIZE != 0) - help(); + fprintf(stderr, "Warning: the memory size %llu at 0x%llX is not align to the page size (%ld)\n\n", size, base, PGSIZE); res.push_back(std::make_pair(reg_t(base), new mem_t(size))); if (!*p) break; |