Re: Latent PTA bug?

[Richard Guenther <rguenther at suse dot de>]

C testcase ;)

typedef struct { int *p; } X;
void includes(const X *);
void test4(void)
{
  int array[2] = { 2, 4 };
  X i;
  int * _p;
  _p = array;
  i.p = _p;
  includes(&i);
}

if you change that to

  i.p = array;

it works... !?  But I note this in the failing case:

Pointed-to sets for pointers in test4

SFT.2_6
_p_5, its value escapes, points-to vars: { SFT.1 }

i.e. while we see that the temporary pointer points to array[0], for
SFT.2_6 (i.p) we don't see anything?  So if we'd see { SFT.1 } here, too,
we'd be wrong in both cases.  -> aka my bug, correct?  So why don't
we get the points-to set for SFT.2_6?

Richard.