|
Packit |
c2c737 |
///////////////////////////////////////////////////////////////////////////
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
// Copyright (c) 2009, Industrial Light & Magic, a division of Lucas
|
|
Packit |
c2c737 |
// Digital Ltd. LLC
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
// All rights reserved.
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
// Redistribution and use in source and binary forms, with or without
|
|
Packit |
c2c737 |
// modification, are permitted provided that the following conditions are
|
|
Packit |
c2c737 |
// met:
|
|
Packit |
c2c737 |
// * Redistributions of source code must retain the above copyright
|
|
Packit |
c2c737 |
// notice, this list of conditions and the following disclaimer.
|
|
Packit |
c2c737 |
// * Redistributions in binary form must reproduce the above
|
|
Packit |
c2c737 |
// copyright notice, this list of conditions and the following disclaimer
|
|
Packit |
c2c737 |
// in the documentation and/or other materials provided with the
|
|
Packit |
c2c737 |
// distribution.
|
|
Packit |
c2c737 |
// * Neither the name of Industrial Light & Magic nor the names of
|
|
Packit |
c2c737 |
// its contributors may be used to endorse or promote products derived
|
|
Packit |
c2c737 |
// from this software without specific prior written permission.
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
Packit |
c2c737 |
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
Packit |
c2c737 |
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
Packit |
c2c737 |
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
Packit |
c2c737 |
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
Packit |
c2c737 |
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
Packit |
c2c737 |
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
Packit |
c2c737 |
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
Packit |
c2c737 |
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
Packit |
c2c737 |
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
Packit |
c2c737 |
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
///////////////////////////////////////////////////////////////////////////
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
#ifndef INCLUDED_IMF_CHECKED_ARITHMETIC_H
|
|
Packit |
c2c737 |
#define INCLUDED_IMF_CHECKED_ARITHMETIC_H
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
//-----------------------------------------------------------------------------
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
// Integer arithmetic operations that throw exceptions
|
|
Packit |
c2c737 |
// on overflow, underflow or division by zero.
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
//-----------------------------------------------------------------------------
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
#include <limits>
|
|
Packit |
c2c737 |
#include "IexMathExc.h"
|
|
Packit |
c2c737 |
#include "ImfNamespace.h"
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
OPENEXR_IMF_INTERNAL_NAMESPACE_HEADER_ENTER
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
template <bool b> struct StaticAssertionFailed;
|
|
Packit |
c2c737 |
template <> struct StaticAssertionFailed <true> {};
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
#define IMF_STATIC_ASSERT(x) \
|
|
Packit |
c2c737 |
do {StaticAssertionFailed <x> staticAssertionFailed; ((void) staticAssertionFailed);} while (false)
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
template <class T>
|
|
Packit |
c2c737 |
T
|
|
Packit |
c2c737 |
uiMult (T a, T b)
|
|
Packit |
c2c737 |
{
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
// Unsigned integer multiplication
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
|
|
Packit |
c2c737 |
std::numeric_limits<T>::is_integer);
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
if (a > 0 && b > std::numeric_limits<T>::max() / a)
|
|
Packit |
c2c737 |
throw IEX_NAMESPACE::OverflowExc ("Integer multiplication overflow.");
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
return a * b;
|
|
Packit |
c2c737 |
}
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
template <class T>
|
|
Packit |
c2c737 |
T
|
|
Packit |
c2c737 |
uiDiv (T a, T b)
|
|
Packit |
c2c737 |
{
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
// Unsigned integer division
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
|
|
Packit |
c2c737 |
std::numeric_limits<T>::is_integer);
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
if (b == 0)
|
|
Packit |
c2c737 |
throw IEX_NAMESPACE::DivzeroExc ("Integer division by zero.");
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
return a / b;
|
|
Packit |
c2c737 |
}
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
template <class T>
|
|
Packit |
c2c737 |
T
|
|
Packit |
c2c737 |
uiAdd (T a, T b)
|
|
Packit |
c2c737 |
{
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
// Unsigned integer addition
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
|
|
Packit |
c2c737 |
std::numeric_limits<T>::is_integer);
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
if (a > std::numeric_limits<T>::max() - b)
|
|
Packit |
c2c737 |
throw IEX_NAMESPACE::OverflowExc ("Integer addition overflow.");
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
return a + b;
|
|
Packit |
c2c737 |
}
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
template <class T>
|
|
Packit |
c2c737 |
T
|
|
Packit |
c2c737 |
uiSub (T a, T b)
|
|
Packit |
c2c737 |
{
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
// Unsigned integer subtraction
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
|
|
Packit |
c2c737 |
std::numeric_limits<T>::is_integer);
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
if (a < b)
|
|
Packit |
c2c737 |
throw IEX_NAMESPACE::UnderflowExc ("Integer subtraction underflow.");
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
return a - b;
|
|
Packit |
c2c737 |
}
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
template <class T>
|
|
Packit |
c2c737 |
size_t
|
|
Packit |
c2c737 |
checkArraySize (T n, size_t s)
|
|
Packit |
c2c737 |
{
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
// Verify that the size, in bytes, of an array with n elements
|
|
Packit |
c2c737 |
// of size s can be computed without overflowing:
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
// If computing
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
// size_t (n) * s
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
// would overflow, then throw an IEX_NAMESPACE::OverflowExc exception.
|
|
Packit |
c2c737 |
// Otherwise return
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
// size_t (n).
|
|
Packit |
c2c737 |
//
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
IMF_STATIC_ASSERT (!std::numeric_limits<T>::is_signed &&
|
|
Packit |
c2c737 |
std::numeric_limits<T>::is_integer);
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
IMF_STATIC_ASSERT (sizeof (T) <= sizeof (size_t));
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
if (size_t (n) > std::numeric_limits<size_t>::max() / s)
|
|
Packit |
c2c737 |
throw IEX_NAMESPACE::OverflowExc ("Integer multiplication overflow.");
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
return size_t (n);
|
|
Packit |
c2c737 |
}
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
OPENEXR_IMF_INTERNAL_NAMESPACE_HEADER_EXIT
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
|
|
Packit |
c2c737 |
#endif
|