On Mon, Jul 08, 2013 at 01:20:51PM +0800, Sahana V P wrote:
> it did not give any output even though it compiled
> without any errors.
I have never used this module, but the reason why your program doesn't print
anything is because you "ignore(...)" the statements instead of printing them.
Instead of:
> List.iter(function (s:stmt)-> ignore(RD.getRDs
> s.sid))fdec.sallstmts;
Try:
E.log (RD.ppFdec fdec)
Or, if you want to print the output to some file:
let chan = open_out "rd.log" in
Pretty.fprint chan 80 (RD.ppFdec fdec);
close_out chan
Also, this:
> DoChildren
could be:
SkipChildren
since you do nothing about the children of your functions.
Best regards,
--
Gabriel
------------------------------------------------------------------------------
This SF.net email is sponsored by Windows:
Build for Windows Store.
http://p.sf.net/sfu/windows-dev2dev
_______________________________________________
CIL-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/cil-users
