Method isWritableGlobal

ir/pointer.cpp:232–238

}

expr Pointer::isWritableGlobal() const {
  auto bid = getShortBid();
  return !isLocal() &&
         bid.uge(has_null_block + num_consts_src) &&
         expr(num_globals_src > 0) &&
         bid.ule(has_null_block + num_globals_src - 1);
}

expr Pointer::getBid() const {
  auto start = bits_for_offset + bits_for_ptrattrs;