[PPL-devel] [GIT] ppl/ppl(master): Clarified reason of assertion failing by adding a message.
Enea Zaffanella
zaffanella at cs.unipr.it
Fri Apr 6 10:44:13 CEST 2012
Module: ppl/ppl
Branch: master
Commit: 0e40494f8f379687c9b7d44fbbfb60493e23da1d
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e40494f8f379687c9b7d44fbbfb60493e23da1d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 6 10:41:12 2012 +0200
Clarified reason of assertion failing by adding a message.
---
src/Linear_Row.inlines.hh | 12 ++++++++----
1 files changed, 8 insertions(+), 4 deletions(-)
diff --git a/src/Linear_Row.inlines.hh b/src/Linear_Row.inlines.hh
index 9b24a0b..f8d3439 100644
--- a/src/Linear_Row.inlines.hh
+++ b/src/Linear_Row.inlines.hh
@@ -60,7 +60,8 @@ Linear_Row::Flags::Flags(const Topology t, const Kind k)
inline bool
Linear_Row::Flags::is_ray_or_point_or_inequality() const {
- PPL_ASSERT(test_bits(1U << rpi_validity_bit));
+ PPL_ASSERT(test_bits(1U << rpi_validity_bit)
+ && ("rpi bit tested before being initialized" != 0));
return
test_bits(static_cast<unsigned>(RAY_OR_POINT_OR_INEQUALITY) << rpi_bit);
}
@@ -75,7 +76,8 @@ Linear_Row::Flags::set_is_ray_or_point_or_inequality() {
inline bool
Linear_Row::Flags::is_line_or_equality() const {
- PPL_ASSERT(test_bits(1U << rpi_validity_bit));
+ PPL_ASSERT(test_bits(1U << rpi_validity_bit)
+ && ("rpi bit tested before being initialized" != 0));
return !is_ray_or_point_or_inequality();
}
@@ -89,13 +91,15 @@ Linear_Row::Flags::set_is_line_or_equality() {
inline bool
Linear_Row::Flags::is_not_necessarily_closed() const {
- PPL_ASSERT(test_bits(1U << nnc_validity_bit));
+ PPL_ASSERT(test_bits(1U << nnc_validity_bit)
+ && ("nnc bit tested before being initialized" != 0));
return test_bits(static_cast<unsigned>(NOT_NECESSARILY_CLOSED) << nnc_bit);
}
inline bool
Linear_Row::Flags::is_necessarily_closed() const {
- PPL_ASSERT(test_bits(1U << nnc_validity_bit));
+ PPL_ASSERT(test_bits(1U << nnc_validity_bit)
+ && ("nnc bit tested before being initialized" != 0));
return !is_not_necessarily_closed();
}
More information about the PPL-devel
mailing list