| 101 | |
| 102 | template <typename T, typename U> |
| 103 | void TestAddition() |
| 104 | { |
| 105 | SafeInt<T> st(1); |
| 106 | T tmp; |
| 107 | U u(1); |
| 108 | tmp = st + u; |
| 109 | SafeInt<T> st2(1); |
| 110 | tmp = st + st2; |
| 111 | tmp = u + st; |
| 112 | st += u; |
| 113 | SafeInt<U> su(1); |
| 114 | st = 1; |
| 115 | st += su; |
| 116 | } |
| 117 | |
| 118 | template <typename T, typename U> |
| 119 | void TestSubtract() |
nothing calls this directly
no outgoing calls
no test coverage detected