From: Brian Norris <banorris@uci.edu>
Date: Sat, 11 Aug 2012 00:44:36 +0000 (-0700)
Subject: hashtable: bugfix - increment size only when new bins are linked
X-Git-Tag: pldi2013~275
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=18e9e9e8f1bc9c12049520498e06e24d25d8d72d;hp=18e9e9e8f1bc9c12049520498e06e24d25d8d72d;p=model-checker.git

hashtable: bugfix - increment size only when new bins are linked

In both put() and ensureptr(), the 'size' counter should not be incremented
until we decide if we're adding a new bin or not. When incremented improperly,
'size' ended up out of sync with the hash table; it reported a size much larger
than the actual table.
---