[gecode-users] Float overflow exceptions with 'linear' in 6.0.1

[Konvicka Filip]

Hi,

I'm in process of upgrading our code to Gecode 6.0.1 (which looks great by the 
way!)

I found some cases where code that used to run fine with Gecode 5 now throws 
exceptions.  The following is a simple example that demonstrates this.  I was 
able to work around to defaulting to (Gecode::Float::Limits::max/4) as the 
default max bound of float variables, but I think it's still probably a bug.

Thanks,
Filip

#include <gecode/float.hh>
#include <iostream>
using namespace Gecode;
int main() {
  struct MySpace : public Space {
    Space* copy() { return nullptr;  }
  };
  MySpace s;

  try {
    FloatVarArgs args(2);
    args[0] = FloatVar(s, 0., Gecode::Float::Limits::max);
    args[1] = FloatVar(s, 0., Gecode::Float::Limits::max);
    FloatVar result(s, 0., Gecode::Float::Limits::max);
    linear(s, args, FRT_EQ, result);
  }
  catch (std::exception& e) {
    std::cerr << e.what() << "\n";
  }

  try {
    FloatVarArgs args(2);
    args[0] = FloatVar(s, 1., 1.);
    args[1] = FloatVar(s, 0., Gecode::Float::Limits::max);
    FloatVar result(s, 0., Gecode::Float::Limits::max);
    linear(s, args, FRT_EQ, result);
  }
  catch (std::exception& e) {
    std::cerr << e.what() << "\n";
  }
}

_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users