1 files changed, 57 insertions, 0 deletions
diff --git a/src/boost/libs/safe_numerics/test/test_multiply_automatic_constexpr.cpp b/src/boost/libs/safe_numerics/test/test_multiply_automatic_constexpr.cpp
new file mode 100644
index 000000000..357b8ada7
--- /dev/null
+++ b/src/boost/libs/safe_numerics/test/test_multiply_automatic_constexpr.cpp
@@ -0,0 +1,57 @@
+//  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/automatic.hpp>
+#include "test_multiply_automatic_results.hpp"
+
+template <class T>
+using safe_t = boost::safe_numerics::safe<
+    T,
+    boost::safe_numerics::automatic
+>;
+
+#include "test_multiply_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_multiply_constexpr(
+        mp_at_c<test_values, i>()(),
+        mp_at_c<test_values, j>()(),
+        test_multiplication_automatic_result[i][j]
+    );
+};
+
+#include <boost/mp11/list.hpp>
+#include <boost/mp11/algorithm.hpp>
+#include "check_symmetry.hpp"
+
+int main(){
+    static_assert(
+        check_symmetry(test_multiplication_automatic_result),
+        "sanity check on test matrix - should be symmetrical"
+    );
+
+    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 multiplied"
+    );
+    return 0;
+}