Re: Is this a form of Data Flow Analysis, and what is the proper way solution to the problem?

Oliver Wong wrote:


> x = y + 5 + z;
>
> The value written to 'x' depends on both the value of 'y' and the value
> of 'z'. Specifically, the output of my program is something like:
>
> * There is a write to x.
> * There is a read from y, which leads to a write to x.
> * There is a read from z, which leads to a write to x.


Why don't you use an formal translation of your verbose formulation?
I.e.:
* The write to x depends on y.
* The write to x depends on z.


Did you ever consider SSA, for use in your analysis and output?


DoDi

Return to the comp.compilers page.
Search the comp.compilers archives again.