Seg fault in linearizer after latest patch series

[Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx>]

Hi Luc,

I am getting a segmentation fault in the linearizer - which I
replicated using  your GitHub repository branch llvm-fixes-v2.

Please try -v option when running test-linearizer on this program.
Other programs also cause this. Looks like the offending line is
accessing the def field in a pseudo - and I think one of your recent
changes does not set def anymore?

static double test(double *p)
{
 double x;
 x = *p;
 return x;
}
int main(void)
{

 double u,v;
 v = 42.0;
 u = test(&v);
 return v;
}

Thanks and Regards
Dibyendu
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html