Re: CFGs vs. "declare variable before use"

Torben Ęgidius Mogensen wrote:
(snip)


> CFG's can be used to guarantee that declarations precede use: If the
> declaration dominates every use, then a variable is bound to be
> declared before use.


It seems that verilog is one language that doesn't require a variable
to be declared before it is used. (I found this out accidentally
after reporting a bug. It seems that one system would compile such
code, but the optimizer made some bad assumptions.)


In the case of verilog, though, where statements are not necessarily
executed sequentially, it isn't so obvious what "use" means.


-- glen

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