Method blockAlignment

ir/pointer.cpp:464–468

}

expr Pointer::blockAlignment() const {
  return getValue("blk_align", m.local_blk_align, m.non_local_blk_align,
                   expr::mkUInt(0, Memory::bitsAlignmentInfo()),
                   has_globals_diff_align);
}

expr Pointer::isBlockAligned(uint64_t align, bool exact) const {
  if (!exact && align == 1)