| 165 | } |
| 166 | |
| 167 | bool ExpressionClasses::knownNonZero(Id _c) |
| 168 | { |
| 169 | return Pattern(u256(0)).matches(representative(find(Instruction::ISZERO, {_c})), *this); |
| 170 | } |
| 171 | |
| 172 | u256 const* ExpressionClasses::knownConstant(Id _c) |
| 173 | { |
no test coverage detected