Open sampsyo opened 9 years ago
In:
APPROX int* x; *x = 5;
If the assignment to the lvalue *x is a blocker, ACCEPT reports it as a "store to intermediate". This is staggeringly unhelpful—we should do a little extra work, walking back the source of the pointer, to name the blocker "store to *x".
*x
In:
If the assignment to the lvalue
*x
is a blocker, ACCEPT reports it as a "store to intermediate". This is staggeringly unhelpful—we should do a little extra work, walking back the source of the pointer, to name the blocker "store to *x".