https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- For the first testcase the issue is bitfields and 'off' being tracked in bytes. ao_ref_init_from_vn_reference handles this by not using 'off'.