From: khizmax <khizmax@gmail.com>
Date: Fri, 22 Sep 2017 20:07:34 +0000 (+0300)
Subject: Added CDS_VERIFY_EQ debug macro
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5fc87a172bd82f8a7040b8b83f32ce0e635e82ea;p=libcds.git

Added CDS_VERIFY_EQ debug macro
---

diff --git a/cds/details/defs.h b/cds/details/defs.h
index 21a9184f..4d382aea 100644
--- a/cds/details/defs.h
+++ b/cds/details/defs.h
@@ -348,10 +348,12 @@ namespace cds {}
 #   define CDS_VERIFY( _expr )       assert( _expr )
 #   define CDS_VERIFY_FALSE( _expr ) assert( !( _expr ))
 #   define CDS_DEBUG_ONLY( _expr )        _expr
+#   define CDS_VERIFY_EQ( expr, val )   assert( expr == val )
 #else
 #   define CDS_VERIFY( _expr )    _expr
 #   define CDS_VERIFY_FALSE( _expr ) _expr
 #   define CDS_DEBUG_ONLY( _expr )
+#   define CDS_VERIFY_EQ( expr, val )   expr
 #endif
 
 #ifdef CDS_STRICT
diff --git a/cds/intrusive/cuckoo_set.h b/cds/intrusive/cuckoo_set.h
index 9508c24a..9e7d794e 100644
--- a/cds/intrusive/cuckoo_set.h
+++ b/cds/intrusive/cuckoo_set.h
@@ -2184,7 +2184,7 @@ namespace cds { namespace intrusive {
 
                             value_type& val = *node_traits::to_value_ptr( *it );
                             copy_hash( arrHash, val );
-                            contains( arrPos, arrHash, val, key_predicate()) ; // must return c_nUndefTable
+                            CDS_VERIFY_EQ( contains( arrPos, arrHash, val, key_predicate()), c_nUndefTable );
 
                             for ( unsigned int i = 0; i < c_nArity; ++i ) {
                                 bucket_entry& refBucket = bucket( i, arrHash[i] );