diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-02-24 16:26:44 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-24 16:26:44 -0800 |
| commit | e36aeda0e759c5328ba76412dde8afbecf34970b (patch) | |
| tree | 47f6795c587710c78cc558abbb3576f397c7e3b7 /src/theory/arith/nl | |
| parent | c3e16e447aed037806f874a54ae74d6850415fd7 (diff) | |
Enable -Werror. (#5969)
Diffstat (limited to 'src/theory/arith/nl')
| -rw-r--r-- | src/theory/arith/nl/poly_conversion.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/theory/arith/nl/poly_conversion.cpp b/src/theory/arith/nl/poly_conversion.cpp index 0e4e21b76..5b7edb3ef 100644 --- a/src/theory/arith/nl/poly_conversion.cpp +++ b/src/theory/arith/nl/poly_conversion.cpp @@ -452,9 +452,11 @@ Node lower_bound_as_node(const Node& var, poly::get_upper(poly::get_isolating_interval(alg))); int sl = poly::sign_at(get_defining_polynomial(alg), poly::get_lower(poly::get_isolating_interval(alg))); +#ifndef NDEBUG int su = poly::sign_at(get_defining_polynomial(alg), poly::get_upper(poly::get_isolating_interval(alg))); Assert(sl != 0 && su != 0 && sl != su); +#endif // open: var <= l or (var < u and sgn(poly(var)) == sl) // !open: var <= l or (var < u and sgn(poly(var)) == sl/0) @@ -506,8 +508,10 @@ Node upper_bound_as_node(const Node& var, poly::get_lower(poly::get_isolating_interval(alg))); Rational u = poly_utils::toRational( poly::get_upper(poly::get_isolating_interval(alg))); +#ifndef NDEBUG int sl = poly::sign_at(get_defining_polynomial(alg), poly::get_lower(poly::get_isolating_interval(alg))); +#endif int su = poly::sign_at(get_defining_polynomial(alg), poly::get_upper(poly::get_isolating_interval(alg))); Assert(sl != 0 && su != 0 && sl != su); |