util: expose is_zero_width via util/pointer_offset_size#9016

tautschnig wants to merge 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:is_zero_widthtautschnig/cbmc:is_zero_widthCopy head branch name to clipboard