Bug 3920: Splay::remove() reference counting inconsistent

diff --git a/include/splay.h b/include/splay.h
index 69d6939110847c77c90fd7ad5e37cd18c18637f6..270bcb6e3653933057529ae31c8ce72f6a997185 100644 (file)
--- a/include/splay.h
+++ b/include/splay.h
@@ -313,7 +313,9 @@ template <class V>
 void
 Splay<V>::remove(Value const &value, SPLAYCMP *compare)
 {
-    assert (find (value, compare));
+    // also catches the head==NULL case
+    if (find(value, compare) == NULL)
+        return;
 
     head = head->remove(value, compare);