Method boolNonptrNonpoison

ir/memory.cpp:337–340

}

expr Byte::boolNonptrNonpoison() const {
  expr np = nonptrNonpoison();
  return np == expr::mkInt(-1, np);
}

expr Byte::nonptrValue() const {
  if (!does_int_mem_access)