| 113 | |
| 114 | template <typename T, typename U> |
| 115 | void TestSubtract() |
| 116 | { |
| 117 | SafeInt<T> st(1); |
| 118 | T tmp; |
| 119 | U u(1); |
| 120 | tmp = st - u; |
| 121 | SafeInt<T> st2(1); |
| 122 | tmp = st - st2; |
| 123 | tmp = u - st; |
| 124 | st -= u; |
| 125 | SafeInt<U> su(1); |
| 126 | st = 1; |
| 127 | st -= su; |
| 128 | } |
| 129 | |
| 130 | template <typename T, typename U> |
| 131 | void TestCompare() |
nothing calls this directly
no outgoing calls
no test coverage detected