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

> In the statement:
>
> z = y = x;
>
> Which of the following outputs would be more "correct"?
>
> * There is a read from x, which leads to a write to y.
> * There is a write to y.
> * There is a read from y, which leads to a write to z.
> * There is a write to z.


This one, according to the JLS.


> Is there a name for
> what it is I'm trying to do? I've encountered the term "Data Flow Analysis",
> but the examples of DFAs I've seen only seen marginally related to what I'm
> doing.


If your output was something like


"There is a read from x (at line 134, column 6; x was written in line
123, column 21), which leads to a write to y (at line 134, column 3)"


you would be analyzing use-def chains, and thus solving the "reaching
definitions" data flow analysis problem. As you presented it, though,
it seems like you're just walking the parse tree and emitting a textual
description of its contents.

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