luke
/
iverilog
mirror of https://github.com/steveicarus/iverilog.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Over-zealous assertion checking PartSelect::PV widths.

This commit is contained in:
Stephen Williams 2011-04-03 17:41:52 -07:00
parent 098bbeea7c
commit d83728031d
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
netmisc.cc
View File

@ -819,8 +819,11 @@ void collapse_partselect_pv_to_concat(Design*des, NetNet*sig)
if (obj_pin != 1)
continue;
// Don't support overrun selects here.
if (ps_obj->base()+ps_obj->width() > ps_map.size())
continue;
ivl_assert(*ps_obj, ps_obj->base() < ps_map.size());
ivl_assert(*ps_obj, ps_obj->base()+ps_obj->width() <= ps_map.size());
ps_map[ps_obj->base()] = ps_obj;
}