Applying the algorithm of this section to the code would infer that both a and b can point to h and g. Had the code been written we would infer accurately that a can point to h, and b and c can point...

Applying the algorithm of this section to the code




would infer that both a and b can point to h and g. Had the code been written




we would infer accurately that a can point to h, and b and c can point to g. Suggest an intraprocedural data-flow analysis that can avoid this kind of inaccuracy.