[ICL] seems not to handle sets that contain the maximum element of the domain type.

18 Nov 2015

      ICL seems not to handle sets that contain the maximum element of the domain
type.
I sent a similar mail a day ago, but I've simplified my example. Here's the
code:

Windows 7
Boost 1.59.0

----BEGIN CODE---
using namespace std;
typedef boost::icl::closed_interval interval_t;
typedef boost::icl::split_interval_set set_t;

set_t s;

s += interval_t(0x0000, 0xffff);
s += interval_t(0xa000, 0xbfff);
cout << "BAD:  " << hex << s << endl;

s.clear();
s += interval_t(0x0000, 0xfffe);
s += interval_t(0xa000, 0xbfff);
cout << "GOOD: " << hex << s << endl;
----END CODE---

---BEGIN OUTPUT---
BAD:  {[0,9fff][a000,ffff]}
GOOD: {[0,9fff][a000,bfff][c000,fffe]}
---END OUTPUT---

The bad example seems to fail because the set contains 0xffff. In the good
example I use 0xfffe.

Stephen Hewitt

Joachim Faulhaber

tags

participants (2)