| 172 | |
| 173 | template <typename T, typename U> |
| 174 | void TestBitwise() |
| 175 | { |
| 176 | SafeInt<T> st; |
| 177 | SafeInt<U> su; |
| 178 | U u = 1; |
| 179 | SafeInt<T> st2; |
| 180 | |
| 181 | // and |
| 182 | st2 = st & u; |
| 183 | st2 = u & st; |
| 184 | st &= u; |
| 185 | st &= su; |
| 186 | |
| 187 | // or |
| 188 | st2 = st | u; |
| 189 | st2 = u | st; |
| 190 | st |= u; |
| 191 | st |= su; |
| 192 | |
| 193 | |
| 194 | // xor |
| 195 | st2 = st ^ u; |
| 196 | st2 = u ^ st; |
| 197 | st ^= u; |
| 198 | st ^= su; |
| 199 | } |
| 200 | |
| 201 | template <typename T> |
| 202 | void TestAtoI() |
nothing calls this directly
no outgoing calls
no test coverage detected