OLD | NEW |
1 // Copyright 2016 The Chromium Authors. All rights reserved. | 1 // Copyright 2016 The Chromium Authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 namespace WTF { | 5 namespace WTF { |
6 | 6 |
7 template <typename To, typename From> | 7 template <typename To, typename From> |
8 bool IsInBounds(From value) { | 8 bool IsInBounds(From value) { |
9 return true; | 9 return true; |
10 } | 10 } |
11 | 11 |
12 template <typename To, typename From> | 12 template <typename To, typename From> |
13 To SafeCast(From value) { | 13 To SafeCast(From value) { |
14 if (!IsInBounds<To>(value)) | 14 if (!IsInBounds<To>(value)) |
15 return 0; | 15 return 0; |
16 return static_cast<To>(value); | 16 return static_cast<To>(value); |
17 } | 17 } |
18 | 18 |
19 template <typename T, typename OverflowHandler> | 19 template <typename T, typename OverflowHandler> |
20 class Checked { | 20 class Checked { |
21 public: | 21 public: |
22 template <typename U, typename V> | 22 template <typename U, typename V> |
23 Checked(const Checked<U, V>& rhs) { | 23 Checked(const Checked<U, V>& rhs) { |
24 // This (incorrectly) doesn't get rewritten, since it's not instantiated. In | 24 if (rhs.HasOverflowed()) |
25 // this case, the AST representation contains a bunch of | 25 this->Overflowed(); |
26 // CXXDependentScopeMemberExpr nodes. | 26 if (!IsInBounds<T>(rhs.value_)) |
27 if (rhs.hasOverflowed()) | 27 this->Overflowed(); |
28 this->overflowed(); | 28 value_ = static_cast<T>(rhs.value_); |
29 if (!IsInBounds<T>(rhs.m_value)) | |
30 this->overflowed(); | |
31 value_ = static_cast<T>(rhs.m_value); | |
32 } | 29 } |
33 | 30 |
34 bool HasOverflowed() const { return false; } | 31 bool HasOverflowed() const { return false; } |
35 void Overflowed() {} | 32 void Overflowed() {} |
36 | 33 |
37 private: | 34 private: |
38 T value_; | 35 T value_; |
39 }; | 36 }; |
40 | 37 |
41 template <typename To, typename From> | 38 template <typename To, typename From> |
42 To Bitwise_cast(From from) { | 39 To Bitwise_cast(From from) { |
43 static_assert(sizeof(To) == sizeof(From)); | 40 static_assert(sizeof(To) == sizeof(From), "msg"); |
44 return reinterpret_cast<To>(from); | 41 return reinterpret_cast<To>(from); |
45 } | 42 } |
46 | 43 |
47 } // namespace WTF | 44 } // namespace WTF |
48 | 45 |
| 46 namespace mojo { |
| 47 |
| 48 template <typename U> |
| 49 struct ArrayTraits; |
| 50 |
| 51 template <typename U> |
| 52 struct ArrayTraits<WTF::Checked<U, int>> { |
| 53 static bool HasOverflowed(WTF::Checked<U, int>& input) { |
| 54 // |hasOverflowed| below should be rewritten to |HasOverflowed| |
| 55 // (because this is a method of WTF::Checked; it doesn't matter |
| 56 // that we are not in WTF namespace *here*). |
| 57 return input.HasOverflowed(); |
| 58 } |
| 59 }; |
| 60 |
| 61 } // namespace mojo |
| 62 |
49 using WTF::Bitwise_cast; | 63 using WTF::Bitwise_cast; |
50 using WTF::SafeCast; | 64 using WTF::SafeCast; |
OLD | NEW |