[PPL-devel] [GIT] ppl/ppl(master): Fixed debugging code.

[Abramo Bagnara]

Il 24/03/2012 16:38, Roberto Bagnara ha scritto:
> Module: ppl/ppl
> Branch: master
> Commit: f5b1ab576f8cb529058f94b6a8943d808b063a3c
> URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5b1ab576f8cb529058f94b6a8943d808b063a3c
> 
> Author: Roberto Bagnara <bagnara at cs.unipr.it>
> Date:   Sat Mar 24 15:50:31 2012 +0100
> 
> Fixed debugging code.
> 
> ---
> 
>  src/Grid_Certificate.cc |    7 ++++---
>  1 files changed, 4 insertions(+), 3 deletions(-)
> 
> diff --git a/src/Grid_Certificate.cc b/src/Grid_Certificate.cc
> index 379af7b..f22d76e 100644
> --- a/src/Grid_Certificate.cc
> +++ b/src/Grid_Certificate.cc
> @@ -55,11 +55,12 @@ PPL::Grid_Certificate::Grid_Certificate(const Grid& gr)
>  	// that `gr' contains at least one point.
>          Grid& mgr = const_cast<Grid&>(gr);
>  #ifndef NDEBUG
> -	Grid::simplify(mgr.con_sys, mgr.dim_kinds);
> -#else
>  	bool contains_points = Grid::simplify(mgr.con_sys, mgr.dim_kinds);
> -	used(contains_points);	// Quiet compiler warning.
> +	// Avoid possible compiler warning.
> +	used(contains_points);
>  	PPL_ASSERT(contains_points);
> +#else
> +	Grid::simplify(mgr.con_sys, mgr.dim_kinds);
>  #endif
>  	mgr.set_congruences_minimized();

I'm having hard time to understand why there is #ifndef NDEBUG...


-- 
Abramo Bagnara

BUGSENG srl - http://bugseng.com
mailto:abramo.bagnara at bugseng.com