Browse Source

fix the memory regions checker (#474)

pull/480/head
Dave Wen 6 years ago
committed by GitHub
parent
commit
1edd5a0191
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      spike_main/spike.cc

2
spike_main/spike.cc

@ -118,7 +118,7 @@ void merge_overlapping_memory_regions(std::vector<std::pair<reg_t, mem_t*>>& mem
mems.erase(std::next(it).base());
}else if ( _start_page < start_page && _end_page > start_page) {
// overlapping
_it->first = it->first;
_it->first = _start_page;
if (_end_page > end_page)
end_page = _end_page;
mems.erase(std::next(it).base());

Loading…
Cancel
Save