| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright (C) 2011 Apple Inc. All rights reserved. | 2 * Copyright (C) 2011 Apple Inc. All rights reserved. |
| 3 * | 3 * |
| 4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
| 5 * modification, are permitted provided that the following conditions | 5 * modification, are permitted provided that the following conditions |
| 6 * are met: | 6 * are met: |
| 7 * 1. Redistributions of source code must retain the above copyright | 7 * 1. Redistributions of source code must retain the above copyright |
| 8 * notice, this list of conditions and the following disclaimer. | 8 * notice, this list of conditions and the following disclaimer. |
| 9 * 2. Redistributions in binary form must reproduce the above copyright | 9 * 2. Redistributions in binary form must reproduce the above copyright |
| 10 * notice, this list of conditions and the following disclaimer in the | 10 * notice, this list of conditions and the following disclaimer in the |
| 11 * documentation and/or other materials provided with the distribution. | 11 * documentation and/or other materials provided with the distribution. |
| 12 * | 12 * |
| 13 * THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' | 13 * THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' |
| 14 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, | 14 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, |
| 15 * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR | 15 * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR |
| 16 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS | 16 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS |
| 17 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR | 17 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR |
| 18 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF | 18 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF |
| 19 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS | 19 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
| 20 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN | 20 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
| 21 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) | 21 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
| 22 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF | 22 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF |
| 23 * THE POSSIBILITY OF SUCH DAMAGE. | 23 * THE POSSIBILITY OF SUCH DAMAGE. |
| 24 */ | 24 */ |
| 25 | 25 |
| 26 #include "config.h" | 26 #include "config.h" |
| 27 #include "wtf/CheckedArithmetic.h" |
| 27 | 28 |
| 28 #include "wtf/CheckedArithmetic.h" | |
| 29 #include <gtest/gtest.h> | 29 #include <gtest/gtest.h> |
| 30 | 30 |
| 31 namespace { | 31 namespace WTF { |
| 32 | 32 |
| 33 #define CheckedArithmeticTest(type, coerceLiteral, MixedSignednessTest) \ | 33 #define CheckedArithmeticTest(type, coerceLiteral, MixedSignednessTest) \ |
| 34 TEST(WTF, Checked_##type) \ | 34 TEST(CheckedArithmeticTest, Checked_##type) \ |
| 35 { \ | 35 { \ |
| 36 Checked<type, RecordOverflow> value; \ | 36 Checked<type, RecordOverflow> value; \ |
| 37 EXPECT_EQ(coerceLiteral(0), value.unsafeGet()); \ | 37 EXPECT_EQ(coerceLiteral(0), value.unsafeGet()); \ |
| 38 EXPECT_EQ(std::numeric_limits<type>::max(), (value + std::numeric_limits
<type>::max()).unsafeGet()); \ | 38 EXPECT_EQ(std::numeric_limits<type>::max(), (value + std::numeric_limits
<type>::max()).unsafeGet()); \ |
| 39 EXPECT_EQ(std::numeric_limits<type>::max(), (std::numeric_limits<type>::
max() + value).unsafeGet()); \ | 39 EXPECT_EQ(std::numeric_limits<type>::max(), (std::numeric_limits<type>::
max() + value).unsafeGet()); \ |
| 40 EXPECT_EQ(std::numeric_limits<type>::min(), (value + std::numeric_limits
<type>::min()).unsafeGet()); \ | 40 EXPECT_EQ(std::numeric_limits<type>::min(), (value + std::numeric_limits
<type>::min()).unsafeGet()); \ |
| 41 EXPECT_EQ(std::numeric_limits<type>::min(), (std::numeric_limits<type>::
min() + value).unsafeGet()); \ | 41 EXPECT_EQ(std::numeric_limits<type>::min(), (std::numeric_limits<type>::
min() + value).unsafeGet()); \ |
| 42 EXPECT_EQ(coerceLiteral(0), (value * coerceLiteral(0)).unsafeGet()); \ | 42 EXPECT_EQ(coerceLiteral(0), (value * coerceLiteral(0)).unsafeGet()); \ |
| 43 EXPECT_EQ(coerceLiteral(0), (coerceLiteral(0) * value).unsafeGet()); \ | 43 EXPECT_EQ(coerceLiteral(0), (coerceLiteral(0) * value).unsafeGet()); \ |
| 44 EXPECT_EQ(coerceLiteral(0), (value * value).unsafeGet()); \ | 44 EXPECT_EQ(coerceLiteral(0), (value * value).unsafeGet()); \ |
| (...skipping 96 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 141 #define CoerceLiteralNop(x) x | 141 #define CoerceLiteralNop(x) x |
| 142 #define AllowMixedSignednessTest(x) x | 142 #define AllowMixedSignednessTest(x) x |
| 143 #define IgnoreMixedSignednessTest(x) | 143 #define IgnoreMixedSignednessTest(x) |
| 144 CheckedArithmeticTest(int8_t, CoerceLiteralNop, IgnoreMixedSignednessTest) | 144 CheckedArithmeticTest(int8_t, CoerceLiteralNop, IgnoreMixedSignednessTest) |
| 145 CheckedArithmeticTest(int16_t, CoerceLiteralNop, IgnoreMixedSignednessTest) | 145 CheckedArithmeticTest(int16_t, CoerceLiteralNop, IgnoreMixedSignednessTest) |
| 146 CheckedArithmeticTest(int32_t, CoerceLiteralNop, AllowMixedSignednessTest) | 146 CheckedArithmeticTest(int32_t, CoerceLiteralNop, AllowMixedSignednessTest) |
| 147 CheckedArithmeticTest(uint32_t, CoerceLiteralToUnsigned, AllowMixedSignednessTes
t) | 147 CheckedArithmeticTest(uint32_t, CoerceLiteralToUnsigned, AllowMixedSignednessTes
t) |
| 148 CheckedArithmeticTest(int64_t, CoerceLiteralNop, IgnoreMixedSignednessTest) | 148 CheckedArithmeticTest(int64_t, CoerceLiteralNop, IgnoreMixedSignednessTest) |
| 149 CheckedArithmeticTest(uint64_t, CoerceLiteralToUnsigned, IgnoreMixedSignednessTe
st) | 149 CheckedArithmeticTest(uint64_t, CoerceLiteralToUnsigned, IgnoreMixedSignednessTe
st) |
| 150 | 150 |
| 151 } // namespace | 151 } // namespace WTF |
| OLD | NEW |