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