Method isConstGlobal

ir/pointer.cpp:221–230

}

expr Pointer::isConstGlobal() const {
  auto bid = getShortBid();
  auto generic = bid.uge(has_null_block) &&
                 expr(num_consts_src > 0) &&
                 bid.ule(num_consts_src + has_null_block - 1);
  auto tgt
    = (num_nonlocals_src == 0 ? expr(true) : bid.ugt(num_nonlocals_src-1)) &&
      expr(num_nonlocals != num_nonlocals_src);
  return !isLocal() && (generic || tgt);
}

expr Pointer::isWritableGlobal() const {
  auto bid = getShortBid();