On Mon, Aug 28, 2023 at 11:35 AM Di Zhao OS via Gcc-patches
wrote:
>
> This patch tries to improve alias-analysis between an SSA_NAME and
> a declaration a little. For a case like:
>
> int array1[10], array2[10];
> ptr1 = array1 + x;
> ptr2 = ptr1 + y;
>
> , *ptr2 should no
This patch tries to improve alias-analysis between an SSA_NAME and
a declaration a little. For a case like:
int array1[10], array2[10];
ptr1 = array1 + x;
ptr2 = ptr1 + y;
, *ptr2 should not alias with array2.
If we can't disambiguate from points-to information, this patc
