From 1cc5fee5904832da6564f12c858423fd5bd1b2b6 Mon Sep 17 00:00:00 2001
From: Ben Longbons <b.r.longbons@gmail.com>
Date: Tue, 22 Apr 2014 17:14:28 -0700
Subject: Make travis happy

---
 src/ints/udl_test.cpp | 584 +++++++++++++++++++++++++-------------------------
 1 file changed, 292 insertions(+), 292 deletions(-)

(limited to 'src/ints/udl_test.cpp')

diff --git a/src/ints/udl_test.cpp b/src/ints/udl_test.cpp
index 3bcbaad..acb4f76 100644
--- a/src/ints/udl_test.cpp
+++ b/src/ints/udl_test.cpp
@@ -30,439 +30,439 @@ TEST(ints, smc)
 {
     {
         ints::SignedMagnitudeConstant<false, 0> i;
-        static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        static_cast<uint8_t>(i);
-        static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        (void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        (void)static_cast<uint8_t>(i);
+        (void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0> i;
-        static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        static_cast<uint8_t>(i);
-        static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        (void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        (void)static_cast<uint8_t>(i);
+        (void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0x7e> i;
-        static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        static_cast<uint8_t>(i);
-        static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        (void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        (void)static_cast<uint8_t>(i);
+        (void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0x7e> i;
-        static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        (void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0x7f> i;
-        static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        static_cast<uint8_t>(i);
-        static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        (void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        (void)static_cast<uint8_t>(i);
+        (void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0x7f> i;
-        static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        (void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0x80> i;
-        //static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        static_cast<uint8_t>(i);
-        static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        (void)static_cast<uint8_t>(i);
+        (void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0x80> i;
-        static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        (void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0xfe> i;
-        //static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        static_cast<uint8_t>(i);
-        static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        (void)static_cast<uint8_t>(i);
+        (void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0xfe> i;
-        //static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0xff> i;
-        //static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        static_cast<uint8_t>(i);
-        static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        (void)static_cast<uint8_t>(i);
+        (void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0xff> i;
-        //static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false,0x100> i;
-        //static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        (void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true, 0x100> i;
-        //static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0x7ffe> i;
-        //static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        (void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0x7ffe> i;
-        //static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0x7fff> i;
-        //static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        (void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0x7fff> i;
-        //static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0x8000> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        (void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0x8000> i;
-        //static_cast<int8_t>(i);
-        static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        (void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0xfffe> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        (void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0xfffe> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0xffff> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        (void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0xffff> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false,0x10000> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        //static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        //(void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true, 0x10000> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0x7ffffffe> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        //static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        //(void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0x7ffffffe> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0x7fffffff> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        //static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        //(void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0x7fffffff> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0x80000000> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        //static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        //(void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0x80000000> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        (void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0xfffffffe> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        //static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        //(void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0xfffffffe> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0xffffffff> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        //static_cast<uint16_t>(i);
-        static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        //(void)static_cast<uint16_t>(i);
+        (void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0xffffffff> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false,0x100000000> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        //static_cast<uint16_t>(i);
-        //static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        //(void)static_cast<uint16_t>(i);
+        //(void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true, 0x100000000> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0x7ffffffffffffffe> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        //static_cast<uint16_t>(i);
-        //static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        //(void)static_cast<uint16_t>(i);
+        //(void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0x7ffffffffffffffe> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0x7fffffffffffffff> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        //static_cast<uint16_t>(i);
-        //static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        //(void)static_cast<uint16_t>(i);
+        //(void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0x7fffffffffffffff> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0x8000000000000000> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        //static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        //static_cast<uint16_t>(i);
-        //static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        //(void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        //(void)static_cast<uint16_t>(i);
+        //(void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0x8000000000000000> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        (void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0xfffffffffffffffe> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        //static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        //static_cast<uint16_t>(i);
-        //static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        //(void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        //(void)static_cast<uint16_t>(i);
+        //(void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0xfffffffffffffffe> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        //static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        //(void)static_cast<int64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<false, 0xffffffffffffffff> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        //static_cast<int64_t>(i);
-        //static_cast<uint8_t>(i);
-        //static_cast<uint16_t>(i);
-        //static_cast<uint32_t>(i);
-        static_cast<uint64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        //(void)static_cast<int64_t>(i);
+        //(void)static_cast<uint8_t>(i);
+        //(void)static_cast<uint16_t>(i);
+        //(void)static_cast<uint32_t>(i);
+        (void)static_cast<uint64_t>(i);
     }
     {
         ints::SignedMagnitudeConstant<true,  0xffffffffffffffff> i;
-        //static_cast<int8_t>(i);
-        //static_cast<int16_t>(i);
-        //static_cast<int32_t>(i);
-        //static_cast<int64_t>(i);
+        //(void)static_cast<int8_t>(i);
+        //(void)static_cast<int16_t>(i);
+        //(void)static_cast<int32_t>(i);
+        //(void)static_cast<int64_t>(i);
     }
     {
         //ints::SignedMagnitudeConstant<false,0x10000000000000000> i;
-- 
cgit v1.2.3-70-g09d2