1
///////////////////////////////////////////////////////////////////////////
3
// Copyright (c) 2009, Industrial Light & Magic, a division of Lucas
6
// All rights reserved.
8
// Redistribution and use in source and binary forms, with or without
9
// modification, are permitted provided that the following conditions are
11
// * Redistributions of source code must retain the above copyright
12
// notice, this list of conditions and the following disclaimer.
13
// * Redistributions in binary form must reproduce the above
14
// copyright notice, this list of conditions and the following disclaimer
15
// in the documentation and/or other materials provided with the
17
// * Neither the name of Industrial Light & Magic nor the names of
18
// its contributors may be used to endorse or promote products derived
19
// from this software without specific prior written permission.
21
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
22
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
23
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
24
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
25
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
26
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
27
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
28
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
29
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
30
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
31
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
33
///////////////////////////////////////////////////////////////////////////
35
#ifndef INCLUDED_IMF_CHECKED_ARITHMETIC_H
36
#define INCLUDED_IMF_CHECKED_ARITHMETIC_H
38
//-----------------------------------------------------------------------------
40
// Integer arithmetic operations that throw exceptions
41
// on overflow, underflow or division by zero.
43
//-----------------------------------------------------------------------------
46
#include <IexMathExc.h>
50
template <bool b> struct StaticAssertionFailed;
51
template <> struct StaticAssertionFailed <true> {};
53
#define IMF_STATIC_ASSERT(x) \
54
do {StaticAssertionFailed <x> staticAssertionFailed;} while (false)
62
// Unsigned integer multiplication
65
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
66
std::numeric_limits<T>::is_integer);
68
if (a > 0 && b > std::numeric_limits<T>::max() / a)
69
throw Iex::OverflowExc ("Integer multiplication overflow.");
80
// Unsigned integer division
83
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
84
std::numeric_limits<T>::is_integer);
87
throw Iex::DivzeroExc ("Integer division by zero.");
98
// Unsigned integer addition
101
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
102
std::numeric_limits<T>::is_integer);
104
if (a > std::numeric_limits<T>::max() - b)
105
throw Iex::OverflowExc ("Integer addition overflow.");
116
// Unsigned integer subtraction
119
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
120
std::numeric_limits<T>::is_integer);
123
throw Iex::UnderflowExc ("Integer subtraction underflow.");
131
checkArraySize (T n, size_t s)
134
// Verify that the size, in bytes, of an array with n elements
135
// of size s can be computed without overflowing:
141
// would overflow, then throw an Iex::OverflowExc exception.
147
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
148
std::numeric_limits<T>::is_integer);
150
IMF_STATIC_ASSERT (sizeof (T) <= sizeof (size_t));
152
if (size_t (n) > std::numeric_limits<size_t>::max() / s)
153
throw Iex::OverflowExc ("Integer multiplication overflow.");
1
///////////////////////////////////////////////////////////////////////////
3
// Copyright (c) 2009, Industrial Light & Magic, a division of Lucas
6
// All rights reserved.
8
// Redistribution and use in source and binary forms, with or without
9
// modification, are permitted provided that the following conditions are
11
// * Redistributions of source code must retain the above copyright
12
// notice, this list of conditions and the following disclaimer.
13
// * Redistributions in binary form must reproduce the above
14
// copyright notice, this list of conditions and the following disclaimer
15
// in the documentation and/or other materials provided with the
17
// * Neither the name of Industrial Light & Magic nor the names of
18
// its contributors may be used to endorse or promote products derived
19
// from this software without specific prior written permission.
21
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
22
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
23
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
24
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
25
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
26
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
27
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
28
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
29
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
30
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
31
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
33
///////////////////////////////////////////////////////////////////////////
35
#ifndef INCLUDED_IMF_CHECKED_ARITHMETIC_H
36
#define INCLUDED_IMF_CHECKED_ARITHMETIC_H
38
//-----------------------------------------------------------------------------
40
// Integer arithmetic operations that throw exceptions
41
// on overflow, underflow or division by zero.
43
//-----------------------------------------------------------------------------
46
#include <IexMathExc.h>
50
template <bool b> struct StaticAssertionFailed;
51
template <> struct StaticAssertionFailed <true> {};
53
#define IMF_STATIC_ASSERT(x) \
54
do {StaticAssertionFailed <x> staticAssertionFailed;} while (false)
62
// Unsigned integer multiplication
65
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
66
std::numeric_limits<T>::is_integer);
68
if (a > 0 && b > std::numeric_limits<T>::max() / a)
69
throw Iex::OverflowExc ("Integer multiplication overflow.");
80
// Unsigned integer division
83
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
84
std::numeric_limits<T>::is_integer);
87
throw Iex::DivzeroExc ("Integer division by zero.");
98
// Unsigned integer addition
101
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
102
std::numeric_limits<T>::is_integer);
104
if (a > std::numeric_limits<T>::max() - b)
105
throw Iex::OverflowExc ("Integer addition overflow.");
116
// Unsigned integer subtraction
119
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
120
std::numeric_limits<T>::is_integer);
123
throw Iex::UnderflowExc ("Integer subtraction underflow.");
131
checkArraySize (T n, size_t s)
134
// Verify that the size, in bytes, of an array with n elements
135
// of size s can be computed without overflowing:
141
// would overflow, then throw an Iex::OverflowExc exception.
147
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
148
std::numeric_limits<T>::is_integer);
150
IMF_STATIC_ASSERT (sizeof (T) <= sizeof (size_t));
152
if (size_t (n) > std::numeric_limits<size_t>::max() / s)
153
throw Iex::OverflowExc ("Integer multiplication overflow.");