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).

Reply via email to