On Mon, Oct 26, 2015 at 1:26 PM, Tom de Vries wrote:
> Hi,
>
> After spending some time looking at ealias/pta dumps, I realized that
> they're hard to understand because we use varinfo names to identify
> varinfos, while those names are not necessarily unique.
>
> F.i., for a function f:
> ...
> v
Hi,
After spending some time looking at ealias/pta dumps, I realized that
they're hard to understand because we use varinfo names to identify
varinfos, while those names are not necessarily unique.
F.i., for a function f:
...
void
f (int *__restrict__ a, int *__restrict__ b)
{
*a = 1;
*b
