[PPL-devel] [GIT] ppl/ppl(master): Added a comment to clarify definition of PPL_ASSERT.

[Enea Zaffanella]

Module: ppl/ppl
Branch: master
Commit: 81a68dd16a56d4c8d7072081fa10d51a3af78cf0
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81a68dd16a56d4c8d7072081fa10d51a3af78cf0

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Apr  6 16:48:59 2012 +0200

Added a comment to clarify definition of PPL_ASSERT.

---

 src/assert.hh |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/src/assert.hh b/src/assert.hh
index 3039b77..5b0a65a 100644
--- a/src/assert.hh
+++ b/src/assert.hh
@@ -53,6 +53,7 @@ site: http://bugseng.com/products/ppl/ . */
 
 
 // Non zero to detect use of PPL_ASSERT instead of PPL_ASSERT_HEAVY
+// Note: flag does not affect code built with NDEBUG defined.
 #define PPL_DEBUG_PPL_ASSERT 1
 
 // The PPL_ASSERT macro states that Boolean condition cond__ should hold.
@@ -60,6 +61,9 @@ site: http://bugseng.com/products/ppl/ . */
 #if defined(NDEBUG) || (!PPL_DEBUG_PPL_ASSERT)
 #define PPL_ASSERT(cond__) PPL_ASSERT_IMPL_(cond__)
 #else
+// Note: here we have assertions enabled and PPL_DEBUG_PPL_ASSERT is 1.
+// Check if the call to PPL_ASSERT should be replaced by PPL_ASSERT_HEAVY
+// (i.e., if the former may interfere with computational weights).
 #define PPL_ASSERT(cond__)                                        \
   do {                                                            \
     typedef Parma_Polyhedra_Library::Weightwatch_Traits W_Traits; \