https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67955
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- We use "must point to" nowhere because we don't compute it ;) The same points-to set results from int *p = (int *)((char *)&a + 2); or even int *p = &a + 1; so you can't use points-to info that way (to derive a must-alias).