id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
13223	Undefined behavior inside assign_bits while importing data to cpp_int	Dennis <yowidin@…>	John Maddock	"Trying to import bits from unsigned char array results in undefined behavior as reported by Clang.

Minimal example:
{{{#!cpp
#include <iostream>
#include <cstdint>

#include <boost/multiprecision/cpp_int.hpp>

using mp_int_t = boost::multiprecision::int128_t;
using source_t = std::vector<std::uint8_t>;

int main() {
   source_t src(16, 0);

   mp_int_t result;
   import_bits(result, src.begin(), src.end(), 0, false);

   return 0;
}
}}}

Compile command:

{{{#!bash
clang++ main.cpp \
   -g -O1 -fsanitize=undefined -fno-omit-frame-pointer \
   -fno-optimize-sibling-calls -std=c++11 -o main
}}}

Runtime output:
{{{
boost/multiprecision/cpp_int/import_export.hpp:64:21: runtime error: shift exponent 128 is too large for 8-bit type 'unsigned char'
}}}

Environment information:

- Ubuntu 16.04 LTS 64bit
- Tested with Clang 3.8.0 and Clang 5.0.0"	Bugs	closed	To Be Determined	multiprecision	Boost 1.64.0	Problem	fixed