MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / isUndef

Method isUndef

ir/state.cpp:687–693  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

685}
686
687bool 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
695bool State::isAsmMode() const {
696 return getFn().has(FnAttrs::Asm);

Callers 3

mayaliasMethod · 0.80
isAlignedMethod · 0.80
isDereferenceableMethod · 0.80

Calls 1

isExtractMethod · 0.80

Tested by

no test coverage detected