Boost C++ Libraries: Ticket #12926: UBSAN complains about "left shift of negative value -4" from boost::icl::interval_bounds::reverse_right()

cc, version changed

dnanar@… — Sat, 08 Apr 2017 17:00:01 GMT

cc dnanar@… added
version Boost 1.60.0 → Boost 1.62.0

Same problem here, different use case:

interval_set<uint32_t> a;
a.insert({50,4294967295});
a.insert({25,4294967295});

causes this. Debian stock libboost package (Version: 1.62.0.1). The exact error in my case is:

/usr/include/boost/icl/interval_bounds.hpp:45:74: runtime error: left shift of negative value -3

gson@… — Fri, 16 Mar 2018 14:58:30 GMT

I'm also having this problem. Here's a complete program to reproduce it:

#include <stdint.h>
#include <boost/icl/interval_set.hpp>
int main(int, char **) {
    boost::icl::interval_set<int> a;
    a.insert(boost::icl::interval<int>::right_open(-100, 100));
    a.insert(-50);
}

Building and running:

$ g++ -fsanitize=undefined test.cc -o test
$ ./test
/usr/include/boost/icl/interval_bounds.hpp:45:74: runtime error: left shift of negative value -4

This is on Debian 9.