| 685 | } |
| 686 | |
| 687 | bool State::isUndef(const expr &e) const { |
| 688 | expr v; |
| 689 | unsigned h, l; |
| 690 | if (e.isExtract(v, h, l)) |
| 691 | return isUndef(v); |
| 692 | return undef_vars.count(e) != 0; |
| 693 | } |
| 694 | |
| 695 | bool State::isAsmMode() const { |
| 696 | return getFn().has(FnAttrs::Asm); |
no test coverage detected