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

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #12926: UBSAN complains about "left shift of negative value -4" from boost::icl::interval_bounds::reverse_right()
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2018-03-16 14:58:30

#12926: UBSAN complains about "left shift of negative value -4" from
boost::icl::interval_bounds::reverse_right()
-------------------------------+-------------------------------
  Reporter:  tgrabiec@…        |      Owner:  Joachim Faulhaber
      Type:  Bugs              |     Status:  new
 Milestone:  To Be Determined  |  Component:  ICL
   Version:  Boost 1.62.0      |   Severity:  Problem
Resolution:                    |   Keywords:
-------------------------------+-------------------------------

Comment (by gson@…):

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

 {{{#!C
 #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.

-- 
Ticket URL: <https://svn.boost.org/trac10/ticket/12926#comment:2>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.