From d83728031da774d895e5d5910bbcdce1fed5c3ee Mon Sep 17 00:00:00 2001
From: Stephen Williams <steve@icarus.com>
Date: Sun, 3 Apr 2011 17:41:52 -0700
Subject: [PATCH] Over-zealous assertion checking PartSelect::PV widths.

---
 netmisc.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/netmisc.cc b/netmisc.cc
index f44b9f7a5..42657c7bc 100644
--- a/netmisc.cc
+++ b/netmisc.cc
@@ -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;
       }