| 402 | } |
| 403 | |
| 404 | expr Byte::forceCastToInt() const { |
| 405 | return expr::mkIf(isPtr(), castPtrToInt(), nonptrValue()); |
| 406 | } |
| 407 | |
| 408 | expr Byte::refined(const Byte &other) const { |
| 409 | bool asm_mode = other.m.isAsmMode(); |
no outgoing calls
no test coverage detected