1 files changed, 53 insertions, 0 deletions
diff --git a/src/boost/libs/safe_numerics/test/test_left_shift_native_constexpr.cpp b/src/boost/libs/safe_numerics/test/test_left_shift_native_constexpr.cpp
new file mode 100644
index 000000000..011ee37c8
--- /dev/null
+++ b/src/boost/libs/safe_numerics/test/test_left_shift_native_constexpr.cpp
@@ -0,0 +1,53 @@
+//  Copyright (c) 2019 Robert Ramey
+//
+// Distributed under the Boost Software License, Version 1.0. (See
+// accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt)
+
+#include <boost/safe_numerics/safe_integer.hpp>
+#include <boost/safe_numerics/native.hpp>
+
+#include "test_left_shift_native_results.hpp"
+
+template <class T>
+using safe_t = boost::safe_numerics::safe<
+    T,
+    boost::safe_numerics::native
+>;
+
+#include "test_left_shift_constexpr.hpp"
+
+using namespace boost::mp11;
+
+template<typename First, typename Second>
+struct test_pair {
+    static const std::size_t i = First();
+    static const std::size_t j = Second();
+    constexpr static const bool value = test_left_shift_constexpr(
+        mp_at_c<test_values, i>()(),
+        mp_at_c<test_values, j>()(),
+        test_left_shift_native_result[i][j]
+    );
+};
+
+#include <boost/mp11/list.hpp>
+#include <boost/mp11/algorithm.hpp>
+
+int main(){
+    using namespace boost::mp11;
+
+    using value_indices = mp_iota_c<mp_size<test_values>::value>;
+
+    static_assert(
+        mp_all_of<
+            mp_product<
+                test_pair,
+                value_indices,
+                value_indices
+            >,
+            mp_to_bool
+        >(),
+        "all values for all integer types correctly shifted to the left"
+    );
+    return 0;
+}