Re: [Boost-users] intrusive bug: equal_range implementation vs bounded_range precondition

Subject: Re: [Boost-users] intrusive bug: equal_range implementation vs bounded_range precondition
From: Ion Gaztañaga (igaztanaga_at_[hidden])
Date: 2014-12-12 18:12:41

> The precondition is wrong. It should read "('left_closed' AND
> 'right_closed') must be false.

Sorry. That's also incorrect: left_closed || right_closed == true.

That is:

first = upper_bound(lower_key);
second = lower_bound(upper_key);

leads to an invalid range, since "first" could be bigger than "second" 
if lower_key == upper_key.

Ion