Method blockSizeAligned

ir/pointer.cpp:333–339

}

expr Pointer::blockSizeAligned() const {
  auto size = blockSize();
  // programs can't observe whether the size was increased up to alignment
  if (!has_globals_diff_align)
    return size;
  return size.round_up_bits(blockAlignment().zextOrTrunc(bits_size_t));
}

expr Pointer::blockSizeAlignedOffsetT() const {
  expr sz = blockSizeAligned();