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.
