Function always_noread

ir/memory.cpp:101–104

bid: nonlocal block id

// bid: nonlocal block id
static bool always_noread(unsigned bid, bool is_fncall_accessible = false) {
  return (!null_is_dereferenceable && bid < has_null_block) ||
         (!is_fncall_accessible && is_fncall_mem(bid));
}

// bid: nonlocal block id
static bool always_nowrite(unsigned bid, bool src_only = false,