| 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 |
| (...skipping 12 matching lines...) Expand all Loading... |
| 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 #include "wtf/CheckedArithmetic.h" |
| 28 | 28 |
| 29 #include <gtest/gtest.h> | 29 #include <gtest/gtest.h> |
| 30 | 30 |
| 31 namespace WTF { | 31 namespace WTF { |
| 32 | 32 |
| 33 #define CheckedArithmeticTest(type, coerceLiteral, MixedSignednessTest) \ | 33 #define CheckedArithmeticTest(type, coerceLiteral, MixedSignednessTest)
\ |
| 34 TEST(CheckedArithmeticTest, Checked_##type) \ | 34 TEST(CheckedArithmeticTest, Checked_##type) {
\ |
| 35 { \ | 35 Checked<type, RecordOverflow> value;
\ |
| 36 Checked<type, RecordOverflow> value; \ | 36 EXPECT_EQ(coerceLiteral(0), value.unsafeGet());
\ |
| 37 EXPECT_EQ(coerceLiteral(0), value.unsafeGet()); \ | 37 EXPECT_EQ(std::numeric_limits<type>::max(), (value + std::numeric_limits<typ
e>::max()).unsafeGet()); \ |
| 38 EXPECT_EQ(std::numeric_limits<type>::max(), (value + std::numeric_limits
<type>::max()).unsafeGet()); \ | 38 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()); \ | 39 EXPECT_EQ(std::numeric_limits<type>::min(), (value + std::numeric_limits<typ
e>::min()).unsafeGet()); \ |
| 40 EXPECT_EQ(std::numeric_limits<type>::min(), (value + std::numeric_limits
<type>::min()).unsafeGet()); \ | 40 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()); \ | 41 EXPECT_EQ(coerceLiteral(0), (value * coerceLiteral(0)).unsafeGet());
\ |
| 42 EXPECT_EQ(coerceLiteral(0), (value * coerceLiteral(0)).unsafeGet()); \ | 42 EXPECT_EQ(coerceLiteral(0), (coerceLiteral(0) * value).unsafeGet());
\ |
| 43 EXPECT_EQ(coerceLiteral(0), (coerceLiteral(0) * value).unsafeGet()); \ | 43 EXPECT_EQ(coerceLiteral(0), (value * value).unsafeGet());
\ |
| 44 EXPECT_EQ(coerceLiteral(0), (value * value).unsafeGet()); \ | 44 EXPECT_EQ(coerceLiteral(0), (value - coerceLiteral(0)).unsafeGet());
\ |
| 45 EXPECT_EQ(coerceLiteral(0), (value - coerceLiteral(0)).unsafeGet()); \ | 45 EXPECT_EQ(coerceLiteral(0), (coerceLiteral(0) - value).unsafeGet());
\ |
| 46 EXPECT_EQ(coerceLiteral(0), (coerceLiteral(0) - value).unsafeGet()); \ | 46 EXPECT_EQ(coerceLiteral(0), (value - value).unsafeGet());
\ |
| 47 EXPECT_EQ(coerceLiteral(0), (value - value).unsafeGet()); \ | 47 EXPECT_EQ(coerceLiteral(0), (value++).unsafeGet());
\ |
| 48 EXPECT_EQ(coerceLiteral(0), (value++).unsafeGet()); \ | 48 EXPECT_EQ(coerceLiteral(1), (value--).unsafeGet());
\ |
| 49 EXPECT_EQ(coerceLiteral(1), (value--).unsafeGet()); \ | 49 EXPECT_EQ(coerceLiteral(1), (++value).unsafeGet());
\ |
| 50 EXPECT_EQ(coerceLiteral(1), (++value).unsafeGet()); \ | 50 EXPECT_EQ(coerceLiteral(0), (--value).unsafeGet());
\ |
| 51 EXPECT_EQ(coerceLiteral(0), (--value).unsafeGet()); \ | 51 EXPECT_EQ(coerceLiteral(10), (value += coerceLiteral(10)).unsafeGet());
\ |
| 52 EXPECT_EQ(coerceLiteral(10), (value += coerceLiteral(10)).unsafeGet());
\ | 52 EXPECT_EQ(coerceLiteral(10), value.unsafeGet());
\ |
| 53 EXPECT_EQ(coerceLiteral(10), value.unsafeGet()); \ | 53 EXPECT_EQ(coerceLiteral(100), (value *= coerceLiteral(10)).unsafeGet());
\ |
| 54 EXPECT_EQ(coerceLiteral(100), (value *= coerceLiteral(10)).unsafeGet());
\ | 54 EXPECT_EQ(coerceLiteral(100), value.unsafeGet());
\ |
| 55 EXPECT_EQ(coerceLiteral(100), value.unsafeGet()); \ | 55 EXPECT_EQ(coerceLiteral(0), (value -= coerceLiteral(100)).unsafeGet());
\ |
| 56 EXPECT_EQ(coerceLiteral(0), (value -= coerceLiteral(100)).unsafeGet());
\ | 56 EXPECT_EQ(coerceLiteral(0), value.unsafeGet());
\ |
| 57 EXPECT_EQ(coerceLiteral(0), value.unsafeGet()); \ | 57 value = 10;
\ |
| 58 value = 10; \ | 58 EXPECT_EQ(coerceLiteral(10), value.unsafeGet());
\ |
| 59 EXPECT_EQ(coerceLiteral(10), value.unsafeGet()); \ | 59 EXPECT_EQ(coerceLiteral(0), (value - coerceLiteral(10)).unsafeGet());
\ |
| 60 EXPECT_EQ(coerceLiteral(0), (value - coerceLiteral(10)).unsafeGet()); \ | 60 EXPECT_EQ(coerceLiteral(10), value.unsafeGet());
\ |
| 61 EXPECT_EQ(coerceLiteral(10), value.unsafeGet()); \ | 61 value = std::numeric_limits<type>::min();
\ |
| 62 value = std::numeric_limits<type>::min(); \ | 62 EXPECT_EQ(true, (Checked<type, RecordOverflow>(value - coerceLiteral(1))).ha
sOverflowed()); \ |
| 63 EXPECT_EQ(true, (Checked<type, RecordOverflow>(value - coerceLiteral(1))
).hasOverflowed()); \ | 63 EXPECT_EQ(true, !((value--).hasOverflowed()));
\ |
| 64 EXPECT_EQ(true, !((value--).hasOverflowed())); \ | 64 EXPECT_EQ(true, value.hasOverflowed());
\ |
| 65 EXPECT_EQ(true, value.hasOverflowed()); \ | 65 value = std::numeric_limits<type>::max();
\ |
| 66 value = std::numeric_limits<type>::max(); \ | 66 EXPECT_EQ(true, !value.hasOverflowed());
\ |
| 67 EXPECT_EQ(true, !value.hasOverflowed()); \ | 67 EXPECT_EQ(true, (Checked<type, RecordOverflow>(value + coerceLiteral(1))).ha
sOverflowed()); \ |
| 68 EXPECT_EQ(true, (Checked<type, RecordOverflow>(value + coerceLiteral(1))
).hasOverflowed()); \ | 68 EXPECT_EQ(true, !(value++).hasOverflowed());
\ |
| 69 EXPECT_EQ(true, !(value++).hasOverflowed()); \ | 69 EXPECT_EQ(true, value.hasOverflowed());
\ |
| 70 EXPECT_EQ(true, value.hasOverflowed()); \ | 70 value = std::numeric_limits<type>::max();
\ |
| 71 value = std::numeric_limits<type>::max(); \ | 71 EXPECT_EQ(true, (value += coerceLiteral(1)).hasOverflowed());
\ |
| 72 EXPECT_EQ(true, (value += coerceLiteral(1)).hasOverflowed()); \ | 72 EXPECT_EQ(true, value.hasOverflowed());
\ |
| 73 EXPECT_EQ(true, value.hasOverflowed()); \ | 73 value = 10;
\ |
| 74 value = 10; \ | 74 type _value = 0;
\ |
| 75 type _value = 0; \ | 75 EXPECT_EQ(true, CheckedState::DidNotOverflow == (value * Checked<type, Recor
dOverflow>(0)).safeGet(_value)); \ |
| 76 EXPECT_EQ(true, CheckedState::DidNotOverflow == (value * Checked<type, R
ecordOverflow>(0)).safeGet(_value)); \ | 76 _value = 0;
\ |
| 77 _value = 0; \ | 77 EXPECT_EQ(true, CheckedState::DidNotOverflow == (Checked<type, RecordOverflo
w>(0) * value).safeGet(_value)); \ |
| 78 EXPECT_EQ(true, CheckedState::DidNotOverflow == (Checked<type, RecordOve
rflow>(0) * value).safeGet(_value)); \ | 78 _value = 0;
\ |
| 79 _value = 0; \ | 79 EXPECT_EQ(true, CheckedState::DidOverflow == (value * Checked<type, RecordOv
erflow>(std::numeric_limits<type>::max())).safeGet(_value)); \ |
| 80 EXPECT_EQ(true, CheckedState::DidOverflow == (value * Checked<type, Reco
rdOverflow>(std::numeric_limits<type>::max())).safeGet(_value)); \ | 80 _value = 0;
\ |
| 81 _value = 0; \ | 81 EXPECT_EQ(true, CheckedState::DidOverflow == (Checked<type, RecordOverflow>(
std::numeric_limits<type>::max()) * value).safeGet(_value)); \ |
| 82 EXPECT_EQ(true, CheckedState::DidOverflow == (Checked<type, RecordOverfl
ow>(std::numeric_limits<type>::max()) * value).safeGet(_value)); \ | 82 value = 0;
\ |
| 83 value = 0; \ | 83 _value = 0;
\ |
| 84 _value = 0; \ | 84 EXPECT_EQ(true, CheckedState::DidNotOverflow == (value * Checked<type, Recor
dOverflow>(std::numeric_limits<type>::max())).safeGet(_value)); \ |
| 85 EXPECT_EQ(true, CheckedState::DidNotOverflow == (value * Checked<type, R
ecordOverflow>(std::numeric_limits<type>::max())).safeGet(_value)); \ | 85 _value = 0;
\ |
| 86 _value = 0; \ | 86 EXPECT_EQ(true, CheckedState::DidNotOverflow == (Checked<type, RecordOverflo
w>(std::numeric_limits<type>::max()) * value).safeGet(_value)); \ |
| 87 EXPECT_EQ(true, CheckedState::DidNotOverflow == (Checked<type, RecordOve
rflow>(std::numeric_limits<type>::max()) * value).safeGet(_value)); \ | 87 value = 1;
\ |
| 88 value = 1; \ | 88 _value = 0;
\ |
| 89 _value = 0; \ | 89 EXPECT_EQ(true, CheckedState::DidNotOverflow == (value * Checked<type, Recor
dOverflow>(std::numeric_limits<type>::max())).safeGet(_value)); \ |
| 90 EXPECT_EQ(true, CheckedState::DidNotOverflow == (value * Checked<type, R
ecordOverflow>(std::numeric_limits<type>::max())).safeGet(_value)); \ | 90 _value = 0;
\ |
| 91 _value = 0; \ | 91 EXPECT_EQ(true, CheckedState::DidNotOverflow == (Checked<type, RecordOverflo
w>(std::numeric_limits<type>::max()) * value).safeGet(_value)); \ |
| 92 EXPECT_EQ(true, CheckedState::DidNotOverflow == (Checked<type, RecordOve
rflow>(std::numeric_limits<type>::max()) * value).safeGet(_value)); \ | 92 _value = 0;
\ |
| 93 _value = 0; \ | 93 value = 0;
\ |
| 94 value = 0; \ | 94 EXPECT_EQ(true, CheckedState::DidNotOverflow == (value * Checked<type, Recor
dOverflow>(std::numeric_limits<type>::max())).safeGet(_value)); \ |
| 95 EXPECT_EQ(true, CheckedState::DidNotOverflow == (value * Checked<type, R
ecordOverflow>(std::numeric_limits<type>::max())).safeGet(_value)); \ | 95 _value = 0;
\ |
| 96 _value = 0; \ | 96 EXPECT_EQ(true, CheckedState::DidNotOverflow == (Checked<type, RecordOverflo
w>(std::numeric_limits<type>::max()) * (type)0).safeGet(_value)); \ |
| 97 EXPECT_EQ(true, CheckedState::DidNotOverflow == (Checked<type, RecordOve
rflow>(std::numeric_limits<type>::max()) * (type)0).safeGet(_value)); \ | 97 _value = 0;
\ |
| 98 _value = 0; \ | 98 value = 1;
\ |
| 99 value = 1; \ | 99 EXPECT_EQ(true, CheckedState::DidNotOverflow == (value * Checked<type, Recor
dOverflow>(std::numeric_limits<type>::max())).safeGet(_value)); \ |
| 100 EXPECT_EQ(true, CheckedState::DidNotOverflow == (value * Checked<type, R
ecordOverflow>(std::numeric_limits<type>::max())).safeGet(_value)); \ | 100 _value = 0;
\ |
| 101 _value = 0; \ | 101 EXPECT_EQ(true, CheckedState::DidNotOverflow == (Checked<type, RecordOverflo
w>(std::numeric_limits<type>::max()) * (type)1).safeGet(_value)); \ |
| 102 EXPECT_EQ(true, CheckedState::DidNotOverflow == (Checked<type, RecordOve
rflow>(std::numeric_limits<type>::max()) * (type)1).safeGet(_value)); \ | 102 _value = 0;
\ |
| 103 _value = 0; \ | 103 value = 2;
\ |
| 104 value = 2; \ | 104 EXPECT_EQ(true, CheckedState::DidOverflow == (value * Checked<type, RecordOv
erflow>(std::numeric_limits<type>::max())).safeGet(_value)); \ |
| 105 EXPECT_EQ(true, CheckedState::DidOverflow == (value * Checked<type, Reco
rdOverflow>(std::numeric_limits<type>::max())).safeGet(_value)); \ | 105 _value = 0;
\ |
| 106 _value = 0; \ | 106 EXPECT_EQ(true, CheckedState::DidOverflow == (Checked<type, RecordOverflow>(
std::numeric_limits<type>::max()) * (type)2).safeGet(_value)); \ |
| 107 EXPECT_EQ(true, CheckedState::DidOverflow == (Checked<type, RecordOverfl
ow>(std::numeric_limits<type>::max()) * (type)2).safeGet(_value)); \ | 107 value = 10;
\ |
| 108 value = 10; \ | 108 EXPECT_EQ(true, (value * Checked<type, RecordOverflow>(std::numeric_limits<t
ype>::max())).hasOverflowed()); \ |
| 109 EXPECT_EQ(true, (value * Checked<type, RecordOverflow>(std::numeric_limi
ts<type>::max())).hasOverflowed()); \ | 109 MixedSignednessTest(EXPECT_EQ(coerceLiteral(0), (value + -10).unsafeGet()));
\ |
| 110 MixedSignednessTest(EXPECT_EQ(coerceLiteral(0), (value + -10).unsafeGet(
))); \ | 110 MixedSignednessTest(EXPECT_EQ(0U, (value - 10U).unsafeGet()));
\ |
| 111 MixedSignednessTest(EXPECT_EQ(0U, (value - 10U).unsafeGet())); \ | 111 MixedSignednessTest(EXPECT_EQ(coerceLiteral(0), (-10 + value).unsafeGet()));
\ |
| 112 MixedSignednessTest(EXPECT_EQ(coerceLiteral(0), (-10 + value).unsafeGet(
))); \ | 112 MixedSignednessTest(EXPECT_EQ(0U, (10U - value).unsafeGet()));
\ |
| 113 MixedSignednessTest(EXPECT_EQ(0U, (10U - value).unsafeGet())); \ | 113 value = std::numeric_limits<type>::min();
\ |
| 114 value = std::numeric_limits<type>::min(); \ | 114 MixedSignednessTest(EXPECT_EQ(true, (Checked<type, RecordOverflow>(value - 1
)).hasOverflowed())); \ |
| 115 MixedSignednessTest(EXPECT_EQ(true, (Checked<type, RecordOverflow>(value
- 1)).hasOverflowed())); \ | 115 MixedSignednessTest(EXPECT_EQ(true, !(value--).hasOverflowed()));
\ |
| 116 MixedSignednessTest(EXPECT_EQ(true, !(value--).hasOverflowed())); \ | 116 MixedSignednessTest(EXPECT_EQ(true, value.hasOverflowed()));
\ |
| 117 MixedSignednessTest(EXPECT_EQ(true, value.hasOverflowed())); \ | 117 value = std::numeric_limits<type>::max();
\ |
| 118 value = std::numeric_limits<type>::max(); \ | 118 MixedSignednessTest(EXPECT_EQ(true, !value.hasOverflowed()));
\ |
| 119 MixedSignednessTest(EXPECT_EQ(true, !value.hasOverflowed())); \ | 119 MixedSignednessTest(EXPECT_EQ(true, (Checked<type, RecordOverflow>(value + 1
)).hasOverflowed())); \ |
| 120 MixedSignednessTest(EXPECT_EQ(true, (Checked<type, RecordOverflow>(value
+ 1)).hasOverflowed())); \ | 120 MixedSignednessTest(EXPECT_EQ(true, !(value++).hasOverflowed()));
\ |
| 121 MixedSignednessTest(EXPECT_EQ(true, !(value++).hasOverflowed())); \ | 121 MixedSignednessTest(EXPECT_EQ(true, value.hasOverflowed()));
\ |
| 122 MixedSignednessTest(EXPECT_EQ(true, value.hasOverflowed())); \ | 122 value = std::numeric_limits<type>::max();
\ |
| 123 value = std::numeric_limits<type>::max(); \ | 123 MixedSignednessTest(EXPECT_EQ(true, (value += 1).hasOverflowed()));
\ |
| 124 MixedSignednessTest(EXPECT_EQ(true, (value += 1).hasOverflowed())); \ | 124 MixedSignednessTest(EXPECT_EQ(true, value.hasOverflowed()));
\ |
| 125 MixedSignednessTest(EXPECT_EQ(true, value.hasOverflowed())); \ | 125 value = std::numeric_limits<type>::min();
\ |
| 126 value = std::numeric_limits<type>::min(); \ | 126 MixedSignednessTest(EXPECT_EQ(true, (value - 1U).hasOverflowed()));
\ |
| 127 MixedSignednessTest(EXPECT_EQ(true, (value - 1U).hasOverflowed())); \ | 127 MixedSignednessTest(EXPECT_EQ(true, !(value--).hasOverflowed()));
\ |
| 128 MixedSignednessTest(EXPECT_EQ(true, !(value--).hasOverflowed())); \ | 128 MixedSignednessTest(EXPECT_EQ(true, value.hasOverflowed()));
\ |
| 129 MixedSignednessTest(EXPECT_EQ(true, value.hasOverflowed())); \ | 129 value = std::numeric_limits<type>::max();
\ |
| 130 value = std::numeric_limits<type>::max(); \ | 130 MixedSignednessTest(EXPECT_EQ(true, !value.hasOverflowed()));
\ |
| 131 MixedSignednessTest(EXPECT_EQ(true, !value.hasOverflowed())); \ | 131 MixedSignednessTest(EXPECT_EQ(true, (Checked<type, RecordOverflow>(value + 1
U)).hasOverflowed())); \ |
| 132 MixedSignednessTest(EXPECT_EQ(true, (Checked<type, RecordOverflow>(value
+ 1U)).hasOverflowed())); \ | 132 MixedSignednessTest(EXPECT_EQ(true, !(value++).hasOverflowed()));
\ |
| 133 MixedSignednessTest(EXPECT_EQ(true, !(value++).hasOverflowed())); \ | 133 MixedSignednessTest(EXPECT_EQ(true, value.hasOverflowed()));
\ |
| 134 MixedSignednessTest(EXPECT_EQ(true, value.hasOverflowed())); \ | 134 value = std::numeric_limits<type>::max();
\ |
| 135 value = std::numeric_limits<type>::max(); \ | 135 MixedSignednessTest(EXPECT_EQ(true, (value += 1U).hasOverflowed()));
\ |
| 136 MixedSignednessTest(EXPECT_EQ(true, (value += 1U).hasOverflowed())); \ | 136 MixedSignednessTest(EXPECT_EQ(true, value.hasOverflowed()));
\ |
| 137 MixedSignednessTest(EXPECT_EQ(true, value.hasOverflowed())); \ | 137 } |
| 138 } | |
| 139 | 138 |
| 140 #define CoerceLiteralToUnsigned(x) x##U | 139 #define CoerceLiteralToUnsigned(x) x##U |
| 141 #define CoerceLiteralNop(x) x | 140 #define CoerceLiteralNop(x) x |
| 142 #define AllowMixedSignednessTest(x) x | 141 #define AllowMixedSignednessTest(x) x |
| 143 #define IgnoreMixedSignednessTest(x) | 142 #define IgnoreMixedSignednessTest(x) |
| 144 CheckedArithmeticTest(int8_t, CoerceLiteralNop, IgnoreMixedSignednessTest) | 143 CheckedArithmeticTest(int8_t, CoerceLiteralNop, IgnoreMixedSignednessTest) |
| 145 CheckedArithmeticTest(int16_t, CoerceLiteralNop, IgnoreMixedSignednessTest) | 144 CheckedArithmeticTest(int16_t, CoerceLiteralNop, IgnoreMixedSignednessTest) |
| 146 CheckedArithmeticTest(int32_t, CoerceLiteralNop, AllowMixedSignednessTest) | 145 CheckedArithmeticTest(int32_t, CoerceLiteralNop, AllowMixedSignednessTes
t) |
| 147 CheckedArithmeticTest(uint32_t, CoerceLiteralToUnsigned, AllowMixedSignednessTes
t) | 146 CheckedArithmeticTest(uint32_t, CoerceLiteralToUnsigned, AllowMixedS
ignednessTest) |
| 148 CheckedArithmeticTest(int64_t, CoerceLiteralNop, IgnoreMixedSignednessTest) | 147 CheckedArithmeticTest(int64_t, CoerceLiteralNop, IgnoreMixedSign
ednessTest) |
| 149 CheckedArithmeticTest(uint64_t, CoerceLiteralToUnsigned, IgnoreMixedSignednessTe
st) | 148 CheckedArithmeticTest(uint64_t, CoerceLiteralToUnsigned, Ign
oreMixedSignednessTest) |
| 150 | 149 |
| 151 } // namespace WTF | 150 } // namespace WTF |
| OLD | NEW |