Method mkUndef

ir/type.cpp:270–275

}

StateValue Type::mkUndef(State &s) const {
  auto val = getDummyValue(true);
  expr var = expr::mkFreshVar("undef", val.value);
  s.addUndefVar(expr(var));
  return { std::move(var), std::move(val.non_poison) };
}

pair<expr, expr> Type::mkUndefInput(State &s, const ParamAttrs &attrs) const {
  auto var = expr::mkFreshVar("undef", mkInput(s, "", attrs));