X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=cds%2Fdetails%2Fdefs.h;h=d43bedbe1def2243849db84a61b4f084400a1ea9;hb=83a75b81d1a6baac3d4441c5c1a6a67699659705;hp=34f3b499a32903b675d50d4ff3cdfd0bc2411cc7;hpb=a154b05cced031094508ceb9a60c2dc1b7ed88f5;p=libcds.git

diff --git a/cds/details/defs.h b/cds/details/defs.h
index 34f3b499..d43bedbe 100644
--- a/cds/details/defs.h
+++ b/cds/details/defs.h
@@ -337,10 +337,12 @@ namespace cds {}
 
 // CDS_VERIFY: Debug - assert(_expr); Release - _expr
 #ifdef CDS_DEBUG
-#   define CDS_VERIFY( _expr )    assert( _expr )
+#   define CDS_VERIFY( _expr )       assert( _expr )
+#   define CDS_VERIFY_FALSE( _expr ) assert( !( _expr ))
 #   define CDS_DEBUG_ONLY( _expr )        _expr
 #else
 #   define CDS_VERIFY( _expr )    _expr
+#   define CDS_VERIFY_FALSE( _expr ) _expr
 #   define CDS_DEBUG_ONLY( _expr )
 #endif