Hello.
Could you please tell me how is it possible to print out each statement of
each basic
block of the CFG.
I am currently doing something like:
Cfg.printCfgFilename "myfunc_cfg.dot" fd;
to print out in DOT format the CFG of a function definition, fd. Note that
in the D
Hi.
It seems to me also that the info about live vars printed out by CIL is
correct.
I have to agree that things are actually a bit more complex: we should
specify
clearly what live variable sets are we talking about. For example, Aho, Lam,
Sethi, Ullman
are talking in the dragon
